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作为结果。