072. 使用setjmp和longjmp进行非局部跳转

在C语言中，setjmp 和 longjmp 是用于实现非局部跳转的函数。它们可以用来从一个函数跳转到另一个函数，而不仅仅是从函数内部跳转到函数的某个位置。这种机制类似于其他语言中的异常处理，但更为底层和灵活。

1. `setjmp` 和 `longjmp` 的基本概念

setjmp：保存当前函数的调用环境（包括程序计数器、寄存器等），并返回0。调用环境保存在一个 jmp_buf 类型的变量中。
longjmp：恢复之前保存的调用环境，并从 setjmp 的调用点继续执行。longjmp 的第二个参数将作为 setjmp 的返回值。

2. 使用 `setjmp` 和 `longjmp` 的示例

示例1：基本用法

#include <stdio.h>
#include <setjmp.h>

jmp_buf env;

void functionB() {
    printf("在 functionB 中\n");
    longjmp(env, 1); // 跳转到 functionA 中的 setjmp 调用点
}

void functionA() {
    if (setjmp(env) == 0) {
        printf("在 functionA 中，第一次调用 setjmp\n");
        functionB();
    } else {
        printf("在 functionA 中，从 longjmp 返回，返回值：%d\n", setjmp(env));
    }
}

int main() {
    functionA();
    return 0;
}

输出：

在 functionA 中，第一次调用 setjmp
在 functionB 中
在 functionA 中，从 longjmp 返回，返回值：1

3. 使用 `setjmp` 和 `longjmp` 处理错误

setjmp 和 longjmp 常用于错误处理，特别是在嵌套调用中，可以快速跳转到错误处理代码。

示例2：错误处理

#include <stdio.h>
#include <setjmp.h>

jmp_buf env;

void functionC() {
    printf("在 functionC 中，发生错误\n");
    longjmp(env, -1); // 跳转到 functionA 中的 setjmp 调用点
}

void functionB() {
    printf("在 functionB 中\n");
    functionC();
}

void functionA() {
    int result;
    if ((result = setjmp(env)) == 0) {
        printf("在 functionA 中，第一次调用 setjmp\n");
        functionB();
    } else {
        printf("在 functionA 中，从 longjmp 返回，返回值：%d\n", result);
    }
}

int main() {
    functionA();
    return 0;
}

输出：

在 functionA 中，第一次调用 setjmp
在 functionB 中
在 functionC 中，发生错误
在 functionA 中，从 longjmp 返回，返回值：-1

4. 注意事项

调用环境的有效性：longjmp 只能跳转到之前保存的调用环境。如果调用环境已经无效（例如，保存环境的函数已经返回），则行为未定义。
变量的生命周期：跳转到 setjmp 调用点时，局部变量的值可能不确定。建议使用静态变量或全局变量来保存状态。
线程安全：在多线程程序中，setjmp 和 longjmp 可能导致不可预测的行为。建议在单线程程序中使用。
替代方案：在大多数情况下，可以使用结构化的错误处理机制（如返回错误码）来替代 setjmp 和 longjmp，使代码更易于理解和维护。

5. 总结

setjmp 和 longjmp 提供了一种强大的机制，用于实现非局部跳转。它们可以用于错误处理、状态机实现等场景。然而，由于其复杂性和潜在的陷阱，应谨慎使用。在实际开发中，尽量使用结构化的错误处理机制，除非确实需要 setjmp 和 longjmp 提供的灵活性。

视频讲解

BiliBili： 视睿网络-哔哩哔哩视频 (bilibili.com)