C++必知必会之(17)处理函数和数组声明

1、指向函数的指针声明与指向数组的指针声明很容易混淆，

主要原因在于函数和数组修饰符的优先级比指针修饰符的优先级高，因此通常需要使用圆括号。

int *f1( );     //一个返回值为int *的函数

int (*fp1) ( );     //一个指针，指向一个返回值为int的函数

具有高优先级的数组修饰符存在同样的问题：

const int N = 12;

int *a1[N];     //一个具有N个int *元素的数组

int (*ap1) [N];      //一个指针，指向一个具有N个int元素的数组

理所当然，一旦拥有指向函数或数组的指针，就可以拥有指向这种指针的指针：

int  (**ap2) [N];            //一个指针，它指向一个指针，后者则拥有一个具有N个int元素的数组

int  *(*ap3) [N];          //一个指针，指向一个具有N个int *元素的数组

int  (**const  fp2) ( )  = 0;         //一个常量指针，指向一个指向函数的指针

int  *(*fp3)  ( ) ;               //一个指针，指向一个返回值为int *的函数

2、注意，参数和返回值都会影响函数或函数指针的类型：

char  *(*fp4) ( int, int );

char  *(*fp5) (short, short ) = 0;

fp4 = fp5;   //错误，类型不匹配！

当函数和数组修饰符出现在同一个声明中时，更复杂：

int (*) ( ) afp1[N];     //语法错误！

以上错误声明中，函数修饰符（）的出现表示到了声明的末尾，而后面附加的afp1则表示开始出现了一个语法错误，这类似于下面的数组声明写法：

int [N]  a2;     //语法错误！

3、函数指针数组的正确声明方式，是将数组名字和简单的函数指针声明放在一起：

int  ( *afp2[N] )  ( );    //一个具有N个元素的数组，其元素类型为指向“返回值为int”的函数指针

这时可以用typedef：

typedef int ( *FP) ( );    //一个指向返回值为int的函数的指针

FP  afp3[N];         //一个具有N个“类型为Fp”的元素的数组，该类型与afp2相同

4、使用typedef，甚至标准的set_new_handler函数的声明都会变得简单了：

typedef  void ( *new_handler ) ( );

new_handler   set_new_handler( new_handler );

如此一来，new_handler是指向这种函数的指针：它不带任何参数，返回void。

而set_new_handler则是一个函数，带有一个new_handler作为参数，并返回一个new_handler作为结果。