最近CoolShell博主做了一个很有意思的在线puzzle，这些谜题很有趣同时也有一定的难度。由于水平有限，我并没有通关，我觉得这些题还是很值得一做的，从中可以学到很多东西。

例如其中的第二题：

函数指针（function pointer）是通过指向函数的指针间接调用函数。相信很多人对指向一般函数的函数指针使用的比较多，而对指向类成员函数的函数指针则比较陌生。我最近也被问到了这方面的问题，心中却也没有清晰的答案。故决定去查阅资料，并按照自己的思路写下这篇学习总结。

普通函数指针

通常我们所说的函数指针指的是指向一般普通函数的指针。和其他指针一样，函数指针指向某种特定类型，所有被同一指针运用的函数必须具有相同的形参类型和返回类型。

动态数组（Dynamic Array）是指动态分配的、可以根据需求动态增长占用内存的数组。为了实现一个动态数组类的封装，我们需要考虑几个问题：new/delete的使用、内存分配策略、类的四大函数（构造函数、拷贝构造函数、拷贝赋值运算符、析构函数）、运算符的重载。涉及到的知识点很多，鉴于本人水平有限，在这里只做简单的介绍。

内存分配策略

在C/C++的面试时，对于new/delete和malloc/free这两对的使用和区别经常被考查到，如果这种基础的问题都答不上来，估计很难过面试了。这篇文章仅仅是浅显的讲一下，仅供参考。

new和delete

new和delete是C++的运算符，用于动态分配内存和释放内存。

new表达式

在C++中，命名空间（namespace）的目的是为了防止名字冲突。每个命名空间是一个作用域，在所有命名空间之外，还存在一个全局命名空间（global namespace），全局命名空间以隐式的方式声明，它并没有名字。在命名空间机制中，原来的全局变量，就是位于全局命名空间中（可以用::member的形式表示）。

定义命名空间

1、每个命名空间都是一个作用域

模板是C++中一个很重要的特性，写一份代码能用于多种数据类型（包括用户自定义类型）。例如，STL的sort()函数可以用于多种数据类型的排序，类stack可以用作多种数据类型的栈。但是，如果我们想对特定的数据类型执行不同的代码（而不是通用模板）呢？这种情况下就可以使用模板特例化（template specialization）。

函数模板特例化

所谓可变参数指的是函数的参数个数可变，参数类型不定的函数。为了编写能处理不同数量实参的函数，C++11提供了两种主要的方法：如果所有的实参类型相同，可以传递一个名为initializer_list的标准库类型；如果实参的类型不同，我们可以编写可变参数模板。另外，C++还有一种特殊的省略符形参，可以用它传递可变数量的实参，不过这种一般只用于与C函数交互的接口程序。

可变参数函数

泛型编程（Generic Programming）是一种编程范式，通过将类型参数化来实现在同一份代码上操作多种数据类型，泛型是一般化并可重复使用的意思。泛型编程最初诞生于C++中，目的是为了实现C++的STL（标准模板库）。

模板（template）是泛型编程的基础，一个模板就是一个创建类或函数的蓝图或公式。例如，当使用一个vector这样的泛型类型或者find这样的泛型函数时，我们提供足够的信息，将蓝图转换为特定的类或函数。

多重继承

我们知道，在单继承中，派生类的对象中包含了基类部分 和 派生类自定义部分。同样的，在多重继承（multiple inheritance）关系中，派生类的对象包含了每个基类的子对象和自定义成员的子对象。下面是一个多重继承关系：

1
2
3
4

class A{ /*  */ };
class B{ /*  */ }; 
class C : public A { /*  */ };
class D : public B, public C { /*  */ };

C继承了A，派生类D又继承了B和C，如图所示，一个D对象中含有一个B部分、一个C部分（其中又含有一个A部分）以及在D中声明的非静态数据成员：

面向对象程序设计（object-oriented programming）的核心思想是数据抽象、继承、动态绑定。通过数据抽象，可以使类的接口与实现分离，使用继承，可以更容易地定义与其他类相似但不完全相同的新类，使用动态绑定，可以在一定程度上忽略相似类的区别，而以统一的方式使用它们的对象。

虚函数的作用是实现多态性（Polymorphism），多态性是将接口与实现进行分离，采用共同的方法，但因个体差异而采用不同的策略。纯虚函数则是一种特殊的虚函数。虚函数联系到多态，多态联系到继承。所以本文中都是在继承层次上做文章。没了继承，什么都没得谈。