signal函数：void (*signal(int,void(*)(int)))(int);

原文： http://blog.chinaunix.net/uid-20178794-id-1972862.html

signal函数：void (*signal(int,void(*)(int)))(int)

#include <signal.h>

  void (*signal (int sig, void (*func)(int)))(int);

That is to say, signal is a function that returns a pointer to another function. This second function takes a single int argument and returnsvoid. The second argument to signal is similarly a pointer to a function returningvoid which takes an int argument.

这个例子来自 《C陷阱与缺陷》……

signal函数是著名的信号函数，但是它的定义却非常的复杂……

任何C变量，都是由“类型”+“表达式”组成，它表示，对“表达式”求值，返回的类型，是声明给定的“类型”的值，如

CODE:

int a;

也就是对表达式a求值，是一个int类型；

同样地，

CODE:

int func();

这个声明的含义是，对表达式func()求值结果是一个int类型，也就是说，func是一个返回值是int类型的函数。

进一步，

CODE:

int *a;

也就是，*a是一个整型变量，那a当然就是一个指针，一个指向整型类型变量的指针；

那么，

CODE:

int *func();

同样地，因为()的优先级高于*，所以func是一个函数，它返回一个整型变量指向整型变量的指针；

进一步地，

CODE:

int (*func)();

这一回*被括号括了起来，因为*被先执行，所以，func自然地是一个指针，它指向的类型是一个函数
，即func是一个指向函数的指针，
并且，这个函数，返回一个整型变量。

另一个要讨论的问题是，如何得到一个类型指定的类型转换符，比如：
int a;
float b;
要强b转换为int类型，需要把
int a；
中的变量名去掉，然后把末尾的;去掉，再把剩余的部份用括号括起来，即：
(int)
所以，以下表达式：
int (*func)();
如果我们要得到对应的函数指针的类型转换符，则把func去掉，再把;去掉，再用括号
把剩余的部份括起来，即：

CODE:

(int (*)())

表示一个“ 指向返回值为整型类型的函数的指针”的类型转换符。

那么，如果要将常数0，转换为一个函数指针，且这个函数返回值类型为void类型，应该如何表示呢？
根据上面所说，
(void (*)())
这个也就不用再解释，那么，要强制类型转换也很简单：
(void (*)())0
现在，它已经是一个函数指针了，把它简写为fp：
#define fp (void (*)())0
要调用这个函数指针，很简单，
(*fp)()
当然，fp是一个函数指针，这样的调用形式，可以简写为
fp()
，当然，这仅仅是简写……
所以，(*fp)()，把fp这个宏展开：
就是

CODE:

(*(void (*)())0)()

这么复杂的东东，其实很简单，就是先为常数0进行类型转换，转换为一个“指向返回类型为void的函数指针”，然后
再调用它。

用typedef来简化(*(void (*)())0)()：

CODE:

typedef void (*funcptr)();
(*(funcptr)0)();

著名的signal函数的声明，就是这样啦：

CODE:

void (*signal(int,void(*)(int))(int);

同样地，用typedef可以简化它：

CODE:

typedef void (*HANDLER)(int);
HANDLER signal(int,HANDLER);

这已经是我们习惯看到的形式了。


===============================
c语言，理解声明的“左右法则”
http://wenku.baidu.com/view/3891df0e844769eae009ed40.html
http://www.oschina.net/question/171512_63027