浅谈c++之指针型函数与函数指针

  对于初入C/C++殿堂的人来说，当听到指针型函数与函数指针两个名词时有可能会在潜意思中认为，他们是同一个东西。但是事实并非如此。

---

  函数指针与指针函数他们其实是两个不同的东西，对于函数的表达形式我们知道是：
  返回类型 函数名（参数）； 这一种表达形式，比如现在定义一个函数，其形式如下：

int max(int a, int b);                        //1-1

  从上方的形式可以得到这是一个返回类型为 int型 函数名为 max 函数的参数有两个，并且其类型都是 int型 这时候如果在函数名字的前面加上 ” * ” 这个符号，得到的形式如下：

int* max(int a, int b);                       //1-2

  表达式1-1与表达式1-2进行对比后发现，表达式1-2比表达式1-1多了一个“ * ”,但是他们的意义却完全不同，函数表达式1-2得到的是一个函数名为max，其含有两个参数，参数类型都是int型，但是其返回类型不再是int型而是一个int*（即：函数max的返回类型为一个指向int型的指针。对于1-2所述的表达式就是一个指针型函数。

---

  如果将 “ * ” 与函数名max在一起，并且用“（）”阔起来，然后变成如下方1-3所示：

int (* M)(int , int );                 //1-3

  相信大家已经想到了这种就是函数指针（指向函数的指针），从1-3的表达形式可以看出，从右往左分析，右边的括号里面有两个int型的数据类型，数据类型的左边又是一个括号，则说明右边的（）里面其实是函数的参数，左边的括号（*M）表示这个函数是一个函数指针,即1-3表达的是：M是一个指向int返回类型，含有两个int型参数的函数指针。

---

  下面对于指针“ * ”在函数中使用时做进一步的介绍:

float(*f)(); //表示f是一个指向返回类型为float型的函数的指针

  此时将上式中的f和;号去掉后

（float(*)()）  //这个表达式是一个类型，即“指向返回型为float型的函数的指针”，如果用这个类型去修饰一个变量名，我们就叫他类型转换符

  下面结合我之前遇到的一种很经典的表达表达形式：

void (*b[10])(void(*)());

  首先，表达式的后半部分被两个（）分开，其中(b[10])容易知道b是一个有10个元素的数组，它的每一个元素都是一个指针。后面的一个（）为（void()())其中没有出现变量名，所以他代表一个类型，即指向返回值为void型的函数的指针，但是通常类型修饰符都是出现在变量名的左边，而在整个表达式中这个类型符是在变量名左边，所以（void(*)())的最外层的（），表示定义了一个函数，这个函数有一个参数（就是一个指针————指向返回值为void类型的函数的指针）。
  通过上述的分析可以得到b数组里面，每一个指针元素都是一个函数指针，这个函数有一个参数，这个参数是一个函数指针。整个表达式的最左边void，则定义了b数组中函数指针所指向函数的返回值类型。
在面对
void (b[10])(void()());时，可以通过引入typedef来起别名，对其进行简化。

void (*b[10])(void(*)());typedef void(*func)();//即表示类型func是一个函数指针，然后针对整个表达式申明一个类型：typedef void(*fun)(func);//即表示，类型fun，是一个函数指针。此函数的参数类型为funcfun b[10];//最后进行变量申明

  这样，看起来会比较清晰。