Lua+元方法__close的多资源：声明逆序清理的进阶本质

【语法算法】

元方法 __close 的多资源清理就这两行：

local a <close> = setmetatable({}, { __close = function() print("关A") end })
local b <close> = setmetatable({}, { __close = function() print("关B") end })

两个 to-be-closed 变量——声明的逆序清理——先关B再关A——后声明的先清理——栈的后进先出一致。今天拆开。

一、声明、作用域、逆序三段

__close 的三段。声明：local x <close> = obj 声明变量——obj 的元表必须有 __close——离开作用域自动调用。作用域：变量在声明它的代码块内有效——离开代码块自动触发 __close——break/goto/error 都会触发。逆序：多个 to-be-closed 变量按声明的逆序清理——后声明的先清理——和栈的后进先出一致。三段连起来：to-be-closed 玩的是"确定性资源释放"——GC 的不确定性释放形成对比——GC 什么时候释放由 Lua 决定，to-be-closed 什么时候释放由作用域决定。

graph TD
    A["local a <close>"] --> B["local b <close>"]
    B --> C["代码块执行"]
    C --> D["离开作用域"]
    D --> E["先关B"]
    D --> F["再关A"]

二、多资源的正确写法

local function process()
    local file <close> = setmetatable({}, { __close = function() print("关文件") end })
    local conn <close> = setmetatable({}, { __close = function() print("关连接") end })
    -- 使用file和conn
    print("处理中")
end
-- 离开函数: 先关连接，再关文件

多资源的逆序清理保证了"后打开的先关闭"——和栈的后进先出一致——资源的依赖关系不被破坏。

三、错误的传递

__close 里的错误不会被吞掉——__close 抛出的错误会传播给调用方——多个 __close 中第一个抛错的会阻止后续的 __close 执行——所以 __close 里不要抛错，只做清理不做业务。__close 接收三个参数：被清理的值、错误对象、布尔值——错误对象在正常退出时为 nil——__close 可以通过错误对象判断是正常退出还是异常退出。