setjmp

将当前执行上下文保存到类型为 std::jmp_buf 的变量 env 中。该变量后续可通过 std::longjmp 函数用于恢复当前执行上下文。即当调用 std::longjmp 函数时，执行将在构造传递给 std::longjmp 的 std::jmp_buf 变量的特定调用点处继续。此时 setjmp 将返回传递给 std::longjmp 的值。

setjmp 的调用必须仅出现在以下任一语境中：

1. if 、 switch 、 while 、 do-while 、 for 语句的完整控制表达式。

   switch (setjmp(env)) { // ...

2. 关系或相等运算符的一个操作数（另一操作数为整型常量表达式），且该表达式构成 if 、 switch 、 while 、 do-while 、 for 语句的完整控制表达式。

   if (setjmp(env) > 0) { // ...

3. 一元 ! 运算符的操作数，且该表达式构成 if 、 switch 、 while 、 do-while 、 for 语句的完整控制表达式。

   while (!setjmp(env)) { // ...

4. 表达式语句 的完整表达式（可强制转换为 void ）。

   setjmp(env);

如果 setjmp 出现在其他任何上下文中，其行为是未定义的。

返回到 setjmp 作用域时：

• 所有可访问对象、浮点状态标志以及抽象机器的其他组件都具有与执行 std::longjmp 时相同的值，
• 除了包含 setjmp 调用的函数中的非 volatile 局部变量——若这些变量自 setjmp 调用后发生更改，其值将变为未定义。

参数

返回值

​ 0 ​ 表示该宏由原始代码调用，且执行上下文已保存至 env 。

若刚刚执行了非本地跳转，则返回非零值。该返回值与传递给 std::longjmp 的值相同。

注释

上述要求禁止在数据流中使用 setjmp 的返回值（例如用它来初始化或赋值对象）。该返回值只能用于控制流或直接丢弃。

示例

#include <array>
#include <cmath>
#include <csetjmp>
#include <cstdlib>
#include <format>
#include <iostream>
std::jmp_buf solver_error_handler;
std::array<double, 2> solve_quadratic_equation(double a, double b, double c)
{
    const double discriminant = b * b - 4.0 * a * c;
    if (discriminant < 0)
        std::longjmp(solver_error_handler, true); // 跳转至错误处理程序
    const double delta = std::sqrt(discriminant) / (2.0 * a);
    const double argmin = -b / (2.0 * a);
    return {argmin - delta, argmin + delta};
}
void show_quadratic_equation_solution(double a, double b, double c)
{
    std::cout << std::format("求解 {}x² + {}x + {} = 0...\n", a, b, c);
    auto [x_0, x_1] = solve_quadratic_equation(a, b, c);
    std::cout << std::format("x₁ = {}, x₂ = {}\n\n", x_0, x_1);
}
int main()
{
    if (setjmp(solver_error_handler))
    {
        // 求解器的错误处理程序
        std::cout << "无实数解\n";
        return EXIT_FAILURE;
    }
    for (auto [a, b, c] : {std::array{1, -3, 2}, {2, -3, -2}, {1, 2, 3}})
        show_quadratic_equation_solution(a, b, c);
    return EXIT_SUCCESS;
}

求解 1x² + -3x + 2 = 0...
x₁ = 1, x₂ = 2
求解 2x² + -3x + -2 = 0...
x₁ = -0.5, x₂ = 2
求解 1x² + 2x + 3 = 0...
无实数解

参见