setjmp

 

C

编译器支持

语言

头文件

类型支持

程序工具

变参数函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

程序支持工具

程序终止
abort exit quick_exit (C11) _Exit (C99)	atexit at_quick_exit (C11) EXIT_SUCCESSEXIT_FAILURE
不可达控制流
unreachable (C23)
与环境交流
system	getenvgetenv_s (C11)
信号
signal raise sig_atomic_t	SIG_DFLSIG_IGN SIG_ERR
信号类型
SIGABRTSIGFPESIGILL	SIGINTSIGSEGVSIGTERM
非局部跳转
setjmp	longjmp
类型
jmp_buf

 

在标头 <setjmp.h> 定义
#define setjmp(env) /* 由实现定义 */

将当前执行环境保存于 jmp_buf 类型的变量 env。此变量可在之后被 longjmp 函数用来恢复当前执行环境。即当调用 longjmp 函数时，执行将从传递给 longjmp 的 jmp_buf 变量所构建的特定调用点继续。该情况下 setjmp 返回传递给 longjmp 的值。

setjmp 的调用必须只出现在下列语境之一中：

1. 选择或迭代语句（if、switch、while、do-while、for）的完整控制表达式

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

1. 关系或相等性运算符的一个操作数，其另一操作数为整数常量表达式，产生的表达式为选择或迭代语句的完整控制表达式

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

1. 一元 ! 运算符的操作数，其结果为选择或迭代语句的完整控制表达式

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

1. 表达式语句的完整表达式（可以将其转型到 void）。

setjmp(env);

若 setjmp 出现于其他语境中，则行为未定义。

一旦返回到 setjmp 的作用域:

• 所有可访问对象、浮点状态标志及其他抽象机组件均拥有与在执行 longjmp 时相同的值，
• 但含有 setjmp 调用的函数中的非 volatile 局部变量，若已在 setjmp 调用后有所更改，则其值不确定。

参数

env

-

要保存程序执行状态的变量。

返回值

若原初代码调用该宏，则返回 ​0​，并保存执行环境到 env。

若进行了非局部跳转则可返回非零值。返回值与传递给 longjmp 者相同。

注解

上述要求禁止在数据流中使用 setjmp 的返回值（例如以之初始化或赋值对象）。只能将返回值用于控制流或舍弃。

示例

运行此代码

#include <stdio.h>
#include <setjmp.h>
#include <stdnoreturn.h>
 
jmp_buf my_jump_buffer;
 
noreturn void foo(int status) 
{
    printf("foo(%d) called\n", status);
    longjmp(my_jump_buffer, status + 1); // 将从 setjmp 返回 status+1
}
 
int main(void)
{
    volatile int count = 0; // setjmp 作用域内要修改的局部变量必须为 volatile
    if (setjmp(my_jump_buffer) != 5) // 在一个 if 内与常数比较
        foo(++count);
}

输出：

foo(1) called
foo(2) called
foo(3) called
foo(4) called

引用

• C17 标准（ISO/IEC 9899:2018）：

• 7.13.1.1 The setjmp macro （第 191 页）

• C11 标准（ISO/IEC 9899:2011）：

• 7.13.1.1 The setjmp macro （第 262-263 页）

• C99 标准（ISO/IEC 9899:1999）：

• 7.13.1.1 The setjmp macro （第 243-244 页）

• C89/C90 标准（ISO/IEC 9899:1990）：

• 4.6.1 The setjmp macro

参阅

longjmp

跳转到指定位置 (函数)