大家都知道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定义的变量可以保持原值。
Linux系统编程_7_进程环境之setjmp和longjmp函数
原文地址:http://blog.csdn.net/scottly1/article/details/41205017