在C语言中,用于跳转的goto语句,只能够用在同一个函数内部的跳转。而setjmp 与 longjmp的结合使用,却可以实现在不同程序之间的跳转。让我们先来看一下函数原型吧:
#include <setjmp.h>
int setjmp(jmp_buf env)
void longjmp(jmp_buf env, int val);
这两个函数都要包含头文件setjmp.h。而且它们在处理出现在深层函数嵌套的错误情况时很有用处。
setjmp这个函数很有意思,虽然是一个函数,可是却可以返回两个不同的值。当第一次直接调用setjmp时,返回值为0。当从longjmp函数返回时,setjmp函数的返回值为longjmp的第二个参数的值。
那么在什么地方调用setjmp呢?我们希望当从longjmp函数返回时,程序从哪里接着开始运行,我们就在哪里调用setjmp。看个小实例,你就明白是怎么回事了。
#include<stdio.h>
#include<setjmp.h>
jmp_buf ebuf;
void f2(void);
int main(void)
{
int i;
printf("1");
i=setjmp(ebuf);
if(i==0) //第一次执行到这里时,值为0,所以接下来执行f2()
{
f2();
printf("This will not be printed.");
}
printf("%d",i); //由于从longjmp返回时,i=3,不执行if,所以执行该行
return 0;
}
void f2(void)
{
printf("2");
longjmp(ebuf,3); //longjmp函数返回,回到setjmp的位置,使得setjmp返回值为3
}
函数最后的执行结果为123,
要保证局部变量在longjmp过程中一直保持它的值唯一可靠的方法是声名为volatile
setjmp/longjmp最大的用途是错误恢复,只要没有从函数中返回,一旦发现一个不不可恢复的错误,就可以把控制转移到主输入循环,从新开始。