在C语言中,goto语句只能在一个函数内实现跳转,而不能在函数间进行跳转。如果希望在函数间跳转,可以使用 setjmp 和 longjmp 函数。
Linux 会把进程的上下文保存在 task_struct 结构体中,切换时直接恢复。而 setjmp 和 longjmp 的原理也差不多: 第一次调用setjmp时,保存该函数内的上下文;调用longjmp时,跳转到setjmp处再调用setjmp来恢复此处的函数上下文。
函数原型:
#include <setjmp.h>
int setjmp(jmp_buf env);
setjmp 函数的功能是将函数在此处的上下文保存在 jmp_buf 结构体中,以供 longjmp 从此结构体中恢复。
- 参数 env 即为保存上下文的 jmp_buf 结构体变量;
- 第一次调用该函数,返回值为0;
若该函数从 longjmp 调用返回,返回值为非零,由 longjmp 函数提供;
根据函数的返回值就可以知道 setjmp 函数调用是第一次直接调用,还是由其它地方跳转过来的。如果是跳转来的,setjmp的返回值不会是0.
void longjmp(jmp_buf env, int val);
longjmp 函数的功能:从jmp_buf结构体中恢复由setjmp函数保存的上下文,该函数不返回,而是从setjmp函数返回。
即相当于调用了 longjmp 了之后,就跳转到setjmp处,由setjmp进行返回。
- 参数env: 由setjmp函数保存过的上下文
- 参数val: 从longjmp函数传递给setjmp函数,然后由setjmp函数返回此值;若val为0,则setjmp返回1;否则就返回val.
程序示例
#include <setjmp.h>
#include <stdio.h>
#include <stdlib.h>
static jmp_buf env;
void call_setjmp()
{
int i;
i = setjmp(env);
switch (i) {
case 0:
printf("Finished initialization of env\n");
break;
case 10:
printf("Hit 10\n");
break;
case 20:
printf("Hit 20\n");
break;
default:
printf("Hit nothing useful\n");
}
}
void call_longjmp(int val)
{
longjmp(env, val);
}
int main()
{
call_setjmp();
call_longjmp(10);
call_longjmp(20);
call_longjmp(30);
return 0;
}
程序输出:
Finished initialization of env
Hit 10
Hit 20
Hit nothing useful
(完)