setjmp与longjmp

函数原型：

 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”。