实现上下文保存和恢复的一种方式--setjmp与longjmp

本文介绍了C语言中setjmp和longjmp函数的工作原理和使用方法,通过一个实例展示了它们如何实现非局部跳转。setjmp保存当前堆栈环境,首次返回0,longjmp则利用保存的环境跳转回setjmp调用处,改变其返回值。在程序流程控制和错误处理中,这两个函数能提供强大的功能。
摘要由CSDN通过智能技术生成

函数原型:

 int setjmp(jmp_buf envbuf);

setjmp函数用缓冲区envbuf保存系统堆栈的内容,以便后续的longjmp函数使用。setjmp函数初次启用时返回0值。

void longjmp(jmp_buf envbuf, int val);

longjmp函数中的参数envbuf是由setjmp函数所保存的堆栈环境,参数val设置setjmp函数的返回值。longjmp函数本身是没有返回值的,它执行后跳转到保存envbuf参数的setjmp函数调用,并由setjmp函数调用返回,此时setjmp函数的返回值就是val。

上面的说明有点拗口,通俗的解释是:先调用setjmp,用变量envbuf记录当前的位置,然后调用longjmp,返回envbuf所记录的位置,并使setjmp的返回值为val。当时用longjmp时,envbuf的内容被销毁了。其实这里的“位置”一词真正的含义是栈定指针。

接着让我们看一个小例子吧:

#include <stdio.h> 
#include <setjmp.h>

jmp_buf buf;

void test() {
	printf("in test() \n");
	longjmp(buf, 1);

	printf("333333\n");

}

int main()
{
	if (setjmp(buf))
		printf("111111\n");
	else {
		printf("222222\n");
		test();
	}

	getchar();
	return 0;
}

断点调试,第一次buf为空,还没有保存上下文。
在这里插入图片描述
第二次buf已经存在值了。
在这里插入图片描述
执行结果
在这里插入图片描述

分析:程序先走到setjmp。由于setjmp第一次执行返回的结果是0,所以走的else分支,打印"22222"。接着跳转到test()函数中,继续执行printf打印"in test()“。然后走到longjmp这里,由于longjmp的功能,接下来会跳转到main的setjmp这里继续执行。此时setjmp是第二次执行了,返回值为非0,所以会进入if分支,打印出"111111”。

推荐一个零声学院免费公开课程,个人觉得老师讲得不错,分享给大家:Linux,Nginx,ZeroMQ,MySQL,Redis,fastdfs,MongoDB,ZK,流媒体,CDN,P2P,K8S,Docker,TCP/IP,协程,DPDK等技术内容,立即学习

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值