Go sort 为什么比较器会造成不稳定结果

我排查 Go 排序结果“偶尔换顺序”时，最先会把问题拆成两层：Less 是否真的描述了一个稳定的比较关系，以及代码是否误把普通排序当成稳定排序。只要比较器返回结果受随机数、可变外部状态或不完整规则影响，排序结果就可能失去可解释性；但即使比较器完全正确，sort.Slice 也不保证相等元素保留原顺序。

官方文档：https://pkg.go.dev/sort

先判断是比较器坏了，还是排序本来就不保序

假设订单只按优先级升序排列。两条优先级相同的订单，在业务上可能仍然有“先到先处理”的要求。此时只写 Priority 比较，表达的是“优先级相同就等价”，并没有表达“谁应该排在前面”。

因此要先问两个问题：第一，换一组输入后，比较结果是否仍然由同一组数据决定；第二，题目要求的是“按关键字排好”，还是“关键字相同仍保持来时顺序”。前者可以使用 sort.Slice，后者应使用 sort.SliceStable。若只是希望输出每次都完全确定，则可以把序号、时间或唯一 ID 作为最后的确定性键。

Less 需要满足哪些关系

Go 官方把 Less 定义为严格弱序。落到排查上，最实用的是下面三点：

• 不能自小于自己：Less(i, i) 必须为 false。
• 要有传递性：如果 A 小于 B，B 小于 C，那么 A 必须小于 C。
• “互不小于”形成的等价关系也要一致：如果 A 与 B 等价、B 与 C 等价，A 与 C 不能又被比较成有先后。

最隐蔽的错误是把小于写成小于等于。它让 Less(i, i) 变成 true，排序算法拿不到合法的“相等”概念：

// 错误：相等元素会把自己也判定为“应该排在自己前面”。
sort.Slice(items, func(i, j int) bool {
    return items[i].Priority 

四种常见写法为什么会让结果看起来随机

只比较主字段。这不是错误，但它把相同主字段的记录视为等价。sort.Slice 不保证等价元素保留原顺序，所以不要用一次排序结果推断稳定性。

比较器读取会变化的外部状态。例如在 Less 内调用随机数、读取会被并发修改的 map，或依赖当前时间。相同的两个元素在不同比较调用中得出不同答案，传递性就无法成立。

多字段比较只写了一半。正确的写法是先比较主字段，只有主字段相等时再比较次字段；如果所有字段都相等，就返回 false。这样业务顺序才是显式的：

type Item struct {
    Priority int
    Created  int64
    ID       int64
}

sort.Slice(items, func(i, j int) bool {
    a, b := items[i], items[j]
    if a.Priority != b.Priority {
        // 优先级越小越靠前。
        return a.Priority 

浮点数包含 NaN。普通的浮点小于比较遇到 NaN 时不具备严格弱序。若业务允许 NaN，必须先明确 NaN 放在开头、结尾还是直接拒绝；不能把 float64 的原生 当作所有输入都安全的排序规则。

需要保序时怎样选 API

如果主键相等的记录必须按照输入顺序保留，使用稳定排序：

// 只按优先级排序，同时保留相同优先级的输入顺序。
sort.SliceStable(items, func(i, j int) bool {
    return items[i].Priority 

使用较新的泛型 API 时，可以选择 slices.SortStableFunc；它接收返回负数、零或正数的比较函数。无论选哪一个 API，比较规则仍要自洽，稳定排序不能替不合法的比较器“兜底”。

我通常会为排序测试保留三类断言：结果按主键非递减；比较器对同一对元素重复调用结果一致；当需求要求保序时，相等主键的 ID 顺序与输入一致。这样能把“排序不稳定”和“比较器不合法”分开，而不是只凭一次打印结果下结论。

常见问题

sort.Slice 每次结果不同就是 bug 吗？

不一定。若只是相等元素的相对顺序变化，且 Less 合法，这是普通排序未承诺稳定性的正常表现；若非相等元素也违反主键顺序，才应重点检查比较器。

用了 SliceStable 还需要补次关键字吗？

如果“相等时按输入顺序”就是业务规则，不需要。若输入顺序本身不可靠，应该补充时间、序号或唯一 ID，让业务顺序显式且可复现。

怎样快速发现比较器违反严格弱序？

用固定数据重复调用比较器，覆盖相等、边界、NaN 和多字段相同的情况；重点断言自反性、传递性以及相等关系的一致性。不要只检查最终切片看起来是否有序。