c语言中longjmp的个人心得

#include <setjmp.h>

void longjmp(jmp_buf env, int val);

功能:执行非局部的转移。

原理非常简单：
1.setjmp(j)设置“jump”点，用正确的程序上下文填充jmp_buf对象j。这个上下文包括程序存放位置、栈和框架指针，其它重要的寄存器和内存数据。当初始化完jump的上下文，setjmp()返回0值。

2. 以后调用longjmp(j,r)的效果就是一个非局部的goto或“长跳转”到由j描述的上下文处（也就是到那原来设置j的setjmp()处）。当作为长跳转的目标而被调用时，setjmp()返回r或1（如果r设为0的话）。（记住，setjmp()不能在这种情况时返回0。）

注：现在对longjmp运用的不甚多，所以理解并不深刻，想必以后会有一些补充吧。

先贴出一段代码

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

void subroutine(jmp_buf jumper)
{
    printf("subroutine called.\n");
    longjmp(jumper, 1);
}

int main()
{
    int value = 0;
    /*volatile*/ int temp = 0; //测试变量
    jmp_buf jumper;
    value = setjmp(jumper);
    temp++;
    printf("temp=%d\n", temp);
    if(value != 0)
    {
        printf("Longjmp with value %d\n", value);
        exit(value);
    }
    printf("About to call subroutine...\n");
    subroutine(jumper);
    return 0;
}

使用codeblocks测试结果：

Debug:

temp=1
About to call subroutine...
subroutine called.
temp=2
Longjmp with value 1

Release:（对temp增加volatile限制，则会出现temp=2）

temp=1
About to call subroutine...
subroutine called.
temp=1
Longjmp with value 1

对于这个差异有一个解释：
大多数实现并不滚回这些自动变量和寄存器变量的值，而所有标准则说它们的值是不确定的。如果你有一个自动变量， 而又不想使其值滚回，则可定义其为具有volatile属性。说明为全局和静态变量的值在执行longjmp时保持不变。通过这一例子要理解的是，如果要 编写一个使用非局部跳转的可移植程序，则必须使用volatile属性。