当从Lua调用函数时如何处理C++异常？

我不会使用lua_error来表示在lua功能范围之外发生的错误。如果您正在添加可以在lua范围内调用的附加lua函数，那么当执行该函数时发生错误时，可以使用lua_error。

此外，这是在使用Lua时进行C ++堆栈展开的副本

编辑

如果您担心字符串析构函数被调用，那么为什么不这样做：

try
{
    string str("Hello");
    lua_pushlstring(L, str.data(), str.length());
}
catch (exception& e)
{
     luaL_error(L, e.what());
}

我意识到这与您建议的有微妙的差别，但是有所不同。如果抛出异常，则在try {}中的堆栈上的任何内容都将析构。只需确保您想要析构的任何内容都在该try之内。

如果你将 Lua 编译为 C++，则它们将使用 C++ 异常作为错误，而如果你将其编译为 C，它们将使用 longjmp/setjmp。这基本上意味着抛出这样的异常没有什么大不了的。

Lua 不会捕获 C++ 异常。如果您没有捕获它，它就会沿着调用堆栈传递，直到被其他代码块捕获或导致程序崩溃（未处理的异常）。如果您向 Lua 暴露的函数调用可以抛出异常的函数，您应该在该函数中处理它们。

我找到了一个合理的解决方案。问题是它是否正确。不是导出（或通过lua_cpcall调用）原始函数 int PushHello(lua_State *L)，而是导出/调用包装器 int SafeFunction<PushHello>(lua_State *L)。包装器看起来像这样：

template<lua_CFunction func>
int SafeFunction(lua_State *L){
    int result = 0;
    try{
        result = func(L);
    }
    // 将带描述的异常转换为lua_error
    catch(exception &e){
        luaL_error(L, e.what());
    }
    // 重新抛出lua错误 - C++ Lua抛出lua_longjmp*
    catch(lua_longjmp*){
        throw;
    }
    // 以无描述的lua_error形式捕获任何其他异常
    catch(...){
        luaL_error(L, "Unknown error");
    }

    return result;
}

你认为这个方案怎么样？你看到了什么问题吗？

Juraj Blaho的回答很棒。但是它有个缺点：对于每个使用 int SafeFunction<PushHello>(lua_State *L) 导出的函数，编译器都会生成模板中所有代码的副本，就像它是一个宏一样。当导出许多小型函数时，这将浪费空间。

你可以通过定义一个公共的 static 函数来避免这个问题，用该函数执行所有的工作，而 template 函数只是调用这个公共函数：

static int SafeFunctionCommon(lua_State *L, lua_CFunction func){
    int result = 0;
    try{
        result = func(L);
    }
    // 将描述异常的信息转换为 lua_error
    catch(exception &e){
        luaL_error(L, e.what());
    }
    // 重新抛出 lua error - C++ Lua 抛出 lua_longjmp*
    catch(lua_longjmp*){
        throw;
    }
    // 其他任何异常都被当作没有描述的 lua_error
    catch(...){
        luaL_error(L, "Unknown error");
    }

    return result;
}

template<lua_CFunction func>
int SafeFunction(lua_State *L){
    return SafeFunctionCommon(L, func);
}