setjmp()、longjmp()

`setjmp()` 和 `longjmp()` 是提供非本地跳转机制的 C 库函数，允许程序将控制转移到先前保存的执行上下文。

`setjmp()` 用于将当前执行上下文保存在 `jmp_buf` 对象中，稍后可以由 `longjmp()` 使用将控制权转移回保存的上下文。 `setjmp()` 函数采用单个参数，即 `jmp_buf` 对象，它是一种特定于平台的类型，用于保存已保存的执行上下文。

下面是在 C 语言中使用 `setjmp()` 和 `longjmp()` 的例子：

#include <iostream>
#include <stdexcept>

int divide(int x, int y) {
    if (y == 0) {
        throw std::invalid_argument("divide by zero");
    }
    return x / y;
}

int main() {
    int a = 10, b = 0;
    try {
        int result = divide(a, b);
        std::cout << "Result: " << result << std::endl;
    } catch (const std::exception& e) {
        std::cerr << "Exception caught: " << e.what() << std::endl;
    }
    return 0;
}

在这个程序中，`jmp_buf env;` 声明了一个名为 `env` 的 `jmp_buf` 对象。 该对象用于存储当前程序执行状态。

`foo()` 函数只是打印一条消息，然后调用 `longjmp(env, 1);`。 此函数调用将控制权转移回调用 setjmp(env) 的位置，将值 1 传递给 setjmp() 。

在 main() 中，我们调用 setjmp(env) 将当前执行状态保存在 env 中。 如果 `setjmp()` 返回 `0`，我们打印一条消息，然后调用 `foo()`。 当 `foo()` 调用 `longjmp()` 时，控制权被转移回调用 `setjmp()` 的地方，并且 `setjmp()` 的返回值被设置为 `1`。

如果 `setjmp()` 返回非零值，我们将打印一条消息，指示调用了 `longjmp()`。

当程序运行时，它会产生以下输出：

setjmp() called, ret=0
foo() called
longjmp() called, ret=1

这表明 `setjmp()` 调用保存了当前执行状态，`foo()` 函数调用 `longjmp()` 跳回到这个保存的状态，然后程序从 `setjmp( )` 被调用。

`setjmp()` 和 `longjmp()` 通常用于错误处理和恢复，当程序发生错误时需要跳回到之前的状态。 但是，非本地跳转会使代码难以阅读和维护，应谨慎使用。