时间戳

首页 > 解决方案 > 为什么 setjmp/longjmp

c - 为什么 setjmp/longjmp

问题描述

我想使用 setjmp/longjmp 来重用 main 函数中的一些代码（注意：这只是一个练习，并不是我在现实世界中认真计划做的事情）。以下代码是我想出的：

#include <stdio.h>
#include <setjmp.h>
jmp_buf jmp_body, jmp_ret;
    
void func(void)
{
    if (setjmp(jmp_ret) == 0)
        longjmp(jmp_body, 1);
}

int main()
{
    int x = 0;
    if (setjmp(jmp_body) == 1) {
        printf("Body %d\n", ++x);
        longjmp(jmp_ret, 1);
    }
    func();
    func();
    func();
    return 0;
}

我期望此代码的工作方式如下：

  1. 该main()函数将记住“body”部分的位置并使用if (setjmp(jmp_body) == 1).
  2. 在记住身体应该使用返回的位置后，func()调用将暂时跳转到使用身体longjmp(jmp_body)if (setjmp(jmp_ret) == 0)
  3. 主体将执行并func()使用longjmp(jmp_ret, 1)
  4. func()只是要按预期main()返回。

因此，我期望打印的代码如下：

Body 1
Body 2
Body 3

相反，它永远循环不断地执行主体，这向我表明func()调用没有返回它应该返回的位置，而是可能会返回到自身之上，一遍又一遍地执行自身。

相比之下，以下代码正是我所期望的：

#include <stdio.h>
#include <setjmp.h>
jmp_buf jmp_body, jmp_ret;

int main()
{
    int x = 0;
    if (setjmp(jmp_body) == 1) {
        printf("Body %d\n", ++x);
        longjmp(jmp_ret, 1);
    }
    if (setjmp(jmp_ret) == 0)
        longjmp(jmp_body, 1);
    if (setjmp(jmp_ret) == 0)
        longjmp(jmp_body, 1);
    if (setjmp(jmp_ret) == 0)
        longjmp(jmp_body, 1);
    return 0;
}

放入if (setjmp(jmp_ret) == 0) longjmp(jmp_body, 1)一个使原始方法无效的函数调用是什么？

标签： csetjmp

解决方案

TL/DR - 你不能跳回你跳出的函数。

7.13.2.1longjmp函数
...
2 该函数在程序的同一次调用中 longjmp恢复最近一次调用宏所保存的环境，并带有相应的参数。如果没有这样的调用，或者如果调用来自另一个执行线程，或者如果包含宏调用的函数在中间 终止了执行248)，或者如果 宏的调用在具有可变修改类型和执行的标识符在此期间离开了该范围，行为未定义。 setjmpjmp_bufsetjmpsetjmp
248) 例如，通过执行 return 语句或因为另一个longjmp调用导致转移到setjmp嵌套调用集中较早的函数中的调用。
C 2011 在线草案

当您执行longjmp(jump_body, 1);in 时func，您将无效 jump_ret。

longjmp不是双向的 - 它展开堆栈，就好像在setjmp和之间的任何函数调用longjmp 从未发生过一样。

推荐阅读