我们知道:任何C语言变量的声明都由两部分组成:类型以及一组类似表达式的声明符。一旦我们知道如何声明一个给定类型的变量,那么该类型的类型转换符就很容易得到:只需要把声明中的变量名和末尾的分号去掉,再将剩余的部分用一个括号整个“封装”起来即可。例如:float (*h)();表示h是一个指向返回值为浮点类型的函数的指针,所以(float (*)())一个“指向返回值为浮点类型的函数的指针”的类型转换符。
拥有了这些知识,下面我们将分析一个更为复杂的表达式:(*(void(*)())0)();对此,我们分两步分析此表达式。
第一步:假定fp是一个函数指针,调用fp所指向的函数方法是:(*fp)();因为fp是函数指针,则*fp是该指针所指向的函数,所以(*fp)()就是调用该函数的方式。在表达式(*fp)()中,*fp两侧的括号非常重要,因为函数运算符()的优先级高于单目运算符*。如果*fp两侧没有括号,那么*fp()实际上与*(fp())的含义完全一样,ANSI C把它作为*((*fp)())的简写形式。剩下的问题就是找到一个恰当的表达式替换fp.
第二步:解决问题。我们知道如何声明一个变量,也就知道如何对一个常数进行类型转换,将其转型为该变量的类型:只需在变量声明中去掉变量名。因此,将常数0转型为“指向返回值为void的函数的指针”类型,可以写为(void(*)())0,因此可以用(void(*)())0来替换fp,从而得到(*(void(*)())0)();
下面再举几个例子,以便更深一步的了解。
1.void *(*(*fp1) (int)) [10]; fp1是一个指向函数的指针,该函数接受一个整形参数并返回一个指向含有10个void指针数组的指针。
2. float (*(*fp2)(int,int,float))(int); fp2是一个指向函数的指针,该函数接收三个参数(int,int,float)且返回一个指向函数的指针,该函数接受一个整型参数并返回一个float.
3.int (*(*fp4()) [10]) (); 这不是变量而是一个函数,fp4是一个返回指针的函数,该指针指向含有10个函数指针的数组,这些函数返回整型值。
以上分享参考:C陷阱与缺陷 和C++编程思想第一卷