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