c语言标准库详解（十二）：非局部跳转<setjmp.h>

概述

头文件<setjmp.h>中的声明提供了一种不同于通常的函数调用和返回顺序的方式，特别是，它允许立即从一个深层嵌套的函数调用中返回。
<setjmp.h>定义了一宏setjmp()、一函数longjmp()、一变量jmp_buf

setjmp()宏

int setjmp(jum_buf env)

setjmp宏将状态信息保存到env中，供longjmp使用。如果直接调用setjmp，则返回值为0；如果是在 longjmp 中调用 setjmp，则返回值为非 0。setjmp 只能用于某些上下文中，如用于 if 语句、switch 语句、循环语句的条件测试中以及一些简单的关系表达式中。例如：

if (setjmp(env) == 0)/* get here on direct call */
else/* get here by calling longjmp */

longjmp()函数

void longjmp(jmp_buf env, int val)

longjmp 通过最近一次调用 setjmp 时保存到 env 中的信息恢复状态，同时，程序重新恢复执行，其状态等同于 setjmp 宏调用刚刚执行完并返回非 0 值 val。包含 setjmp 宏调用的函数的执行必须还没有终止。除下列情况外，可访问对象的值同调用 longjmp 时的值相同：在调用 setjmp 宏后，如果调用 setjmp 宏的函数中的非 volatile 自动变量改变了，则它们将变成未定义状态。

示例

setjmp()宏

代码：

#include <stdio.h>
#include <setjmp.h>
static jmp_buf buf;
void second(void) {printf("second\n");         // 打印longjmp(buf,1);             // 跳回setjmp的调用处 - 使得setjmp返回值为1
}
void first(void) {second();printf("first\n");          // 不可能执行到此行
}
int main() {   if ( ! setjmp(buf) ) {first();                // 进入此行前，setjmp返回0} else {                    // 当longjmp跳转回，setjmp返回1，因此进入此行printf("main\n");       // 打印}return 0;
}

输出：

PS G:\CSAPP>  & 'c:\Users\swy\.vscode\extensions\ms-vscode.cpptools-0.27.1\debugAdapters\bin\WindowsDebugLauncher.exe' '--stdin=Microsoft-MIEngine-In-1mtiwdp1.m0g' '--stdout=Microsoft-MIEngine-Out-ueyj5xdd.dcx' '--stderr=Microsoft-MIEngine-Error-jzi12hfa.eww' '--pid=Microsoft-MIEngine-Pid-n2w24u5e.db5' '--dbgExe=G:\x86_64-8.1.0-release-posix-sjlj-rt_v6-rev0\mingw64\bin\gdb.exe' '--interpreter=mi'
second
main
PS G:\CSAPP>

longjmp()函数

代码：

#include <stdio.h>
#include <setjmp.h>
static jmp_buf buf;
void second(void) {printf("second\n");         // 打印longjmp(buf,1);             // 跳回setjmp的调用处 - 使得setjmp返回值为1
}
void first(void) {second();printf("first\n");          // 不可能执行到此行
}
int main() {   if ( ! setjmp(buf) ) {first();                // 进入此行前，setjmp返回0} else {                    // 当longjmp跳转回，setjmp返回1，因此进入此行printf("main\n");       // 打印}return 0;
}

输出：

PS G:\CSAPP>  & 'c:\Users\swy\.vscode\extensions\ms-vscode.cpptools-0.27.1\debugAdapters\bin\WindowsDebugLauncher.exe' '--stdin=Microsoft-MIEngine-In-zxmrs0e0.khk' '--stdout=Microsoft-MIEngine-Out-2tgkgf02.swc' '--stderr=Microsoft-MIEngine-Error-rwlffa0w.qgh' '--pid=Microsoft-MIEngine-Pid-tlulidov.ygu' '--dbgExe=G:\x86_64-8.1.0-release-posix-sjlj-rt_v6-rev0\mingw64\bin\gdb.exe' '--interpreter=mi'
second
main
PS G:\CSAPP>

c语言标准库详解（十二）：非局部跳转setjmp.h相关推荐

c语言标准库详解（七）：字符串函数string.h
c语言标准库详解(七):字符串函数<string.h> 头文件<string.h>中定义了两组字符串函数.第一组函数的名字以 str 开头:第二组函数的名字以 mem 开头.除 ...
c语言标准库详解（十五）：limits.h与float.h
c语言标准库详解(十五):<limits.h>与<float.h> 概述 <limits.h> 头文件<limits.h>定义了一些表示整型大小的常量. ...
c语言标准库详解（十四）：时间函数time.h
c语言标准库详解(十四):时间函数<time.h> 概述头文件<time.h>中声明了一些处理日期与时间的类型和函数.其中的一些函数用于处理当地时间,因为时区等原因,当地时间 ...
c语言标准库详解（八）：数学公式math.h
c语言标准库详解(八):数学公式<math.h> 概述头文件<math.h>中声明了一些数学函数和宏. 宏 EDOM 和 ERANGE(在头文件<error.h> ...
MATLAB Simulink模块库详解（二）Sinks篇
MATLAB Simulink模块库详解(二)Sinks篇 Simulink模块库概述 1.Sources模块库,为仿真提供各种信号源 2.Sinks模块库,为仿真提供输出设备元件 3.Continu ...
c语言标准库详解（十一）：可变参数表stdarg.h
c语言标准库详解(十一):可变参数表<stdarg.h> 概述头文件<stdarg.h>提供了遍历未知数目的函数参数表的功能. 假定函数 f 带有可变数目的实际参数,last ...
Linux内核Thermal框架详解十二、Thermal Governor（2）
本文部分内容参考万字长文 | Thermal框架源码剖析, Linux Thermal机制源码分析之框架概述_不捡风筝的玖伍贰柒的博客-CSDN博客, "热散由心静,凉生为室空" ...
c语言标准库详解（零）：总述
c语言标准库详解(零):总述关于标准库标准库不是C语言本身的构成部分,但是支持标准C的实现会提供函数库中的函数声明.类型以及宏定义标准库的内容标准库中的函数.类型以及宏分别在下面的标准头文件中 ...
matlab中sinks,MATLAB Simulink模块库详解（二）Sinks篇
MATLAB Simulink模块库详解(二)Sinks篇 Simulink模块库概述 1.Sources模块库,为仿真提供各种信号源 2.Sinks模块库,为仿真提供输出设备元件 3.Continu ...

c语言标准库详解（十二）：非局部跳转setjmp.h

c语言标准库详解（十二）：非局部跳转<setjmp.h>

概述

setjmp()宏

longjmp()函数

示例

setjmp()宏

longjmp()函数

c语言标准库详解（十二）：非局部跳转setjmp.h相关推荐

最新文章

热门文章