Lua+元方法__close的错误传递：清理顺序与错误传播本质

【语法算法】

元方法 __close 的错误传递就这两行：

local t <close> = setmetatable({}, { __close = function(_, err) print(err) end })
error("something")

to-be-closed 变量离开作用域时自动调用 __close——如果是因为 error 退出作用域，__close 的第二个参数就是 error 对象——错误传递的全部机制就这两行。可这两行的前后各有一个细节：前面是"多个 to-be-closed 按声明逆序清理"，后面是"__close 里抛错会覆盖原始错误"。今天拆开。

一、声明、触发、传播三段

__close 的三段。声明：local t <close> = obj 声明变量——obj 的元表必须有 __close——离开作用域自动调用。触发：正常退出时 err 为 nil，异常退出时 err 为 error 对象——__close 函数可以通过第二个参数区分正常退出和异常退出。传播：__close 里抛出的新错误会覆盖原始错误——原始错误丢失——__close 里应该用 pcall 包裹可能出错的清理代码。三段连起来：__close 玩的是"确定性资源释放加错误感知"——__close 不只是清理工具，还是错误处理的最后防线。

graph TD
    A["local t <close>"] --> B["代码块执行"]
    B --> C{"退出方式"}
    C -->|正常| D["err=nil"]
    C -->|error| E["err=错误对象"]
    D --> F["调用__close(t, nil, false)"]
    E --> G["调用__close(t, err, true)"]

二、错误传递的正确写法

local function withCleanup(fn)
    local guard <close> = setmetatable({}, {
        __close = function(_, err)
            if err then
                print("异常退出:", err)
            else
                print("正常退出")
            end
        end
    })
    fn()
end

withCleanup(function() print("正常执行") end)
withCleanup(function() error("出错了") end)

__close 的第三个参数是布尔值——false 表示正常退出、true 表示异常退出——__close 可以根据这个参数决定是否做额外的错误处理。

三、多资源的清理顺序与错误的叠加

多个 to-be-closed 变量按声明的逆序清理——后声明的先清理——清理顺序就是声明的逆序——和栈的后进先出一致。__close 里抛出的新错误会覆盖原始错误——如果多个 __close 都抛错，只有第一个被传播——后续的被吞掉——__close 里不要抛错，只做清理。最后一条纪律：__close 只对局部变量生效——全局变量加 <close> 会报错——to-be-closed 必须是 local 声明——确保清理的范围和作用域一致。