基于Lua C API的Circle对象销毁函数实现问题

核心问题分析 #

你遇到的崩溃本质是野指针访问：删除Circle指针后，Lua栈/全局表中仍持有指向该无效内存的userdata引用，后续任何对该对象的操作都会触发非法内存访问。仅设置元表为nil无法让Lua放弃对该内存的引用，也无法阻止后续代码尝试访问已释放的空间。

正确实现步骤 #

1. 给Circle用户数据添加有效性标记 #

在存储Circle指针的userdata中额外加入一个销毁标记（或直接将指针置空），这样所有Circle的方法调用前都能先检查对象是否有效。

示例C++定义：

// 自定义userdata结构，包含Circle指针和销毁标记
struct CircleUD {
    Circle* ptr;
    bool is_destroyed;
};

// 创建Circle对象时初始化userdata
int createCircle(lua_State* L) {
    float x = luaL_checknumber(L, 1);
    float y = luaL_checknumber(L, 2);
    float r = luaL_checknumber(L, 3);

    // 分配userdata内存
    CircleUD* ud = (CircleUD*)lua_newuserdata(L, sizeof(CircleUD));
    ud->ptr = new Circle(x, y, r);
    ud->is_destroyed = false;

    // 设置元表
    luaL_getmetatable(L, "CircleMeta");
    lua_setmetatable(L, -2);

    // 将指针存入vector（假设全局vector为std::vector<Circle*> circle_list）
    circle_list.push_back(ud->ptr);

    return 1;
}

2. 修改元表方法，增加有效性检查 #

所有Circle的成员方法（比如getRadius、move等）调用前先检查标记，避免访问已销毁的对象：

int circleGetRadius(lua_State* L) {
    CircleUD* ud = (CircleUD*)luaL_checkudata(L, 1, "CircleMeta");
    if (ud->is_destroyed) {
        return luaL_error(L, "Attempt to access destroyed Circle object");
    }
    lua_pushnumber(L, ud->ptr->getRadius());
    return 1;
}

3. 实现安全的destroy函数 #

严格按照标记无效 → 移除vector引用 → 删除指针的顺序执行，同时避免重复销毁：

int circleDestroy(lua_State* L) {
    CircleUD* ud = (CircleUD*)luaL_checkudata(L, 1, "CircleMeta");
    if (ud->is_destroyed) {
        return 0; // 已销毁，直接返回
    }

    // 1. 标记对象为已销毁
    ud->is_destroyed = true;

    // 2. 从vector中移除对应指针
    auto it = std::find(circle_list.begin(), circle_list.end(), ud->ptr);
    if (it != circle_list.end()) {
        circle_list.erase(it);
    }

    // 3. 安全删除Circle指针
    delete ud->ptr;
    ud->ptr = nullptr; // 额外置空，双重保障

    // 4. 将Lua栈中的对象置为nil（仅处理当前栈中的引用，全局/局部引用需Lua代码自行置空）
    lua_pushnil(L);
    lua_replace(L, 1); // 把栈顶的nil替换原来的userdata

    return 0;
}

4. Lua端配合使用 #

调用destroy后，手动将变量置为nil（虽然C++里已经标记无效，但主动置空能让Lua GC更早回收userdata内存）：

local c = createCircle(0,0,5)
print(c:getRadius()) -- 正常输出5
circleDestroy(c)
c = nil -- 主动置空，加速GC
-- 后续如果再访问c会报错，避免野指针

为什么之前的方法会崩溃？ #

• 直接删除指针而不标记Lua端的userdata：Lua仍认为该内存有效，后续任何对该对象的操作（即使元表被移除）都会访问已释放的内存，触发崩溃。
• 仅设置元表为nil：只是让对象失去了方法，但底层userdata仍指向原内存地址，一旦有代码尝试读取该内存（比如直接访问userdata的二进制内容），依然会导致野指针错误。

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