[关闭]
@yiltoncent 2015-12-01T00:12:48.000000Z 字数 680 阅读 4883

jmp_buf的使用,结构定义为数组

C语言基础


今天看《C专家编程》第7章第8节,最后提到用setjmp/longjmp从信号终恢复。顺便敲了代码看看效果,就对其中jmp_buf这个结构感兴趣。查看一下,发现/usr/include/setjmp.h中是这么定义的:
2015-11-30 23-12-46屏幕截图.png-47.7kB
图1
另外__jmp_buf的定义在/usr/include/i386-linux-gnu/bits/setjmp.h:
2015-11-30 23-43-23屏幕截图.png-25.4kB
图2

图1定义方式很奇怪,即将一个结构定义成由一个成员的数组,刚开始不理解为什么,上网搜了一下,发现2005年云风大神已经有博客了。

文章讲得很简略,细细一想,发现了其中的奥秘:

其实这个小的trick主要利用了C语言中数组的性质:我们假设定义jmp_buf buf;
1. 我们用jmp_buf定义一个变量的时候,相当于定义了一个只有一个成员的数组(按照typedef,jmp_buf数据类型就是一个数组类型,因此用它定义的变量也是数组,只不过这个数组比较特殊,数组的成员是一个结构);我们知道定义数组的时候,编译器会分配内存,那么我们定义这个变量大小就是sizeof(jmp_buf)
2. 我们知道数组名在直接传递的时候会退化成指针,因此可以起到传址的作用。

链接文章中提到在声明的时候可以把数据分配到堆栈(stack)上,我想说,这样就是利用上面提到的。假设我们在一个函数里面声明一个变量,那么变量会被压入stack中,而传递参数或者访问结构的时候传递指针就可以了。

这就是数组的两头都占好的特性吧,定义时候能直接分配好地址,使用的时候还能把数组名当指针用。

再参考:
setjmp 的正确使用

添加新批注
在作者公开此批注前,只有你和作者可见。
回复批注