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定义的变量可以保持原值。