通过尝试块进行 longjmp 是否安全

Is it safe to longjmp through a try block?

本文关键字：longjmp 是否 安全      更新时间：2023-10-16

我有以下lua_CFunction，用C++写的：

int my_function(lua_State* L) {
    int x = 0;
    try {
        x = do_cpp_stuff_that_invokes_lua_API_as_well();
    } catch(const std::exception& ex) {
        lua_pushstring(ex.what().c_str());
        lua_error(L);
    }
    return x;
}

我的问题是：是否可以执行 lua_error(L( 或调用任何可能 longjmp 的 lua 函数：

  • 在尝试块中？
  • 在捕获块中？

我只是通过不分配任何依赖于析构函数(字符串等(的东西来处理在堆栈上分配的变量。如果我需要这样做，那么该范围内的所有lua函数都包装在一个pcall中，如果该pcall失败，则会向我发布的此函数抛出异常。简单地说，我关心的是尝试捕获块。

非常感谢

相关规则是 (§18.10 [support.runtime]/p4(：

功能签名longjmp(jmp_buf jbuf, int val)具有更多功能 本国际标准中的行为受到限制。一个setjmp/longjmp 如果替换setjmp和 longjmp catch和throw会调用任何非平凡的 任何自动对象的析构函数。

C++标准不以其他方式限制setjmp和longjmp的使用。

如果你从 catch 块进行长跳，你至少会泄漏用于存储异常对象的内存。编译器生成代码，释放导致 catch 块范围的控制流路径上的此内存。如果你跳远，这些路径都不会被采取。

Sun Studio 的文档明确禁止混合异常和 longjmp：

特别是，您不得 longjmp 进入或退出 try-block 或 catch-block(直接或间接(，或者 longjmp 超过自动变量或临时变量的初始化或非平凡销毁。

相关文章：