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


郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。