【高级技巧】排序比较器：严格弱序的陷阱与修复

底层原理

table.sort 依赖比较函数满足严格弱序：同元素比较必须返回 false、结果必须可传递。比较函数里写 a >= b 这类含等号的判断，相等元素互认为不大于又互相小于，排序内部直接报 invalid order function。修复方式是让比较只看严格大小，相等元素交由稳定排序的次序键处理。

高级封装

正确的比较器。示例代码如下：

local board = {
    { name = "沙城老兵", score = 200 },
    { name = "玛法新秀", score = 200 },
    { name = "祖玛猎人", score = 300 }
}
table.sort(board, function(a, b)
    return a.score > b.score
end)
for i, row in ipairs(board) do
    print(i, row.name, row.score)
end

同分的老兵与新秀次序虽不保证，但排序本身不再报错。
加次序键修复。示例代码如下：

table.sort(board, function(a, b)
    if a.score ~= b.score then
        return a.score > b.score
    end
    return a.name < b.name
end)

同分按名字典序——比较结果确定且满足严格弱序，输出可复现。

性能对比

合法比较器下 1000 条排序约 0.6 毫秒；非法比较器不是慢而是崩——invalid order function 直接中断。比较函数内做字符串拼接等重活，1000 条会从 0.6 毫秒膨胀到 5 毫秒以上——比较器必须只做字段比较。

适用边界

三个不适用场景: 一是需要同值保序的强稳定需求, 自写归并稳定排序更可控; 二是数据量极小(十条以内)且无需排序语义, 手动挑最大值即可; 三是比较键需要运行时计算(如实时战力), 先算好存字段再排序。