上图为《C陷阱与缺陷》一书作者提出的一个所设计的函数,很有意思。尽管已经很多人对这个函数进行肢解。不过我也来说说我的个人观点(可能有雷同)。
(*(void(*)())0)()
接下来按照语义分析进行拆解上面的代码:
先把基本轮廓拆出来,显示其基本原型,也就是用咱们通常的那种函数格式来呈现:
一:
(* 0)()
二:
(void(*)())
三:
void(*)()
上面一二三就是拆解步骤。
分析一下啊!
从一中我们可以看到一个基本的函数指针的影子,也就是这样的函数指针模型:
类型名 (*函数名)(函数参数表列);
这个地方需要注意的是函数指针必须带有第一对(),不然就成了这样:
类型名 *函数名(函数参数表列);
这就是另一层意思了,由于*的优先级要低于()。因此在解析的时候会被认为:
类型名 * 函数名(函数参数表列);
就是一个普通的函数,返回值为一个指针嘛!
废话少说,继续从上面可知,原函数名为0,这就值得思考,0是作为一个数字,还是一个字符来?这个地方,0是作为一个地址值,是所声明函数的入口地址。跟我们平时printf("%p", &a);这个意思是一样的!但是C标准是不允许常量作为函数名,因此就需要做一个转换。姑且认为类似类型转换的那种。
那我们就单独对0进行所谓的“类型转换”:
(void(*)())0
上面看出来了吧,(void(*)())就是0 它的类型,一个函数指针的类型。
然后在理解一下这个:
void(*)()
这就是最基本的函数指针了,表示一个参数列表为空,没有返回值的函数。这个与一是一样的模式。因此可以进行所谓的“类型转换”。
OK了,剩下的就好说了,组装吧!
所以从上面咱们总结起来:
(*(void(*)())0)()
表示: 一个入口地址为0的函数指针,该函数无返回值,无参数列表。
要理解这个代码的写法的意思,需要大伙了解几个概念的内涵:
1.函数
2.函数名
3.函数地址
4.函数指针