本系列约定:
(1) 下面的测试题中,认为所有必须的头文件都已经正确的包含了
(2)数据类型
Char 一个字节 1 byte
Int 两个字节 2 byte (16位系统,认为整型是2个字节)
long int 四个字节 4 byte
float 四个字节4 byet
double 八个字节 8 byte
long double 十个字节 10byte
pointer 两个字节 2byte(注意,16位系统,地址总线只有16位)
第1题: 考查对volatile关键字的认识
#include<setjmp.h>
static jmp_buf buf;
main()
{
volatile int b;
b =3;
if(setjmp(buf)!=0)
{
printf("%d ", b);
exit(0);
}
b=5;
longjmp(buf , 1);
}
请问,这段程序的输出是
(a) 3 (b) 5 (c) 0 (d)以上均不是
-------------------------------------------------------------------------------------------------------
解答:
setjmp
与abort()和exit()相比,goto语句看起来是处理异常的更可行方案。不幸的是,goto是本地的:它只能跳到所在函数内部的标号上,而不能将控制权转移到所在程序的任意地点(当然,除非你的所有代码都在main体中)。
为了解决这个限制,C函数库提供了setjmp()和longjmp()函数,它们分别承担非局部标号和goto作用。头文件<setjmp.h>申明了这些函数及同时所需的jmp_buf数据类型。
原理非常简单:
1. setjmp(j)设置“jump”点,用正确的程序上下文填充jmp_buf对象j。这个上下文包括程序存放位置、栈和框架指针,其它重要的寄存器和内存数据。当初始化完jump的上下文,setjmp()返回0值。(初始化上下文时候,setjmp()返回0值)
2. 以后调用longjmp(j,r)的效果就是一个非局部的goto或“长跳转”到由j描述的上下文处(也就是到那原来设置j的setjmp()处)。当作为长跳转的目标而被调用时,setjmp()返回r或1(如果r设为0的话)。(记住异常情况,setjmp()不能在这种情况时返回0。)
通过有两类返回值,setjmp()让你知道它正在被怎么使用。当设置j时,setjmp()如你期望地执行;但当作为长跳转的目标时,setjmp()就从外面“唤醒”它的上下文。你可以用longjmp()来终止异常,用setjmp()标记相应的异常处理程序。
setjmp, 设置跳跃点
longjmp,跳到设置的地方,
和goto差别其实很大,goto是本地跳转,对应了jmp指令族,但是setjmp和longjmp需要保存环境值,很多情况下都要把堆栈推倒……
jmp_buf jmp1; (一个环境变量只能设置一组标签+跳转,如果有设置同一个变量多次,以最后一次为准)
jmp_buf jmp2;
.........
if(setjmp(jmp1) == 1) ......... //处理异常(1)
{
......
if(.........) longjmp(jmp2, 2); //发生异常,跳转(2)
}
if(setjmp(jmp2) == 2) //处理异常(2)
{
......
}
............
if(..........) longjmp(jmp1, 1); //发生异常,跳转 (1)
setjmp/longjmp跟goto根本就是两个东西,goto的意义,是往哪里去,setjmp/longjmp则是回到哪里去,并且setjmp会保留现场,由longjmp返回时会恢复现场。
#include<setjmp.h>
#include<stdlib.h>
#include<stdio.h>
static jmp_buf buf1;
static jmp_buf buf2;
main()
{
volatile int b;
b =3;
if(setjmp(buf2) == 2)
{
printf("2--->%d \n", b);
exit(0);
}
if(setjmp(buf1) == 1)
{
printf("1--->%d \n", b);
b=11;
longjmp(buf2, 2);
}
b=5;
longjmp(buf1, 1);
}
执行结果:
1--->5
2--->11
---------------------------------------------------------------------------------------------------------