Linux系统编程_7_进程环境之setjmp和longjmp函数

大家都知道C语言中goto关键字可以用来跳转，但你知道它的跳转范围是什么吗？

goto语句只能在当前函数内不跳转，不能实现跨函数跳转；

为实现这一目的，Linux中引入了setjmp和longjmp，这两个函数对于处理发生深层嵌套函数调用中的出错情况非常有用。

函数声明：

#include <setjmp.h>

int setjmp(jmp_buf env); //env是jmp_buf类型，一般定义为全局变量

void longjmp(jmp_buf env, int val);   //val将成为调用setjmp返回的值

使用方法：

  在希望跳回的位置处写setjmp(jmpbuf)；函数返回0；

  然后再程序后面可能出现错误的位置处写longjmp(jmpbf, 1) ,这会调用setjmp使其返回1；当然，可以有多个longjmp，如fun1中写longjmp(jmpbuf, 1)，fun2中写longjmp(jmpbuf, 2); 则通过测试setjmp的返回值就可以判断造成返回的longjmp在哪一个函数里。

实例：

#include <stdio.h>#include <stdlib.h>#include <setjmp.h>static int st_var1;int g_var;volatile vol_var;jmp_buf buf;static void fun1(int, int, int);static void fun2();static void fun1(int i, int j, int k){    printf("In Fun1!!\n");    printf("st_var1=%d, st_var2=%d, g_var=%d, vol_var=%d, auto_var=%d, reg_var=%d\n",            st_var1, k, g_var, vol_var, i, j);    fun2();    return ;}static void fun2(){    printf("In Fun2!!\n");    longjmp(buf, 1);    return ;}int main(){    int auto_var;    register int reg_var;    static int st_var2;    printf("Start of main!!\n");    st_var1 = 9, st_var2 = 10, g_var = 11, vol_var = 12, auto_var = 13, reg_var = 14;                                                                         //调用longjmp后会再次跳到这里，此时可以判断setjmp的返回值    if(setjmp(buf) != 0){        printf("After longjmp:\n");        printf("st_var1=%d, st_var2=%d, g_var=%d, vol_var=%d, auto_var=%d, reg_var=%d\n",                st_var1, st_var2, g_var, vol_var, auto_var, reg_var);        exit(0);    }    fun1(auto_var, reg_var, st_var2);    printf("End of main!!\n");/*Never print*/    return 0;}

调用main函数后，函数的栈如下如所示：

main函数中调用了setjmp，后面的longjmp函数的调用会抛弃原来栈的结构，调用longjmp后：

    这时，我们就要考虑，当longjmp函数返回到main函数时，自动变量、寄存器变量等能否恢复到原先的值呢？这个问题的答案是"不确定"。

在上面的实例中，我们唯一能确定的是全局变量、静态变量、volatile定义的变量可以保持原值。