如何从 main 函数使用 longjmp 到其他函数？

Question

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

jmp_buf jmp;

int test() {
    setjmp(jmp);
    puts("Birds are crying");
    return 0;
}


int main() {
    longjmp(jmp,1);
    return 0;
}

上面的代码不起作用并崩溃，为什么？

我在 Windows 10 Pro 上使用 GCC 编译器。

Answer 1

您对longjmp()的使用无效，请查看the documentation：

longjmp()恢复上次调用setjmp()保存的环境

您需要先调用setjmp()，以便在调用longjump() 之前“设置”跳转的位置。这就是你的代码不起作用的原因。充其量是未定义的行为。

换句话说，您不能只使用longjmp() 作为简单的“跳转到全局标签”。它有不同的目的。

---

在longjmp 行之前调用test(); 后，它可以工作并打印两次，但为什么它仍然崩溃？

我们再来看看the documentation：

setjmp() 将堆栈上下文/环境保存在 env 中，供longjmp() 以后使用。如果调用setjmp()的函数返回，堆栈上下文将失效。

您不能将longjmp() 指向先前由现在已返回的函数设置的缓冲区。这是无效的。您对setjmp()/longjmp() 的使用确实不是这些函数的用途。

---

跳出到另一个函数并不是setjmp()/longjmp() 的真正目的，它们的目的是保存上下文并“跳回”到一个仍未返回的函数（见下面的例子）。想出一个有意义的此类函数的用法示例并不简单，因为它们是为高级用法而设计的。

这是一个正确的用法示例（虽然仍然没有那么有意义）from Wikipedia：

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

static jmp_buf buf;

void second() {
    printf("second\n");         // prints
    longjmp(buf,1);             // jumps back to where setjmp was called - making setjmp now return 1
}

void first() {
    second();
    printf("first\n");          // does not print
}

int main() {   
    if (!setjmp(buf))
        first();                // when executed, setjmp returned 0
    else                        // when longjmp jumps back, setjmp returns 1
        printf("main\n");       // prints

    return 0;
}