setjmp
来自 cppreference.com
在头文件 <csetjmp> 中定义 |
||
#define setjmp(env) /* implementation-defined */ |
||
将当前执行上下文保存到类型为 std::jmp_buf 的变量 env 中。此变量稍后可用于通过 std::longjmp 函数恢复当前执行上下文。也就是说,当调用 std::longjmp 函数时,执行将从构建传递给 std::longjmp 的 std::jmp_buf 变量的特定调用站点继续。在这种情况下,setjmp
返回传递给 std::longjmp 的值。
setjmp
的调用必须仅出现在以下上下文之一中
- if、switch、while、do-while、for 的完整控制表达式。
switch (setjmp(env)) { // ...
- 关系运算符或相等运算符的一个操作数,另一个操作数是一个整型常量表达式,由此产生的表达式是 if、switch、while、do-while、for 的完整控制表达式。
if (setjmp(env) > 0) { // ...
- 一元 ! 运算符的操作数,由此产生的表达式是 if、switch、while、do-while、for 的完整控制表达式。
while (!setjmp(env)) { // ...
- 表达式语句 的完整表达式(可能强制转换为 void)。
setjmp(env);
如果 setjmp
出现在任何其他上下文中,则行为未定义。
此外,如果 |
(自 C++20 起) |
返回到 setjmp
的作用域时
- 所有可访问的对象、浮点状态标志和抽象机的其他组件具有与执行 std::longjmp 时相同的的值,
- 除了包含
setjmp
调用的函数中的非 volatile 局部变量,如果这些变量自setjmp
调用以来已更改,则它们的值是不确定的。
内容 |
[编辑] 参数
env | - | 用于将程序的执行状态保存到其中的变量 |
[编辑] 返回值
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); // Go to error handler 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("Solving {}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)) { // Error handler for solver std::cout << "No real solution\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; }
输出
Solving 1x² + -3x + 2 = 0... x₁ = 1, x₂ = 2 Solving 2x² + -3x + -2 = 0... x₁ = -0.5, x₂ = 2 Solving 1x² + 2x + 3 = 0... No real solution
[编辑] 另请参阅
跳转到指定位置 (函数) | |
C 文档 for setjmp
|