Menu
Article C

setjmp 与 longjmp

NodeKey

NodeKey

• 2 min read

最近看到C看到一个很让人费解的函数组合 setjmp 和 longjmp 使用方法还是比较简单的
setjmp设置跳跃点 longjmp表示跳跃

具体的操作如下
首先定义一个 唯一的标志性 flag jmp_buf变量
再加上 函数申明 int setjmp(jmp_buf env); void longjmp(jmp_buf env, int value);
当设置 jmp 即第一次执行 setjmp时 函数的返回值都为 0
通过longjmp 跳跃至相同jmp_buf 的setjmp函数里并执行 set_jmp的返回值将变成 long_jmp设置的 value
理解起来后发现实际上是跟 goto 差不多的 但long_jmp 跳得更远一些 goto只限于同一函数内 long_jmp无限制 包括文件

附个代码理解一下

<code class="language-c">#include <stdio.h>
#include <setjmp.h>
jmp_buf buf;
void haha()
{
    printf("in haha()\n");
    longjmp(buf,1);
    printf("kaonima\n");
}
int tim=0;

int main()
{
    if(setjmp(buf))
    {
        printf("back in main\n");
        tim++;
    }
    else
    {
        printf("first time through\n");
        haha();
    }
    if(tim<3) longjmp(buf,1);
    return 0;
}

结果是

first time through
in haha()
back in main
back in main
back in main

另外 这两个函数一般来说 可用于C中的异常处理

顺便贴个wiki的 告诫 （太专业 也不是很明白……）

longjmp实现了非本地跳转，微软的IA32程序设计环境中正常的”栈卷回”(“stack unwinding”)因而没有发生，所以诸如栈中已定义的局部变量的析构函数的调用（用于销毁该局部变量）都没有执行。所有依赖于栈卷回调用析构函数所做的扫尾工作，如关闭文件、释放堆内存块等都没有做。但在微软的X64程序设计环境，longjmp启动了正常的”栈卷回”。
如果setjmp所在的函数已经调用返回了，那么longjmp使用该处setjmp所填写的对应jmp_buf缓冲区将不再有效。这是因为longjmp所要返回的”栈帧”(stack frame)已经不再存在了，程序返回到一个不再存在的执行点，很可能覆盖或者弄坏程序栈

值得深究一下的是 jmp_buf 变量在这里立个flag 吧 以后会来补充

Share