c语言中longjmp的个人心得

来源:互联网 发布:淘宝的骨米诺牌 编辑:IT博客网 时间:2019/08/18 20:41

#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=1About to call subroutine...subroutine called.temp=2Longjmp with value 1

Release:(对temp增加volatile限制,则会出现temp=2)

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

0 0