为什么这个setjmp程序要打印一个5

Why does this setjmp program print a 5?

本文关键字：一个 setjmp 程序 为什么 打印      更新时间：2023-10-16

以下代码最终打印出"5"

#include <iostream>
#include <setjmp.h>
static jmp_buf buf;
float funcB()
{
    setjmp(buf);
    return 1.6f;
}
int funcA()
{
    longjmp(buf,5);
    std::cout<<"b";
    return 2;
}
int main()
{
    funcB();
    std::cout<<funcA();
}

但这没有任何意义，因为setjmp返回5，而不是任何一个函数。。。别担心，我不会在任何地方使用这个代码，我只是好奇！

您试图做的事情在文档中被指定为未定义的行为：

longjmp()函数使用相应的jmp_buf参数恢复同一线程中最近一次调用setjmp()所保存的环境。如果没有这样的调用，或者如果包含setjmp()调用的函数在此期间终止了执行，则行为未定义。

由于在funcA中调用longjmp之前，调用setjmp（即funcB）的函数已经退出，因此该行为是未定义的（它在ideone上崩溃）。

不能使用longjmp返回到已退出的函数。换句话说，longjmp不会为您恢复堆栈。请参见此处。

你需要的是一个类似语言的方案，在那里做这种事情是完全正常的。

无论您使用什么编译器，都会严格解释setjmp和longjmp的作用：

此宏可能返回不止一次：第一次，在其直接调用；在这种情况下，它总是返回零。当longjmp为在信息设置为env的情况下调用，宏将再次返回；这如果出现以下情况，则返回传递给longjmp的值作为第二个参数与零不同，或者如果为零则为1。

从这里

因为它是UB，它可以做到这一点，点一个披萨，结束世界。。。任何东西都是有效的。

相关文章：