Lua 弱表内存泄漏

你对垃圾收集器做了太多假设。你的数据最终会被收集。在这个例子中，如果你调用 collectgarbage() 两次，它应该可以工作，但如果你的弱表中有一些循环，它可能会花费更长时间。

编辑：实际上，只有等待 __cg 事件时才会发生这种情况。

我仔细检查了你的代码，并注意到你还有另一个问题。

你的 value 同时引用了键，创建了一个循环，可能超出了 Lua 版本的垃圾收集器的承受范围。在 PUC Lua 5.3 中，这可以正常工作，但在 LuaJIT 中，该循环似乎会阻止值被收集。

如果仔细思考一下，这实际上很有道理；从我所知道的情况来看，整个过程是通过首先从表中删除弱元素，当它们没有任何其他引用时，留下它们正常地被下一次 GC 运行时收集。

然而，当这个步骤运行时，键仍然在表中，因此（不弱的）值在 GC 眼中是一个有效的引用，因为它可以从代码中访问。因此，垃圾回收器在无法删除键值对时陷入了一种死锁状态。

可能的解决方案是：

1. 不要在 value 中保存键的引用
2. 将 value 也变为弱表，这样它也不会被视为引用
3. 升级到另一个 Lua 版本
4. 使用一个弱值单元素数组来包装该引用。

你可以像这样更改代码。这样你就会得到期望的输出。Tip：在你想要它变弱时，不要引用关键变量。

local key = {}
local value = {
        -- ref = key,
        somevalue = "仍然存在"
}

local tab = setmetatable({}, { __mode = "k" })

tab[key] = value

function printtab()
        for k, v in pairs(tab) do
                print(v.somevalue)
        end
end

printtab()

key = nil
value = nil

print("删除值")
collectgarbage()

printtab()

Lua 5.2 支持【短命表】（Ephemeron tables）。

Lua 5.2 手册中写到：

带有弱键和强值的表也被称为短命表。在短命表中，仅当其键可达时，一个值才被视为可达。特别地，如果键的唯一引用是其值，则这个键值对会被移除。

Lua 5.1 无法正确支持短命表。