Lua+排序稳定性：多字段排序的次序键本质

【语法算法】

排序稳定性的本质就这一行：

if a.score == b.score then return a.id < b.id end
return a.score < b.score

排序稳定性的全部机制就这一行：主键相等时用次键决定顺序——次键也相等时返回 false 保持原序——严格弱序要求比较函数满足传递性和不对称性。今天拆开。

一、主键、次键、严格弱序三段

排序稳定性的三段。主键：排序的首要依据——比如按分数排序——主键相同时次键决定顺序。次键：主键相等时的第二排序依据——比如按 ID 排序——次键保证主键相同时的顺序确定——不会因为排序算法的不确定性导致结果不同。严格弱序：比较函数必须满足"不对称性"（a

graph TD
    A["a.score == b.score?"] --> B["比较次键 a.id vs b.id"]
    A --> C["a.score < b.score"]
    C --> D["返回 true"]
    B --> E["返回 a.id < b.id"]

二、多字段排序的正确写法

local players = {
    { name = "张三", score = 90, id = 3 },
    { name = "李四", score = 90, id = 1 },
    { name = "王五", score = 85, id = 2 },
}

table.sort(players, function(a, b)
    if a.score ~= b.score then
        return a.score > b.score          -- 分数降序
    end
    return a.id < b.id                     -- 分数相同按ID升序
end)

for _, p in ipairs(players) do
    print(p.name, p.score, p.id)
end

多字段排序用 if-else 而不是 or——a.score > b.score or (a.score == b.score and a.id < b.id) 和分开写的 if-else 效果相同但可读性更差——多字段排序的比较函数应该逐字段比较，每个字段独立判断。

三、严格弱序的纪律与比较函数的设计

严格弱序是排序的数学要求：比较函数必须满足"不对称性"和"传递性"——不对称性意味着 comp(a,b) = true 则 comp(b,a) = false——传递性意味着 comp(a,b) = true 且 comp(b,c) = true 则 comp(a,c) = true——不满足严格弱序的比较函数会导致排序结果不确定甚至报错。比较函数的设计也要讲究：只比较相关字段、忽略无关字段——比较函数里做 IO 或调用外部函数是性能杀手——比较函数应该是纯函数。最后一条纪律：排序前先确认数据类型一致——混合类型的排序（数字和字符串混在一起）会导致比较函数报错——排序前先过滤或分组，确保同类数据一起排序。