[7 进程环境]使用setjmp,longjmp函数实现“非局部goto“

2024-08-21 16:32

本文主要是介绍[7 进程环境]使用setjmp,longjmp函数实现“非局部goto“,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

C语言中,goto语句是不能跨越函数的,如果需要跨越函数跳转,需要使用setjmp和longjmp函数。
"非局部goto"是指不是在一个函数内实现跳转,而是在栈上跳过若干调用帧,返回到当前函数调用路径上的某个函数。
函数原型如下:

#include <setjmp.h>
int setjmp(jmp_buf env);
void longjmp(jmp_buf env, int val);

在希望返回的位置调用setjmp,setjmp的参数是jmp_buf,其中存放在调用longjmp时能用来恢复状态的所有信息。
longjmp的第一个参数就是调用setjmp时的env;第二个参数表示将从setjmp处返回的值,使用第二个参数的原因是对于一个setjmp可以有多分longjmp。
下面程序说明了在调用longjmp后,局部变量、全局变量、寄存器变量、静态变量和volatile变量的不同情况:

#include <setjmp.h>
#include <stdio.h>
#include <stdlib.h>static void    f1(int, int, int, int);
static void    f2(void);static jmp_buf    jmpbuffer;
static int        globval;int main(void)
{int                autoval;register int    regival;volatile int    volaval;static int        statval;globval = 1; autoval = 2; regival = 3; volaval = 4; statval = 5;if (setjmp(jmpbuffer) != 0) {printf("after longjmp:\n");printf("globval = %d, autoval = %d, regival = %d,"" volaval = %d, statval = %d\n",globval, autoval, regival, volaval, statval);exit(0);}/** Change variables after setjmp, but before longjmp.*/globval = 95; autoval = 96; regival = 97; volaval = 98;statval = 99;f1(autoval, regival, volaval, statval);    /* never returns */exit(0);
}static void f1(int i, int j, int k, int l)
{printf("in f1():\n");printf("globval = %d, autoval = %d, regival = %d,"" volaval = %d, statval = %d\n", globval, i, j, k, l);f2();
}static void f2(void)
{longjmp(jmpbuffer, 1);
}

不进行优化的编译结果:

gcc testjmp.c
in f1():
globval = 95, autoval = 96, regival = 97, volaval = 98, statval = 99
after longjmp:
globval = 95, autoval = 96, regival = 97, volaval = 98, statval = 99

进行优化的编译结果:

gcc -O testjmp.c
in f1():
globval = 95, autoval = 96, regival = 97, volaval = 98, statval = 99
after longjmp:
globval = 95, autoval = 2, regival = 3, volaval = 98, statval = 99

可以看到,如果要编写一个使用非局部goto的可移植程序,需要使用volatile属性。

这篇关于[7 进程环境]使用setjmp,longjmp函数实现“非局部goto“的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1093689

相关文章

Spring Security+JWT如何实现前后端分离权限控制

《SpringSecurity+JWT如何实现前后端分离权限控制》本篇将手把手教你用SpringSecurity+JWT搭建一套完整的登录认证与权限控制体系,具有很好的参考价值,希望对大家... 目录Spring Security+JWT实现前后端分离权限控制实战一、为什么要用 JWT?二、JWT 基本结构

Java实现优雅日期处理的方案详解

《Java实现优雅日期处理的方案详解》在我们的日常工作中,需要经常处理各种格式,各种类似的的日期或者时间,下面我们就来看看如何使用java处理这样的日期问题吧,感兴趣的小伙伴可以跟随小编一起学习一下... 目录前言一、日期的坑1.1 日期格式化陷阱1.2 时区转换二、优雅方案的进阶之路2.1 线程安全重构2

Android实现两台手机屏幕共享和远程控制功能

《Android实现两台手机屏幕共享和远程控制功能》在远程协助、在线教学、技术支持等多种场景下,实时获得另一部移动设备的屏幕画面,并对其进行操作,具有极高的应用价值,本项目旨在实现两台Android手... 目录一、项目概述二、相关知识2.1 MediaProjection API2.2 Socket 网络

使用Python实现图像LBP特征提取的操作方法

《使用Python实现图像LBP特征提取的操作方法》LBP特征叫做局部二值模式,常用于纹理特征提取,并在纹理分类中具有较强的区分能力,本文给大家介绍了如何使用Python实现图像LBP特征提取的操作方... 目录一、LBP特征介绍二、LBP特征描述三、一些改进版本的LBP1.圆形LBP算子2.旋转不变的LB

Maven的使用和配置国内源的保姆级教程

《Maven的使用和配置国内源的保姆级教程》Maven是⼀个项目管理工具,基于POM(ProjectObjectModel,项目对象模型)的概念,Maven可以通过一小段描述信息来管理项目的构建,报告... 目录1. 什么是Maven?2.创建⼀个Maven项目3.Maven 核心功能4.使用Maven H

Redis消息队列实现异步秒杀功能

《Redis消息队列实现异步秒杀功能》在高并发场景下,为了提高秒杀业务的性能,可将部分工作交给Redis处理,并通过异步方式执行,Redis提供了多种数据结构来实现消息队列,总结三种,本文详细介绍Re... 目录1 Redis消息队列1.1 List 结构1.2 Pub/Sub 模式1.3 Stream 结

C# Where 泛型约束的实现

《C#Where泛型约束的实现》本文主要介绍了C#Where泛型约束的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录使用的对象约束分类where T : structwhere T : classwhere T : ne

Python中__init__方法使用的深度解析

《Python中__init__方法使用的深度解析》在Python的面向对象编程(OOP)体系中,__init__方法如同建造房屋时的奠基仪式——它定义了对象诞生时的初始状态,下面我们就来深入了解下_... 目录一、__init__的基因图谱二、初始化过程的魔法时刻继承链中的初始化顺序self参数的奥秘默认

将Java程序打包成EXE文件的实现方式

《将Java程序打包成EXE文件的实现方式》:本文主要介绍将Java程序打包成EXE文件的实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录如何将Java程序编程打包成EXE文件1.准备Java程序2.生成JAR包3.选择并安装打包工具4.配置Launch4

SpringBoot使用GZIP压缩反回数据问题

《SpringBoot使用GZIP压缩反回数据问题》:本文主要介绍SpringBoot使用GZIP压缩反回数据问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录SpringBoot使用GZIP压缩反回数据1、初识gzip2、gzip是什么,可以干什么?3、Spr