是否可复用lua_newuserdata()返回指针以实现Lua对象相等性校验？

可以复用，但不能直接重复返回lua_newuserdata分配的原始指针——Lua的用户数据由虚拟机GC管理，直接复用会引发内存错误或GC崩溃。正确的做法是在C层维护「C对象→Lua用户数据」的映射表，确保同一C对象始终对应同一个Lua用户数据实例，这样Lua就能通过==直接校验对象相等性。

核心原因 #

lua_newuserdata分配的内存归Lua GC管辖：

• 若多次将同一用户数据指针压栈，Lua会视为独立对象，GC时可能重复释放导致崩溃；
• 若用户数据被GC回收，指针会变成野指针，后续使用会触发未定义行为。

实现步骤 #

1. 维护映射表：在C层为每个Lua状态机维护一个哈希映射（可存在Lua注册表中），以C对象指针为键，对应的Lua用户数据为值。
2. 检查复用：每次调用C API时，先查映射表——如果已有对应用户数据，直接压栈返回；否则创建新用户数据并写入映射表。
3. GC清理：为用户数据设置元表，在__gc方法中从映射表删除对应条目，避免内存泄漏。

示例代码 #

C层实现

#include <lua.h>
#include <lauxlib.h>

// 包装C对象的用户数据结构
typedef struct {
    void* c_obj;
} FooBarUD;

// GC回调：清理映射表条目
static int foobar_gc(lua_State* L) {
    FooBarUD* ud = lua_touserdata(L, 1);
    // 从注册表获取映射表
    lua_getfield(L, LUA_REGISTRYINDEX, "foobar_map");
    // 删除当前C对象对应的映射
    lua_pushlightuserdata(L, ud->c_obj);
    lua_pushnil(L);
    lua_rawset(L, -3);
    lua_pop(L, 1); // 弹出映射表
    // 若C对象由Lua管理，可在此释放：free(ud->c_obj);
    return 0;
}

// 初始化映射表（不存在则创建）
static void init_map(lua_State* L) {
    lua_getfield(L, LUA_REGISTRYINDEX, "foobar_map");
    if (lua_isnil(L, -1)) {
        lua_pop(L, 1);
        lua_newtable(L);
        lua_setfield(L, LUA_REGISTRYINDEX, "foobar_map");
    } else {
        lua_pop(L, 1);
    }
}

// 你的C API实现
int c_api__foobar(lua_State* L) {
    // 替换为获取实际C对象的逻辑（比如单例、缓存查找）
    void* target_obj = get_your_foobar_instance();

    init_map(L);
    lua_getfield(L, LUA_REGISTRYINDEX, "foobar_map");
    lua_pushlightuserdata(L, target_obj);
    lua_rawget(L, -2);

    if (!lua_isnil(L, -1)) {
        // 已有用户数据，直接返回
        lua_replace(L, -2);
        return 1;
    }

    // 无对应用户数据，创建新实例
    lua_pop(L, 2);
    FooBarUD* ud = lua_newuserdata(L, sizeof(FooBarUD));
    ud->c_obj = target_obj;

    // 设置元表
    luaL_newmetatable(L, "foobar_meta");
    luaL_Reg meta_funcs[] = {{"__gc", foobar_gc}, {NULL, NULL}};
    luaL_setfuncs(L, meta_funcs, 0);
    lua_setmetatable(L, -2);

    // 将新用户数据存入映射表
    lua_getfield(L, LUA_REGISTRYINDEX, "foobar_map");
    lua_pushlightuserdata(L, target_obj);
    lua_pushvalue(L, -3);
    lua_rawset(L, -3);
    lua_pop(L, 1);

    return 1;
}

Lua层测试

obj1 = c_api__foobar()
obj2 = c_api__foobar()

if obj1 == obj2 then
    print("equal")
else
    print("they are supposed to be equal")
end

运行后会输出equal，因为两次调用返回的是同一个Lua用户数据实例，==直接比较指针地址即可判断相等。

注意事项 #

• 映射表需与Lua状态机绑定，每个lua_State单独维护，避免多虚拟机冲突；
• 若C对象由外部管理（非Lua GC），需在外部释放C对象时同步清理映射表，避免用户数据指向无效内存；
• 元表的__gc方法必须正确实现，否则会残留无效映射导致内存泄漏。

内容的提问来源于stack exchange，提问作者kapodamy