非局部跳转<setjmp.h>

头文件<setjmp.h>中的说明提供了一种避免通常的函数调用和返回顺序的途径，特别的，它允许立即从一个多层嵌套的函数调用中返回。

setjmp

#include <setjmp.h>
int setjmp(jmp_buf env);

setjmp()宏把当前状态信息保存到env中，供以后longjmp()恢复状态信息时使用。如果是直接调用setjmp()，那么返回值为0；如果是由于调用longjmp()而调用setjmp()，那么返回值非0。setjmp()只能在某些特定情况下调用，如在if语句、 switch语句及循环语句的条件测试部分以及一些简单的关系表达式中。

 longjmp

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

longjmp()用于恢复由最近一次调用setjmp()时保存到env的状态信息。当它执行完时，程序就象setjmp()刚刚执行完并返回非0值val那样继续执行。包含setjmp()宏调用的函数一定不能已经终止。所有可访问的对象的值都与调用longjmp()时相同，唯一的例外是，那些调用setjmp()宏的函数中的非volatile自动变量如果在调用setjmp()后有了改变，那么就变成未定义的。



#include <stdio.h>
#include <setjmp.h>

jmp_buf jump_buffer;

void func(void)
{
         printf("Before calling longjmp\n");
         longjmp(jump_buffer, 1);
         printf("After calling longjmp\n");
}
void func1(void)
{
         printf("Before calling func\n");
         func();
         printf("After calling func\n");
}
int main()
{
         if (setjmp(jump_buffer) == 0){
                   printf("first calling set_jmp\n");
                   func1();
         }else {
                   printf("second calling set_jmp\n");
         }
         return 0;
}


运行结果：

first calling set_jmp
Before calling func
Before calling longjmp
second calling set_jmp



分析：

通过上面这个简单例子的运行结果可以看出。main函数运行的setjmp()宏调用，将当前程序点的系统状态信息保存到全局变量jump_buffer中，然后返回结果0。于是，代码打印出字符串"first calling set_jmp"，然后调用函数func1()。在函数func1中，先打印字符串"Before calling func"，然后去调用函数func()。现在程序控制流转到func函数中，函数func先打印字符串“Before calling longjmp"，然后调用函数longjmp。这时候关键点到了！！！longjmp函数将main函数中setjmp()宏调用设置在全局变量jump_buffer中的系统状态信息恢复到系统的相应寄存器中，导致程序的控制流跳转到了main函数中setjmp()宏调用所在的程序点，此时相当于第二次进行setjmp()宏调用，并且此时的setjmp()宏调用的返回不再是0，而是传递给函数调用longjmp()的第二个参数1。于是程序控制流转到main函数中if语句的else部分执行，打印字符串“second calling set_jmp“。最后，执行main函数中的语句“reture 0;”返回，程序运行结束退出。