【C陷阱与缺陷】两道“有趣”的代码题

如果读者不了解函数指针的，可以先看看这篇文章 链接

< 第一题 >

代码：

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

解析：

?如果你是头一次看上面这段代码的话，心里一定是一个大大的问号？？？现在我就来解释一下

本题的突破口在于这个0，仔细观察可以发现，0前面有一个括号()，括号里面的这种形式若是你自己去看的话就是一个函数指针，那相当于就是对0进行一个强制类型转换，把它变成一个函数地址，然后前面的*我们刚才讲过，就是对这个函数进行解引用，获取到这个函数。那么最后一步便是去调用这个函数

具体的分解可以看看下图?

分步细说：

void (*)() —— 》一个没有形参，返回类型为void的函数指针

---

(void (*)())0 ——》 对0进行强制类型转换，使其被解释成为一个函数的地址

---

*(void (*)())0 ——》对0地址处的函数进行解引用，获取到这个函数

---

(*(void (*)())0)() ——》调用0地址处的函数

原文现身：

< 第二题 >

代码：

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

解析：

?同理，若是第一次见一定会被它绕晕了?了

本题真的可以说是在套娃了，首先你看到的一定是signal,它呢是C语言中的一个信号函数，有兴趣可以去了解一下，我们知道()的优先级高于*，所以signal会和后面的内容先结合，那其实已经可以看出这是一个函数声明了。进到里面再来看看这个函数有两个参数，一个是int，一个是函数指针，那么外层的又是什么呢？ 仔细看下图，我将内部的signal()函数声明抽离了出来，只剩下了头和尾，你可以做一个视觉上的合并，那其实又是一个void (*)(int)的函数指针，其实这就是signal函数的返回类型，是一个函数指针

同样地，我们再来捋一遍

分步细说：

void (*)(int) —— 》是一个函数指针，为signal函数的形参

---

signal(int, void(*)(int)) ——》 是一个函数声明，signal与右侧的()率先结合，内部有两个形参

---

void (*)(int) ——》也是一个函数指针，不过是作为signal函数返回类型

优化：

对于上面的这种写法你是否觉得很冗余，其实可以再度进行一个优化，那么你可能很快就看得懂了

因为 void (*)(int) 是出现了两次，之前我们在C语言中有学习过typedef这个关键字，可以用来对一个很长的数据类型或者变量进行重命名，那么在这里我们也可以这样做不过呢，你要把重命名后的名字放在(*)里面，因为语法这么规定了，去掉变量名后就是它的类型

typedef void(*ptr_t)(int);

于是这句代码就可以简化为下面这种形式?注意解引用那个*不要了，函数指针这里是可以省略的

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

原文现身：

---

两道题讲完了，你是否有收获呢？有兴趣的话可以私信我，发你《C陷阱与缺陷》的电子书.pdf

—— 2023.4.18记