函数原型:
int setjmp(jmp_buf envbuf);
setjmp函数用缓冲区envbuf保存系统堆栈的内容,以便后续的longjmp函数使用。setjmp函数初次启用时返回0值。
void longjmp(jmp_buf envbuf, int val);
longjmp函数中的参数envbuf是由setjmp函数所保存的堆栈环境,参数val设置setjmp函数的返回值。longjmp函数本身是没有返回值的,它执行后跳转到保存envbuf参数的setjmp函数调用,并由setjmp函数调用返回,此时setjmp函数的返回值就是val。
上面的说明有点拗口,通俗的解释是:先调用setjmp,用变量envbuf记录当前的位置,然后调用longjmp,返回envbuf所记录的位置,并使setjmp的返回值为val。当时用longjmp时,envbuf的内容被销毁了。其实这里的“位置”一词真正的含义是栈定指针。
接着让我们看一个小例子吧:
#include <stdio.h>
#include <setjmp.h>
jmp_buf buf;
void test(){
printf("in banana() \n");
longjmp(buf,1);
printf("you'll never see this,because i longjmp'd");
}
int main()
{
if(setjmp(buf))
printf("back in main\n");
else{
printf("first time through\n");
test();
}
return 0;
}
执行结果
分析:程序先走到setjmp。由于setjmp第一次执行返回的结果是0,所以走的else分支,打印"first time through"。接着跳转到test()函数中,继续执行printf打印"in banana()“。然后走到longjmp这里,由于longjmp的功能,接下来会跳转到main的setjmp这里继续执行。此时setjmp是第二次执行了,返回值为非0,所以会进入if分支,打印出"back in main”。