揭开setjmp/longjmp的迷雾

setjmp与logjmp包含在头文件/usr/include/setjmp.h中,使用前应在程序头部加入#include <setjmp.h>。

 

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 <stdio.h>

#include <setjmp.h>

 

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 <stdio.h>

#include <setjmp.h>

 

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;

}

 

以上为本人学习setjmp的longjmp后所做的总结,做为新手,文中例子并不能最好的表现使用setjmp和longjmp后的优势,但也能说明这两个函数如何使用.文中如有不当之处,也欢迎批评指正.

 

转自：http://hi.baidu.com/_%C5%CE%C8%FD%C4%EA_/blog/item/c4d95d12b331f25cf819b882.html

 

setjmp 的正确使用

 

setjmp 是 C 语言解决 exception 的标准方案。我个人认为，setjmp/longjmp 这组 api 的名字没有取好，导致了许多误解。名字体现的是其行为：跳转，却没能反映其功能：exception 的抛出和捕获。

 

longjmp 从名字上看，叫做长距离跳转。实际上它能做的事情比名字上看起来的要少得多。跳转并非从静止状态的代码段的某个点跳转到另一个位置（类似在汇编层次的 jmp 指令做的那样），而是在运行态中向前跳转。C 语言的运行控制模型，是一个基于栈结构的指令执行序列。表示出来就是 call / return ：调用一个函数，然后用 return 指令从一个函数返回。setjmp/longjmp 实际上是完成的另一种调用返回的模型。setjmp 相当于 call ，longjmp 则是 return 。

 

重要的区别在于：setjmp 不具备函数调用那样灵活的入口点定义；而 return 不具备 longjmp 那样可以灵活的选择返回点。其次，第一、setjmp 并不负责维护调用栈的数据结构，即，你不必保证运行过程中 setjmp 和 longjmp 层次上配对。如果需要这种层次，则需要程序员自己维护一个调用栈。这个调用栈往往是一个 jmp_buf 的序列；第二、它也不提供调用参数传递的功能，如果你需要，也得自己来实现。

 

以库形式提供的 setjmp/longjmp 和以语言关键字 return 提供的两套平行的运行流控制放在一起，大大拓展了 C 语言的能力。把 setjmp/longjmp 嵌在单个函数中使用，可以模拟 pascal 中嵌套函数定义：即在函数中定义一个局部函数。ps. GNUC 扩展了 C 语言，也在语法上支持这种定义方法。这种用法可以让几个局部函数有访问和共享 upvalue 的能力。把 setjmp/longjmp 放在大框架上，则多用来模拟 exception 机制。

 

setjmp 也可以用来模拟 coroutine 。但是会遇到一个难以逾越的难点：正确的 coroutine 实现需要为每个 coroutine 配备一个独立的数据栈，这是 setjmp 无法做到的。虽然有一些 C 的 coroutine 库用 setjmp/longjmp 实现。但使用起来都会有一定隐患。多半是在单一栈上预留一块空间，然后给另一个 coroutine 运行时覆盖使用。当数据栈溢出时，程序会发生许多怪异的现象，很难排除这种溢出 bug 。要正确的实现 coroutine ，还需要 setcontext 库 ，这已经不是 C 语言的标准库了。

 

在使用 setjmp 时，最常见的一个错误用法就是对 setjmp 做封装，用一个函数去调用它。比如：

 

int try(breakpoint bp)

{

    return setjmp(bp->jb);

}

 

void throw(breakpoint bp)

{

    longjmp(bp->jb,1);

}

setjmp 不应该封装在一个函数中。这样写并不会引起编译错误。但十有八九会引起运行期错误。错误的起源在于 longjmp 的跳转返回点，必须在运行流经过并有效的位置。而如果对 setjmp 做过一层函数调用的封装后。上例中的 setjmp 设置的返回点经过 try 的调用返回后，已经无效。如果要必要封装的话，应该使用宏。

 

setjmp/longjmp 对于大多数 C 程序员来说比较陌生。正是在于它的定义含糊不清，不太容易弄清楚。使用上容易出问题，运用场合也就变的很狭窄，多用于规模较大的库或框架中。和 C++ 语言提供的 execption 机制一样，很少有构架师愿意把它暴露到外面，那需要对二次开发的程序员有足够清晰的头脑，并充分理解其概念才不会用错。这往往是不可能的。

 

另外，setjmp/longjmp 的理念和 C++ 本身的 RAII 相冲突。虽然许多编译器为防止 C++ 程序员错误使用 setjmp 都对其做了一定的改进。让它可以正确工作。但大多数情况下，还是在文档中直接声明不推荐在 C++ 程序中使用这个东西。

 

btw，关于 RAII ，的确是个好东西。但和诸多设计模式一样，不是真理。如果你是一个从 C++ 进化来的 C 程序员，则更应该警惕思维的禁锢，RAII 是一种避免资源泄露的好方案，但不是唯一方案。

 

转自：http://linode.codingnow.com/cgi-bin/mt/mt-tb.cgi/563

 

 

你如何区别从setjmp函数的两种不同返回方式呢？

 

当setjmp函数第1次被调用时，它返回0。当setjmp作为longjmp的执行结果再次返回时，它的返回值是longjmp的第2个参数，它必须是个非0值。通过检查它的返回值，程序可以判断是否调用了longjmp。如果存在多个longjmp，也可以由此判断哪个longjmp被调用。

 

 

何时使用非本地跳转？

 

如果存在一长串的函数调用链，即使只有最深层的那个函数发现了错误，调用链中的所有函数都必须返回并检查错误代码。在这种情况下使用setjmp和longjmp去除了中间函数的错误代码逻辑，从而对他们进行了简化。