C语言中的setjmp和longjmp

在C语言中，goto语句只能在一个函数内实现跳转，而不能在函数间进行跳转。如果希望在函数间跳转，可以使用 setjmp 和 longjmp 函数。

Linux 会把进程的上下文保存在 task_struct 结构体中，切换时直接恢复。
而 setjmp 和 longjmp 的原理也差不多：

• 第一次调用setjmp（jmp_buf env)时，保存该函数内的上下文，即保存过程活动记录(procedure activaton record)，俗称栈帧(stack frame)；、第一次调用 setjmp的返回值是0；
• 调用longjmp(jmp_buf env, int i)时，跳转到调用setjmp处,就好像是setjmp在返回。但long_jmp的返回值是其第2个参数i，一般是一个非0值；因此在setjmp的调用处可以判断出这是第一次setjmp的调用，还是来自于longjmp的返回。

函数原型：

#include <setjmp.h>
int setjmp(jmp_buf env);

setjmp 函数的功能是将函数在此处的上下文保存在 jmp_buf 结构体中，以供 longjmp 从此结构体中恢复。

• 参数 env 即为保存上下文的 jmp_buf 结构体变量；
• 第一次调用该函数，返回值为0；
  若该函数从 longjmp 调用返回，返回值为非零，由 longjmp 函数提供；
  根据函数的返回值就可以知道 setjmp 函数调用是第一次直接调用，还是由longjmp跳转过来的。

void longjmp(jmp_buf env, int val);

longjmp 函数的功能：从jmp_buf结构体中恢复由setjmp函数保存的上下文，然后该函数的返回就相当于跳转到setjmp的调用处，由setjmp返回longjmp的第二个参数。

• 参数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

(完)