lua和C++交互的lua栈操作——以LuaTinker为例

 一、

 -- C++类注册函数(LuaTinker) 的lua栈操作：

--    lua栈内容(执行到pop语句)            栈地址        <--执行语句
space_name[name] = t1                      -- (2b8)     -- lua_rawset(L, -4);
-- t1[__gc] = destroyer<T>                  -- (2d8)     -- lua_rawset(L, -3);
-- destroyer<T>                              -- (2f8)     -- lua_pushcclosure(L, destroyer<T>, 0);
-- __gc                                      -- (2e8)     -- lua_pushstring(L, "__gc");
-- t1[__newindex] = meta_set              -- (2d8)     -- lua_rawset(L, -3);
-- meta_set                                  -- (2f8)     -- lua_pushcclosure(L, meta_set, 0);
-- __newindex                              -- (2e8)     -- lua_pushstring(L, "__newindex");
-- t1[__index] = meta_get                  -- (2d8)     -- lua_rawset(L, -3);
-- meta_get                                  -- (2f8)     -- lua_pushcclosure(L, meta_get, 0);
-- __index                                  -- (2e8)     -- lua_pushstring(L, "__index");
-- t1[__name] = name                      -- (2d8)     -- lua_rawset(L, -3);
-- name                                   -- (2f8)     -- lua_pushstring(L, name);
-- __name                                  -- (2e8)     -- lua_pushstring(L, "__name");
-- setmetatable(t1, t2)                  -- (2d8)     -- lua_setmetatable(L, -2);
-- t2[__index] = static_meta_get         -- (2e8)     -- lua_rawset(L, -3);
-- static_meta_get                        -- (308)     -- lua_pushcclosure(L, static_meta_get, 0);
-- __index                                -- (2f8)     -- lua_pushstring(L, "__index");
-- t2                                      -- (2e8)     -- lua_newtable(L);
-- t1                                      -- (2d8)     -- lua_newtable(L);
-- name                                 -- (2c8)     -- lua_pushstring(L, name);
-- space_name[name]                     -- (2b8)     -- lua_rawget(L, -2);
-- name                                 -- (2b8)     -- lua_pushstring(L, name);
space_name                                 -- (2a8)     -- push_meta(L, space_name::name);
L                                           -- (298)     -- 初始状态

 -- C++类注册函数(LuaTinker)，支持注册到命名空间namespace

template<typename T>
void class_addEx(lua_State* L, const char* name) 
{
    push_meta(L, space_name::name());
    if(lua_istable(L, -1))
    {
        class_name<T>::name(name);

        lua_pushstring(L, name);
        lua_rawget(L, -2);
        if (!lua_istable(L, -1))
        {
            lua_pushstring(L, name);
            lua_newtable(L);

            lua_newtable(L);
            lua_pushstring(L, "__index");
            lua_pushcclosure(L, static_meta_get, 0);
            lua_rawset(L, -3);
            lua_setmetatable(L, -2);

            lua_pushstring(L, "__name");
            lua_pushstring(L, name);
            lua_rawset(L, -3);

            lua_pushstring(L, "__index");
            lua_pushcclosure(L, meta_get, 0);
            lua_rawset(L, -3);

            lua_pushstring(L, "__newindex");
            lua_pushcclosure(L, meta_set, 0);
            lua_rawset(L, -3);

            lua_pushstring(L, "__gc");
            lua_pushcclosure(L, destroyer<T>, 0);
            lua_rawset(L, -3);

            lua_rawset(L, -4);
        }
    }
    lua_pop(L, 2);
}

 二、

-- meta_get栈操作如下：
--    lua栈内容            栈地址        <--执行语句
t_meta[__index]            -- (ed8)     -- lua_rawget(L,-2); <-- 执行到此语句
-- __index                 -- (ed8)     -- lua_pushvalue(L,2);
t_meta                     -- (ec8)     -- lua_getmetatable(L,1);
__index                    -- (eb8)     -- 初始 lua_pushstring(L, "__index");
t                         -- (ea8)     -- 初始 
L                         -- (e98)     -- 初始状态

--// int lua_tinker::meta_get(lua_State *L)
int lua_tinker::meta_get(lua_State *L)
{
    lua_getmetatable(L,1);

    lua_pushvalue(L,2);
    lua_rawget(L,-2);

    bool is_dispatcher = false;
    const char* func_name = lua_tostring(L, 2);

    if(lua_isuserdata(L,-1))
    {
        user2type<var_base*>::invoke(L,-1)->get(L);
        lua_remove(L, -2);
    }
    else if (lua_istable(L, -1))
    {
        lua_remove(L, -1);
        is_dispatcher = true;
    }
    else if (lua_isnil(L, -1))
    {
        lua_remove(L, -1);
        invoke_parent(L, func_name);
        if (lua_isnil(L, -1))
        {
            lua_remove(L, -1);
            invoke_child(L, func_name);
        }
        if (lua_istable(L, -1))
        {
            lua_remove(L, -1);
            is_dispatcher = true;
        }
    }

    //函数分发
    if (is_dispatcher)
    {
        push_currfuncname(L, func_name);
        
        push_dispatcher(L);
    }
    
    lua_remove(L,-2);

    return 1;
}

三、

--> 假设：meta_get函数执行到上面语句(栈内容如上) ——> t_meta[__index] == nil ——> 进入invoke_parent(L, func_name);

--    lua栈内容                栈地址        <--执行语句
tt[funcname]                -- (e18)     -- lua_remove(L, -2);
-- tt[funcname]                -- (e28)     -- lua_rawget(L, -2); -->lua_istable(L, -1) || lua_isfunction(L, -1)
-- funcname                    -- (e28)     -- lua_pushstring(L, funcname); 
-- t_meta[__parent] = tt    -- (e18)     -- lua_rawget(L, -2); --> lua_istable(L,-1),重命名为tt
-- __parent                    -- (e18)     -- lua_pushstring(L, "__parent"); 
--                             -- (e08)     -- lua_remove(L, -1); 
-- t_meta[__index]            -- (e18)     -- lua_rawget(L,-2); 
t_meta                         -- (d08)     -- lua_getmetatable(L,1);
__index                        -- (cf8)     -- 初始 lua_pushstring(L, "__index");
t                             -- (ce8)     -- 初始 
L                             -- (cd8)     -- 初始状态(和上面的栈内容不匹配，因为是另一个过程，其满足t_meta[__index] == nil)

// static void invoke_parent(lua_State *L, const char* funcname)

static void invoke_parent(lua_State *L, const char* funcname)
{
    lua_pushstring(L, "__parent");
    lua_rawget(L, -2);
    if(lua_istable(L,-1))
    {
        lua_pushstring(L, funcname);
        lua_rawget(L, -2);

        if (lua_istable(L, -1) || lua_isfunction(L, -1))
        {
            lua_remove(L, -2);
        }
        else
        {
            lua_remove(L, -1);
            invoke_parent(L, funcname);
            lua_remove(L, -2);
        }
    }
}