Lua+元表__pairs：自定义遍历的排序本质

【语法算法】

元表 __pairs 的自定义遍历本质就这一行：

setmetatable(t, { __pairs = function(t) return iterator end })

pairs(t) 先查元表的 __pairs——如果存在就调用它并返回迭代器——自定义遍历的全部机制就这一行。今天拆开。

一、默认、覆盖、恢复三段

元表 pairs 的三段。默认：没有 __pairs 时 pairs(t) 走 Lua 内置的 next 遍历——遍历顺序不确定——对于数组部分大致按索引顺序，对于哈希部分完全无序。覆盖：设置了 __pairs 后 pairs(t) 调用自定义函数——函数返回三个值：迭代函数、状态变量、初始键——for k, v in pairs(t) 循环展开成对迭代函数的反复调用。恢复：把元表的 __pairs 设为 nil 即恢复默认遍历——Lua 的元表是动态的，运行时随时可以切换遍历行为。三段连起来：__pairs 玩的是"把无序遍历变成有序遍历"——对于需要按固定顺序遍历的场景（配置表、序列化），这是唯一的解。

graph TD
    A["pairs(t)"] --> B{有 __pairs?}
    B -->|是| C["调用自定义迭代器"]
    C --> D["按 __sort 排序遍历"]
    B -->|否| E["内置 next 遍历"]
    E --> F["无序遍历"]

二、有序遍历的正确写法

local config = { z_name = "z", a_name = "a", m_name = "m" }
local keys = {}
for k in pairs(config) do
    keys[#keys + 1] = k
end
table.sort(keys)

local mt = {
    __pairs = function(t)
        local i = 0
        return function()
            i = i + 1
            local k = keys[i]
            if k then return k, t[k] end
        end
    end
}
setmetatable(config, mt)

for k, v in pairs(config) do
    print(k, v)  -- 按 keys 排序遍历
end

keys 表在设置元表时快照了一次键列表——之后往 config 里加新键不会出现在遍历结果里——快照的时机决定了遍历的内容，要实时反映新增键就把排序逻辑放进 __pairs 函数内部。

三、快照的时机与 Lua 版本的区别

快照的时机是 __pairs 最容易踩的坑：Lua 5.1 不支持 __pairs 元方法——pairs() 在 5.1 里无视元表直接走内置 next——5.2 开始才支持 __pairs。如果你的项目跑在 Lua 5.1 上，__pairs 写了也不生效，必须用包装函数替代。和 __ipairs 的分界线也要写清：__ipairs 控制的是 ipairs() 的行为（按整数索引遍历），__pairs 控制的是 pairs() 的行为（遍历所有键值对）——两者独立，设了一个不影响另一个。最后一条纪律：__pairs 返回的迭代函数必须返回 nil 才终止遍历——忘记返回 nil，for 循环永远不退出，程序死循环。