Lua C - 合理的 LuaJIT 兼容方式将错误抛入恢复协程中

简而言之,尽管代码似乎正常工作,但我很好奇是否存在比我目前想到的 less hacky 的方法。

假设您通过 lua_newthread 创建一个协程,稍后通过 cclocure 中的 lua_yield 暂停它。您的程序绕一圈非 Lua 代码,现在是通过 lua_resume 恢复协程的时候了,但 - 假设 Lua 代码提供的参数是极其非法的,我们应该给出一个错误来指示它。

正如您可能知道的那样,除非状态正在运行,否则无法在状态上调用 lua_error(或 luaL_error)。因此,状态必须恢复,但立即出现错误。

在5.3中,您将使用lua_yieldk,提供一个 continuation 函数,并在其中调用 lua_error 或 luaL_error。Et voilà.

但遗憾的是 - LuaJIT没有实现lua_yieldk,那么我们还有什么选择呢?

  1. 一次性 hook

    假设错误消息存储在 char error_text[256] 中。然后,我们可以在恢复之前立即绑定一个每个指令的 hook,

    lua_sethook(L, throw_error, LUA_MASKCOUNT, 1);
    int result = lua_resume(L, NULL, ret_count);
    

    然后在那里取消绑定并抛出错误

    void throw_error(lua_State *L, lua_Debug *ar) {
        lua_sethook(L, throw_error, 0, 0);
        if (error_text == nullptr) return; // trust no one, especially yourself
        luaL_error(L, "%s", error_text);
    }
    

    如果需要字符串清理,则自然会在调用 _error 之前自己将 error_text 连接到 luaL_where(L, 1) 中,因为 lua_errorluaL_error 都会进行长跳跃,因此它将是您的函数最后要做的事情。

  2. Lua 端包装器

    假设您决定采用一种有点类似于 node.js 的方式,使用 error,result 对让您的 C 代码恢复,以便您可以拥有类似于以下的包装器函数

    function some(arg)
        local e, r = some_native(arg)
        if (e) then
            error(e)
        else
            return r
        end
    end
    

    或者完全重构您的 API,以便错误也使用相同的模式处理,但这是另一天的故事。

选项1似乎比选项2更不 hacky。

选项2似乎不太可能引起任何麻烦。

我忍不住感觉有一种更好的方法可以做到这一点,而我却没有考虑到(毕竟,lua_yieldk是一个相对较新的补充)。

点赞