今天看《C专家编程》第7章第8节,最后提到用setjmp/longjmp从信号终恢复。顺便敲了代码看看效果,就对其中jmp_buf这个结构感兴趣。查看一下,发现/usr/include/setjmp.h
中是这么定义的:
![2015-11-30 23-12-46屏幕截图.png-47.7kB][1]
图1
另外__jmp_buf
的定义在/usr/include/i386-linux-gnu/bits/setjmp.h
:
![2015-11-30 23-43-23屏幕截图.png-25.4kB][2]
图2
图1定义方式很奇怪,即将一个结构定义成由一个成员的数组,刚开始不理解为什么,上网搜了一下,发现2005年云风大神已经有博客了。
文章讲得很简略,细细一想,发现了其中的奥秘:
其实这个小的trick主要利用了C语言中数组的性质:我们假设定义jmp_buf buf;
- 我们用jmp_buf定义一个变量的时候,相当于定义了一个只有一个成员的数组(按照typedef,jmp_buf数据类型就是一个数组类型,因此用它定义的变量也是数组,只不过这个数组比较特殊,数组的成员是一个结构);我们知道定义数组的时候,编译器会分配内存,那么我们定义这个变量大小就是
sizeof(jmp_buf)
。 - 我们知道数组名在直接传递的时候会退化成指针,因此可以起到传址的作用。
链接文章中提到在声明的时候可以把数据分配到堆栈(stack)上,我想说,这样就是利用上面提到的。假设我们在一个函数里面声明一个变量,那么变量会被压入stack中,而传递参数或者访问结构的时候传递指针就可以了。
这就是数组的两头都占好的特性吧,定义时候能直接分配好地址,使用的时候还能把数组名当指针用。
再参考:
setjmp 的正确使用
[1]: http://static.zybuluo.com/yiltoncent/hsbtp6mt7mzlv4m2pu57s287/2015-11-30%2023-12-46%E5%B1%8F%E5%B9%95%E6%88%AA%E5%9B%BE.png
[2]: http://static.zybuluo.com/yiltoncent/0j8w3iyif6icqpnvja6rddmz/2015-11-30%2023-43-23%E5%B1%8F%E5%B9%95%E6%88%AA%E5%9B%BE.png