c - 获取要调用的正确 Lua 元方法 (C-api)

Question

我正在使用 [实际学习使用] Lua C api。我是 Lua 的新手，所以如果我有一些术语不正确，我深表歉意，如果有任何更正，我将不胜感激。

我有一个空的全局表 G，它是我在初始化时使用 lua_setglobal 创建的。 G 的 __index 指向一个 C 函数，我认为它被称为元方法。调用时，此函数会创建一个新的 lightuserdata 项，并将其插入到 G 全局表中。

所以，如果我的理解是正确的，G.foo 将导致调用 G 的 __index 元方法，foo 将由它创建并添加到 G。以后对 G.foo 的调用将不再需要调用元方法，因为它会发现 foo 存在于 G 中。

现在，在创建 foo 时，我将元表与新创建的 lightuserdata (foo) 相关联，方法是将其 __index 设置为包含“set”和“get”的 C 函数数组。这个想法是，每当调用 foo:get() 时，都应该查找 foo 的元表以调用 C 函数以获取其值等。

这是我看到的(正常)行为:

• 从 lua 文件调用 G.foo。

  这会按预期使用 G 的元方法创建 foo。

• 然后，调用 G.foo:get()

  由于 foo 已经是 G 的一部分(上一步)，因此不会像预期的那样调用 G 的元方法。相反，检查 foo 的元表并调用对应于“get”的 C 函数。这也符合预期，并且正是我希望它的工作方式。

但是，如果我这样做:

• 直接调用 G.foo:get() 而不先调用 G.foo

  然后，它调用 G 的元方法两次，一次是为 foo(预期)，一次是为 'get'(不是预期)。我不希望 G 的 __index 元方法处理“get”。它基本上尝试创建一个名为“get”的新 lightuserdata(就像它对“foo”所做的那样)等等，这不是我想要做的。我希望查找新创建的 foo 的元表，以便为 foo 调用正确的“get”C 函数。

我已经简化了我的用例以使问题最明显，所以我希望它足够容易理解。此外，如果您能指出任何 lua 文档或功能引用资料以帮助我理解为什么会发生这种情况，我将不胜感激。

编辑:添加一些带有相关部分的代码来演示我在做什么:

static void init()
{
    lua_newtable( luaVM );
    lua_createtable( luaVM, 0, 0 );             
    lua_pushcfunction( luaVM, lua_metaMethod );
    lua_setfield( luaVM, -2, "__index" );
    lua_setmetatable( luaVM, -2 );          
    lua_setglobal( luaVM, "G" );    
}

static const luaL_reg lua_methods[] =
{
    {   "set",      lua_set },
    {   "get",      lua_get },      
    {0, 0}
};

static int lua_metaMethod( lua_State *luaVM )
{
    // I get "foo" by using lua_tostring( luaVM, 2 ), and store that in 'name'.
    // I then lookup 'fooData', which is a pointer to data associated with foo that I want to add to G.

    lua_getglobal( "G" );
    lua_pushlightuserdata( luaVM, ( void* ) fooData );
    lua_createtable( luaVM, 0, 0 );
    lua_createtable( luaVM, 0, 0 );
    luaL_register( luaVM, NULL, lua_methods );              // Trying to make sure foo:get() calls one of these, etc.
    lua_setfield( luaVM, -2, "__index" );
    lua_setmetatable( luaVM, -2 );
    lua_setfield( luaVM, -2, name );

    return 1;
}

Answer 1

根据您所描述的代码，问题出在 lua_metaMethod(顺便说一句:将您的函数命名为 lua_ 是一个坏的想法>。这是为 Lua API 函数保留的前缀)。

__index 元方法的返回值将返回给用户。因此，如果用户输入 G.foo，则 G 的 __index 元方法的返回值将被返回。

lua_metaMethod 返回什么？它恰好返回 1 个返回值。由于传递给函数的参数是堆栈中的第一个参数，因此它将返回第一个参数。 __index 元方法的第一个参数始终是调用元方法的表。在您的例子中，该表是存储在 G 中的表。

因此，G.foo 将返回 G。因此，G.foo:get() 等同于 G:get()(尽管第一个版本确实有一个额外的元方法调用)。我猜这不是你想要的 ;)

它应该返回的是刚刚存储在 G["foo"] 中的轻量级用户数据。

改为考虑此代码。

static int lua_metaMethod( lua_State *luaVM )
{
    //We won't use this, so only do this if you need the string.
    const char *name = lua_tostring(luaVM, 2); 

    // I then lookup 'fooData', which is a pointer to data associated with foo that I want to add to G.

    //No need to get G. We already have it: the first parameter.
    lua_pushlightuserdata( luaVM, ( void* ) fooData );    //Stack: table, key, userdata
    lua_createtable( luaVM, 0, 0 );                       //Stack: table, key, userdata, {}
    lua_createtable( luaVM, 0, 0 );                       //Stack: table, key, userdata, {}, {}
    luaL_register( luaVM, NULL, lua_methods );              // Trying to make sure foo:get() calls one of these, etc.
    lua_setfield( luaVM, -2, "__index" );                 //Stack: table, key, userdata, {}
    lua_setmetatable( luaVM, -2 );                        //Stack: table, key, userdata

      //Stack now contains: table, key, userdata.
    lua_insert(luaVM, 2);                //Stack: table, userdata, key
    lua_pushvalue(luaVM, -2);            //Stack: table, userdata, key, userdata
    lua_rawset(luaVM, 1);            //Use rawset because table has a metatable. It's probably best not to invoke it.

      //Stack now contains: table, userdata.
    lua_insert(luaVM, 1);                 //Stack: userdata, table.

    return 1;  //Return just the userdata. `table` will be discarded.
}