《Ｃ专家编程》第三章介绍了如何分析复杂的声明，讲的非常不错。对于作者介绍的分析复杂声明的方法，我没有完全掌握，不过，我有我自己的一套方法来解析复杂的声明，正所谓条条大道通罗马，只要结果一样，必须在乎过程呢。今天在网上找了几个复杂的声明，练练手（声明的例子全部来自网络，原谅出处未详）。记下此文，作个标记，待日后回味。

int (*func)(int *p)

    这个就不解释了，每本C语言参考书上都会有的。作为一个C/C++程序员还不会的话，说明你已经out了~~_~~

int (*func)(int *p, int (*f)(int*))

    func是一个指针，指向一个函数，函数接收两个参数，第一个参数是int *，第二个参数是一个函数指针（该函数指针接收int *参数，返回int值），函数返回int值。使用typedef来简化一下：

int (*func)(int *p, int (*f)(int*));
/* 等价于 */
typedef int (*functor1)(int *);
typedef int (*functor2)(int *, functor1);
functor2 func;

int (*func[5])(int *p)

    func是一个包含5个元素的数组，数组中的每个元素是函数指针，函数接收int *参数，并返回int值。用typedef来简化一下：

int (*func[5])(int *p);
/* 等价于 */
typedef (*functor)(int *);
functor func[5];

int (*(*func)[5])(int *p))

    func是一个指针，指针指向包含5个元素的数组，数组是的每个元素是函数指针，该函数接收int *参数，并返回int值。用下面的代码来表示一下func是个什么东东：

int (*(*func)[5])(int *p);
/* func是下面这个东东： */
typedef int (*functor)(int *);
functor arr[5];
func = &arr;

int (*(*func)(int *p))[5]

    func是一个指针，指针指向函数，函数接收int *参数，返回指针，指针指向包含5个元素的int型数组。用typedef来简化一下：

int (*(*func)(int *p))[5];
/* 等价于 */
typedef int arr[5];
typedef arr *(*functor)(int *);
functor func;

int (*(*func)[5][6])[7][8]

    func是一个指针，指针指向行数为5, 列数为6的二维数组，数组中保存的是指针，指针指向行数为7，列数为8的int型数组。下面的代码也许会让你更清楚一点：

int (*(*func)[5][6])[7][8];
/* see it: */
typedef int arr[7][8];
arr *func1[5][6];
func = &func1;

int (*(*(*func)(int *))[5])(int *)

    func是一个函数指针，函数接收int *参数，返回一个指针，指针指向包括5个元素的数组，数组中的元素是函数指针，函数接收int *参数，返回int值。用typedef简化一下下：

int (*(*(*func)(int *))[5])(int *);
/* 等价于 */
typedef int (*functor1)(int *);
typedef functor1 arr[5];
typedef arr *(*functor2)(int *);
functor2 func;

int (*(*func[7][8][9])(int*))[5]

    func是一个三个数组，数组中的每个元素是指针，指针指向函数，函数指向int*参数，返回指几包含5个元素的int数组（嗷口），和typedef来简化一下：

int (*(*func[7][8][9])(int*))[5];
/* 等价于 */
typedef int arr[5];
typedef arr *(*functor)(int *);
functor func[7][8][9];

 

 

下面说说另外一种声明形式

A:

void (*signal(int sig,void (*handler)(int)))(int)

这是linux signal函数的原型，它是这样的函数 1:signal函数形参有2个，第一个是int,第二个是一个函数指针,这个指针类型是 void (*p)(int) ,2:它的返回值也是一个指针类型，这个指针类型也是void (*p)(int)

用typedef简化过后是这样的

typedef void (*handler)(int);

handler signal(int sig,handler handl);

B:

void_1 (* (*signal(void_2)) )(void_3)

这个signal是一个指向函数的指针，这个函数的形参是void(即上面标记为void_2的是形参)，它的返回类型也是一个指针，但是这个指针和A中的不同，A中的是直接指向一个函数，而B中的这个是指向一个指针,这个被指向的指针指向一个void (*han)(void)型函数(即指针的指针) ==>(pointer_1--->pointer_2--->函数)

typedef简化过后是这样的

typedef void (*p)(void);

p* signal(void);

C:

void (* (*signal(void))[] )(void)

这个typedef简化过后是这样的

typedef void (*p[])(void);

p* signal(void);