函数原型:
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 test() \n"); longjmp(buf, 1); printf("333333\n"); } int main() { if (setjmp(buf)) printf("111111\n"); else { printf("222222\n"); test(); } getchar(); return 0; }
断点调试,第一次buf为空,还没有保存上下文。
第二次buf已经存在值了。
执行结果
分析:程序先走到setjmp。由于setjmp第一次执行返回的结果是0,所以走的else分支,打印"22222"。接着跳转到test()函数中,继续执行printf打印"in test()“。然后走到longjmp这里,由于longjmp的功能,接下来会跳转到main的setjmp这里继续执行。此时setjmp是第二次执行了,返回值为非0,所以会进入if分支,打印出"111111”。