Lua+元方法__close：to-be-closed的自动清理本质

【语法算法】

元方法 __close 的触发就这一行：

local t <close> = setmetatable({}, { __close = function() print("清理") end })

变量声明时加 <close> 属性——变量离开作用域时自动调用 __close 元方法——to-be-closed 变量的全部机制就这一行。可这一行的前后各有一个细节：前面是"变量必须声明为局部变量"，后面是"正常退出和错误退出都会触发"。今天拆开。

一、声明、作用域、清理三段

__close 的三段。声明：local t <close> = value 声明一个 to-be-closed 变量——value 的元表必须有 __close 元方法——__close 接收三个参数：被清理的值、错误对象、布尔值。作用域：变量离开声明它的代码块时自动调用 __close——正常走完代码块和 break/goto 跳出都会触发——error 抛异常也会触发——任何方式的退出都逃不过清理。清理：__close 函数里做资源释放——关闭文件、断开连接、释放锁——__close 的价值在于保证资源释放不被遗忘。三段连起来：to-be-closed 玩的是"确定性资源释放"——和 GC 的不确定性释放形成鲜明对比——GC 什么时候释放由 Lua 决定，to-be-closed 什么时候释放由作用域决定。

graph TD
    A["local t <close> = obj"] --> B["代码块执行"]
    B --> C{"退出方式"}
    C -->|正常| D["调用__close"]
    C -->|break/goto| D
    C -->|error| D
    D --> E["资源释放完成"]

二、to-be-closed 的正确写法

local function withFile(filename)
    local file <close> = assert(io.open(filename, "r"))
    -- 使用文件
    local content = file:read("*a")
    print(content)
    -- 离开作用域时自动关闭文件
end

-- 等价于传统写法
local function withFileOld(filename)
    local file = assert(io.open(filename, "r"))
    local ok, err = pcall(function()
        local content = file:read("*a")
        print(content)
    end)
    file:close()
    if not ok then error(err, 0) end
end

<close> 属性把"finally 块"变成了语言的内置能力——不需要手动写 try-finally 结构——作用域就是资源释放的边界。

三、__close 的纪律与错误的传递

__close 函数接收三个参数：被清理的值、错误对象、布尔值——错误对象在正常退出时为 nil——__close 里可以通过错误对象判断是正常退出还是异常退出。__close 里也可以抛出新错误——多个 to-be-closed 变量的 __close 按声明的逆序调用——后声明的先清理——和栈的后进先出一致。最后一条纪律：__close 只对局部变量生效——全局变量加 <close> 会报错——to-be-closed 必须是 local 声明——这是 Lua 5.4 的语法规定——确保清理的范围和作用域一致。