c语言 异常捕捉 setjmp & longjmp

此文是学习 C专家编程 中的笔记。

setjmp和longjmp是C语言所独有的，它们部分弥补了C语言有限的转移能力。

函数说明（来自wiki百科）：

int setjmp(jmp_buf env)建立本地的jmp_buf缓冲区并且初始化，用于将来跳转回此处。这个子程序保存程序的调用环境于env参数所指的缓冲区，env将被longjmp使用。如果是从setjmp直接调用返回，setjmp返回值为0。如果是从longjmp恢复的程序调用环境返回，setjmp返回非零值。void longjmp(jmp_buf env, int value)恢复env所指的缓冲区中的程序调用环境上下文，env所指缓冲区的内容是由setjmp子程序调用所保存。value的值从longjmp传递给setjmp。longjmp完成后，程序从对应的setjmp调用处继续执行，如同setjmp调用刚刚完成。如果value传递给longjmp零值，setjmp的返回值为1；否则，setjmp的返回值为value。

当使用longjmp的时候，j的内容被销毁。

这种方法看起来与goto相似，但是是有区别的，区别如下：

（1）goto语句不能跳出C语言当前的函数。

（2）用longjmp只能跳回曾经到过的地方。在执行setjmp的地方仍留有一个过程活动记录。从这个角度上讲，longjmp更象是“从何处来”，而不是“要往哪去”。另外，longjmp接受一个额外的整形参数并返回它的值，这可以知道是由longjmp转移到这里的还是从上一条语句执行后自然执行到这里的。

示例代码：

[cpp] view plaincopyprint?

1. #include <stdio.h>
2. #include <setjmp.h>
4. jmp_buf buf;
6. void test_longjmp(void)
7. {
8. printf("test_longjmp() \n");
9. longjmp(buf, 1);
10. printf("end test_longjmp()\n");
11. }
13. void main(void)
14. {
15. if(setjmp(buf))
16. printf("back test_longjmp");
17. else
18. {
19. printf("first time to setjmp \n");
20. test_longjmp();
21. }
22. }

#include <stdio.h>#include <setjmp.h>jmp_buf buf;void test_longjmp(void){  printf("test_longjmp() \n");  longjmp(buf, 1);  printf("end test_longjmp()\n");}void main(void){   if(setjmp(buf))     printf("back test_longjmp");   else     {       printf("first time to setjmp \n");       test_longjmp();     }}

因为，在test_longjmp中执行了longjmp方法，所以该示例中不会执行到“end test_longjmp()”处。

setjmp/longjmp的最大的用途是错误处理，只要还没有从函数中返回，一旦发现一个不可恢复的错误，可以把控制转移到主输入循环，并从那里重新开始执行。

C++中的异常处理机制"catch"和"throw"与其类似。