全部博文(21)
分类: C/C++
2010-09-04 20:58:48
http://andylin02.javaeye.com/blog/537359
将对setjmp与longjmp的具体使用方法和适用的场合,进行一个非常全面的阐述。
另外请特别注意,setjmp函数与longjmp函数总是组合起来使用,它们是紧密相关的一对操作,只有将它们结合起来使用,才能达到程序控制流有效转移的目的,才能按照程序员的预先设计的意图,去实现对程序中可能出现的异常进行集中处理。 void main( void ) jmpret = setjmp( mark ); // 其它代码的执行 // 其它代码的执行 // 其它代码的执行 return;
上面的例程非常地简单,其中程序中使用到了异常处理的机制,这使得程序的代码非常紧凑、清晰,易于理解。在程序运行过程中,当异常情况出现后,控制流是
进行了一个本地跳转(进入到异常处理的代码模块,是在同一个函数的内部),这种情况其实也可以用goto语句来予以很好的实现,但是,显然setjmp与
longjmp的方式,更为严谨一些,也更为友善。程序的执行流如图17-1所示。
void Func1() void Func2() void Func3() void main( void ) jmpret = setjmp( mark ); // 下面的这些函数执行过程中,有可能出现异常 Func2(); Func3(); // 其它代码的执行 return; class Test //注意,上面声明了一个全局变量obj void main( void ) // 注意,这里将会导致程序崩溃,无条件退出 jmpret = setjmp( mark ); // 下面的这些函数执行过程中,有可能出现异常 Func2(); Func3(); // 其它代码的执行 return; 上面的程序运行结果,如下:
的确,上面程序崩溃了,由于在Func1()函数内,调用了longjmp,但此时程序还没有调用setjmp来保存一个程序执行点。因此,程序的执行
流变的不可预测。这样导致的程序后果是非常严重的,例如说,上面的程序中,有一个对象被构造了,但程序崩溃退出时,它的析构函数并没有被系统来调用,得以
清除一些必要的资源。所以这样的程序是非常危险的。(另外请注意,上面的程序是一个C++程序,所以大家演示并测试这个例程时,把源文件的扩展名改为
xxx.cpp)。 2、除了要求先调用setjmp函数,之后再调用longjmp函数(也即longjmp必须有对应的setjmp函数)之外。另外,还有一个很重要的规则,那就是longjmp的调用是有一定域范围要求的。这未免太抽象了,还是先看一个示例,如下: int Sub_Func() jmpret = setjmp( mark ); //注意这一语句,程序有条件地退出 return jmpret; void main( void ) // 注意,虽然longjmp的调用是在setjmp之后,但是它超出了setjmp的作用范围。 如果你运行或调试(单步跟踪)一下上面程序,发现它真是挺神奇的,居然longjmp执行时,程序还能够返回到setjmp的执行点,程序正常退出。但是这就说明了上面的这个例程的没有问题吗?我们对这个程序小改一下,如下: int Sub_Func() jmpret = setjmp( mark ); //注意这一语句,程序有条件地退出 return jmpret; void main( void ) // 注意,虽然longjmp的调用是在setjmp之后,但是它超出了setjmp的作用范围。
运行或调试(单步跟踪)上面的程序,发现它崩溃了,为什么?这就是因为,“在调用setjmp的函数返回之前,调用longjmp,否则结果不可预料”
(这在上一篇文章中已经提到过,MSDN中做了特别的说明)。为什么这样做会导致不可预料?其实仔细想想,原因也很简单,那就是因为,当setjmp函数
调用时,它保存的程序执行点环境,只应该在当前的函数作用域以内(或以后)才会有效。如果函数返回到了上层(或更上层)的函数环境中,那么setjmp保
存的程序的环境也将会无效,因为堆栈中的数据此时将可能发生覆盖,所以当然会导致不可预料的执行后果。
3、不要假象寄存器类型的变量将总会保持不变。在调用longjmp之后,通过setjmp所返回的控制流中,例程中寄存器类型的变量将不会被恢复。
(MSDN中做了特别的说明,上一篇文章中,这也已经提到过)。寄存器类型的变量,是指为了提高程序的运行效率,变量不被保存在内存中,而是直接被保存在
寄存器中。寄存器类型的变量一般都是临时变量,在C语言中,通过register定义,或直接嵌入汇编代码的程序。这种类型的变量一般很少采用,所以在使
用setjmp和longjmp时,基本上不用考虑到这一点。
与goto语句的作用类似,它能实现本地的跳转
这种情况容易理解,不过还是列举出一个示例程序吧!如下:
{
int jmpret;
if( jmpret == 0 )
{
// 其它代码的执行
// 判断程序远行中,是否出现错误,如果有错误,则跳转!
if(1) longjmp(mark, 1);
// 判断程序远行中,是否出现错误,如果有错误,则跳转!
if(2) longjmp(mark, 2);
// 判断程序远行中,是否出现错误,如果有错误,则跳转!
if(-1) longjmp(mark, -1);
}
else
{
// 错误处理模块
switch (jmpret)
{
case 1:
printf( "Error 1\n");
break;
case 2:
printf( "Error 2\n");
break;
case 3:
printf( "Error 3\n");
break;
default :
printf( "Unknown Error");
break;
}
exit(0);
}
}
setjmp与longjmp相结合,实现程序的非本地的跳转
呵呵!这就是goto语句所不能实现的。也正因为如此,所以才说在C语言中,setjmp与longjmp相结合的方式,它提供了真正意义上的异常处
理机制。其实上一篇文章中的那个例程,已经演示了longjmp函数的非本地跳转的场景。这里为了更清晰演示本地跳转与非本地跳转,这两者之间的区别,我
们在上面刚才的那个例程基础上,进行很小的一点改动,代码如下:
{
// 其它代码的执行
// 判断程序远行中,是否出现错误,如果有错误,则跳转!
if(1) longjmp(mark, 1);
}
{
// 其它代码的执行
// 判断程序远行中,是否出现错误,如果有错误,则跳转!
if(2) longjmp(mark, 2);
}
{
// 其它代码的执行
// 判断程序远行中,是否出现错误,如果有错误,则跳转!
if(-1) longjmp(mark, -1);
}
{
int jmpret;
if( jmpret == 0 )
{
// 其它代码的执行
Func1();
}
else
{
// 错误处理模块
switch (jmpret)
{
case 1:
printf( "Error 1\n");
break;
case 2:
printf( "Error 2\n");
break;
case 3:
printf( "Error 3\n");
break;
default :
printf( "Unknown Error");
break;
}
exit(0);
}
}
回顾一下,这与C++中提供的异常处理模型是不是很相近。异常的传递是可以跨越一个或多个函数。这的确为C程序员提供了一种较完善的异常处理编程的机制或手段。
setjmp和longjmp使用时,需要特别注意的事情
1、setjmp与longjmp结合使用时,它们必须有严格的先后执行顺序,也即先调用setjmp函数,之后再调用longjmp函数,以恢复到
先前被保存的“程序执行点”。否则,如果在setjmp调用之前,执行longjmp函数,将导致程序的执行流变的不可预测,很容易导致程序崩溃而退出。
请看示例程序,代码如下:
{
public:
Test()
~Test()
}obj;
{
int jmpret;
Func1();
while(1);
if( jmpret == 0 )
{
// 其它代码的执行
Func1();
}
else
{
// 错误处理模块
switch (jmpret)
{
case 1:
printf( "Error 1\n");
break;
case 2:
printf( "Error 2\n");
break;
case 3:
printf( "Error 3\n");
break;
default :
printf( "Unknown Error");
break;
}
exit(0);
}
}
构造对象
Press any key to continue
{
int jmpret, be_modify;
be_modify = 0;
if( jmpret == 0 )
{
// 其它代码的执行
}
else
{
// 错误处理模块
switch (jmpret)
{
case 1:
printf( "Error 1\n");
break;
case 2:
printf( "Error 2\n");
break;
case 3:
printf( "Error 3\n");
break;
default :
printf( "Unknown Error");
break;
}
if (be_modify==0) exit(0);
}
}
{
Sub_Func();
longjmp(mark, 1);
}
{
// 注意,这里改动了一点
int be_modify, jmpret;
be_modify = 0;
if( jmpret == 0 )
{
// 其它代码的执行
}
else
{
// 错误处理模块
switch (jmpret)
{
case 1:
printf( "Error 1\n");
break;
case 2:
printf( "Error 2\n");
break;
case 3:
printf( "Error 3\n");
break;
default :
printf( "Unknown Error");
break;
}
if (be_modify==0) exit(0);
}
}
{
Sub_Func();
longjmp(mark, 1);
}
================================================================
setjmp和longjmp的使用
http://blog.csdn.net/legone2008/archive/2008/04/24/2323710.aspx
setjmp与logjmp包含在头文件/usr/include/setjmp.h中,使用前应在程序头部加入#include
setjmp与longjmp结合使用时,它们必须有严格的先后执行顺序,也即先调用setjmp函数,之后再调用longjmp函数,以恢复到先前被保存的“程序执行点”。否则,如果在setjmp调用之前,执行longjmp函数,将导致程序的执行流变的不可预测,很容易导致程序崩溃而退出。
setjmp与longjmp的作用同goto语句类似,它能实现本地的跳转.
一.setjmp与logjmp的使用场合:
1.人们对于goto语句的忌讳,很多的专业书籍以及专业人士号召限制goto语句的使用,此时,setjmp与longjmp对goto语句有了很好的替代作用.
2.goto语句有一个局限性,它只能在函数内部跳转.而setjmp与longjmp可以在整个程序全局中跳转,实现"长跳转",弥补了goto功能的局限.
3.使用setjmp和longjmp可以捕捉程序中的异常,并采取异常处理机制.
二.使用setjmp设置跳转点,longjmp回到原设置点
setjmp与longjmp必须结合起来使用;
函数原型:int setjmp(jmp_buf env);
setjmp(env):设置jumper点,jumper是一个jmp_buf类型变量.在setjmp.h文件中有jmp_buf的定义,可见它是一个结构体数组.
/* Calling environment, plus possngibly a saved signal mask. */
typedef struct __jmp_buf_tag /* C++ doesn't like tagless structs. */
{
/* NOTE: The machine-dependent definitions of `__sigsetjmp'
assume that a `jmp_buf' begins with a `__jmp_buf' and that
`__mask_was_saved' follows it. Do not move these members
or add others before it. */
__jmp_buf __jmpbuf; /* Calling environment. */
int __mask_was_saved; /* Saved the signal mask? */
__sigset_t __saved_mask; /* Saved signal mask. */
} jmp_buf[1];
调用该函数对env初始化,初始化后返回一个int值,第一次调用,这个int值为0;
函数原型:void longjmp(jmp_buf env, int val);
第一个参数:setjmp(env)设置的jumper点.
第二个参数:给setjmp(env)重新赋值,为val值.
例:
#include
#include
void subroutine(void);
void subroutine_2(void);
jmp_buf jumper;
main()
{
int value;
int i = 0;
value = setjmp(jumper); /* 设置jump点,初始化jumper,返回值0赋给value, */
i++;
printf("执行第[%d]次:value
= [%d]:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>\n",i,value);
if(value == 0)
{
printf("[1]About to call subroutine.....\n");
subroutine(); /* 调转到subroutine()函数 */
printf("Never go this....\n");
}
else if(value == 1)
{
printf("[2]About to call subroutine.....\n");
subroutine_2(); /* 调转到subroutine_2()函数 */
printf("Never go this....\n");
}
else
{
printf("[3]Never go this....\n");
}
return 0;
}
void subroutine(void)
{
/* 调转到jumper初始化的地方,即setjmp(jumper)处,并将1赋给set(jumper) */
longjmp(jumper,1);
return;
}
void subroutine_2(void)
{
/* 调转到jumper初始化的地方,即setjmp(jumper)处,并将3赋给set(jumper) */
longjmp(jumper,3);
return;
}
三.使用setjmp,longjmp处理异常.
#include
#include
jmp_buf jumper;
void exception();
int deal_exception();
main()
{
int value;
int i = 0;
value = setjmp(jumper); /* 设置jump点,初始化jumper,返回值0赋给value, */
if ( 0 == value ) {
exception();
}
else {
switch ( value )
{
case 1:
printf( "解决异常情况[%d]\n",value );
break;
case 2:
printf( "解决异常情况[%d]\n",value );
break;
case 3:
printf( "解决异常情况[%d]\n",value );
break;
default:
printf( "异常情况[%d]未知\n",value );
break;
}
}
}
void exception()
{
int _err_no;
if ( _err_no = 3 ) {
printf("出现异常情况[%d]\n",_err_no);
longjmp(jumper,_err_no);
}
return;
}