setjmp 和 longjmp

一、引入

在C中，goto语句是不能跨越函数的，而执行这样跳转功能的是函数 setjmp 和 longjmp。这两个函数对于处理发生在深层嵌套函数调用中的出错情况是非常有用的。这两个函数也称为非局部 goto，它们可以在栈上跳过若干调用帧，返回到当前函数调用路径的某一函数中。

#include <setjmp.h>
int setjmp(jmp_buf env);
// 返回值：若直接调用则返回0，若从 longjmp 调用返回则返回非0值
void longjmp(jmp_buf env, int val);

在希望返回到的位置调用 setjmp，假定此位置在 main 函数中，因为我们是直接调用该函数，所以其返回值为0。setjmp参数 env 的类型是一个特殊类型 jmp_buf，这一数据类型是某种形式的数组，其中存放着在调用 longjmp 时能用来恢复栈状态的所有信息，因为需要在另一个函数中引用env变量，所以规范的处理方式是将env变量定义为全局变量。

二、自动、寄存器和易失变量

调用longjmp时，大多数实现并不回滚自动变量和寄存器变量的值，而所有标准则说它们的值是不确定的。如果你有一个自动变量，而又不想使其值回滚，则可定义其为具有volatile的属性。声明为全局或静态变量的值在执行longjmp时保持不变。注意，全局、静态和易失变量不受优化的影响，在调用longjmp后，它们的值是最近所呈现的值，某个系统的setjmp（3）手册页上说明，存放在存储器中的变量将具有longjmp时的值，而在CPU和浮点寄存器中的变量则恢复为调用setjmp时的值。不进行优化时，所有这5个变量都存放在存储器中（亦即忽略了对regival变量的register存储类说明）。而进行了优化后，autoval和regival都存放在寄存器中（即使autoval并未声明为register），volatile变量则仍存放在存储器中。

三、自动变量的潜在问题

基本规则是声明自动变量的函数已经返回后，不能再引用这些自动变量，我们可以使用全局存储空间静态的或动态的分配空间。