Go slices.SortStableFunc 如何保留相等元素顺序：稳定排序与比较函数边界

订单列表要按优先级排队，但同一优先级内还得保留进入队列的先后顺序。Go 标准库的 slices.SortStableFunc 正好处理这个边界：比较函数返回 0 的元素保持原顺序。

只按优先级排序、又不能打乱同优先级顺序时，用 slices.SortStableFunc；比较函数只表达优先级，不要为了“稳定”再偷偷比较订单号。

旧写法的问题：同优先级订单为什么会换位

如果把优先级和订单号一起写进比较函数，同优先级订单也会被第二个字段重新排列。稳定排序的关键是让比较函数只决定组间顺序。

type Order struct {
    ID string
    Priority int
}

orders := []Order{
    {ID: "A17", Priority: 2},
    {ID: "B03", Priority: 1},
    {ID: "A02", Priority: 2},
}

slices.SortStableFunc(orders, func(a, b Order) int {
    if a.Priority  b.Priority { return 1 }
    return 0
})
// [{B03 1} {A17 2} {A02 2}]

关键节点是 Order、Priority 和 return 0。Priority 决定组之间的顺序，优先级相同时返回 0，排序器才会保留 A17 在 A02 之前的输入关系。

新规则：比较函数只负责决定组间顺序

slices.SortStableFunc 与 slices.SortFunc 使用相同形状的比较函数：小于返回负数，大于返回正数，相等或不可区分时返回 0。区别在于稳定版本会保留相等元素的原始顺序。

func sortOrders(orders []Order) {
    slices.SortStableFunc(orders, func(a, b Order) int {
        switch {
        case a.Priority  b.Priority:
            return 1
        default:
            return 0
        }
    })
}

sortOrders(orders)
if orders[1].ID != "A17" || orders[2].ID != "A02" {
    panic("same-priority order changed")
}

检查结果应是 B03 在前，A17、A02 仍按输入顺序排列。这里不要在 default 分支比较 ID，否则“相等”就被自己消除了。

兼容边界：什么时候不该依赖稳定性

如果业务规则是“先按优先级，再按订单号升序”，就应该明确表达两个排序键。同优先级的输入顺序不再是验收条件，稳定性只对所有比较字段都相等的元素有意义。

slices.SortStableFunc(orders, func(a, b Order) int {
    if a.Priority != b.Priority {
        return a.Priority - b.Priority
    }
    if a.ID  b.ID { return 1 }
    return 0
})

另一个容易漏掉的点是原地修改：调用前如果还要保留原始进入顺序，先用 slices.Clone 复制一份切片。空切片不会触发出界访问，业务上若要区分“没有订单”和“排序后为空”，应在进入排序前保留这个状态。

相关问题

SortStableFunc 会返回一个新切片吗？

不会。它对传入切片原地排序；需要保留原顺序时，用 slices.Clone 先复制。

比较函数返回 0 是错误吗？

不是。它表示当前比较维度下两项相等或不可区分，稳定排序会保留它们的相对顺序。

空切片需要特殊处理吗？

排序空切片不会产生元素，也不会触发出界访问；是否代表“没有订单”由业务状态决定。

小结

slices.SortStableFunc 的价值在于把平局规则交给输入顺序。先确认业务是否要保留同组先后，再决定比较函数只写一个字段，还是明确写出第二个排序键。