Go slices.SortedStableFunc 怎么保持相等元素顺序：稳定排序与副本边界

同一批订单按优先级排序时，优先级相同的订单通常还要保持原来的进入顺序。Go 1.23 的 slices.SortedStableFunc 正好把“从迭代器收集到新切片”和“稳定排序”放在了一起，但它和会原地修改切片的 slices.SortStableFunc 不是一回事。

需要保留原切片、又想按字段稳定排序时，使用 slices.SortedStableFunc(slices.Values(items), cmp)；如果就是要改写现有切片，则选择 slices.SortStableFunc。

先分清 SortedStableFunc 和 SortStableFunc

这两个函数都使用比较函数返回负数、0 或正数来决定顺序，也都能保持相等元素的相对顺序。真正容易混淆的是数据入口和结果归属：

所以，问题不是哪个函数“更稳定”，而是调用方要不要把排序结果和输入数据隔离开。这个边界在缓存快照、分页结果和多次排序场景里很重要。

SortedStableFunc 如何从切片得到独立结果

下面的例子按 Order 升序排列订单，但比较函数只比较 Order，因此同一优先级的记录会继续保持原来的 Name 顺序。

package main

import (
    "cmp"
    "fmt"
    "slices"
)

type Item struct {
    Name  string
    Order int
}

func main() {
    items := []Item{
        {Name: "包裹-A", Order: 2},
        {Name: "包裹-B", Order: 1},
        {Name: "包裹-C", Order: 2},
    }

    sorted := slices.SortedStableFunc(slices.Values(items), func(a, b Item) int {
        return cmp.Compare(a.Order, b.Order)
    })

    fmt.Println(sorted)
    fmt.Println(items)
}

这里的调用链是 slices.Values 按输入顺序产生元素，SortedStableFunc 收集为新结果，再按 Order 排序。最终 sorted 中两个 Order: 2 的元素仍是 包裹-A、包裹-C，而 items 仍保持原始顺序。

相等元素保序，比较函数不要偷偷加入第二排序键

稳定排序只对“比较结果相等”的元素提供保序保证。如果比较函数把 Order 相等的记录继续按 Name 比较，那么它们已经不再相等，原顺序自然不会被保留。

stable := slices.SortedStableFunc(slices.Values(items), func(a, b Item) int {
    return cmp.Compare(a.Order, b.Order)
})

inPlace := append([]Item(nil), items...)
slices.SortStableFunc(inPlace, func(a, b Item) int {
    return cmp.Compare(a.Order, b.Order)
})

stable 和 inPlace 的排序规则相同，但前者来自新切片，后者改写了 inPlace。如果直接把 items 传给 SortStableFunc，后续读取它时就会看到排序后的顺序。

空输入和版本兼容要提前检查

官方文档说明，SortedStableFunc 在输入序列为空时返回 nil。如果下游代码需要一个非 nil 的 JSON 数组或要直接写入元素，应在业务边界决定是否用 make([]Item, 0) 转换。

这个 API 随 Go 1.23 加入。如果项目的 go.mod 仍声明较老的语言版本，先确认构建工具链和部署环境，再决定是升级最低版本，还是继续使用兼容旧版本的写法。

result := slices.SortedStableFunc(slices.Values(items), func(a, b Item) int {
    return cmp.Compare(a.Order, b.Order)
})
if result == nil {
    result = make([]Item, 0)
}

什么时候该选哪一个

• 需要保留输入快照：选 SortedStableFunc，把 slices.Values(items) 作为输入。
• 明确要更新工作切片：选 SortStableFunc，并在注释或函数命名中说明这是原地变化。
• 相等项需要业务顺序：比较函数只写业务主键，不要无意中追加第二键。
• 接口层要求空数组：对返回的 nil 做一次边界转换，不要把这个行为留给序列化结果碰运气。

相关问答

SortedStableFunc 会修改原切片吗？

不会。它先从 iter.Seq 收集元素，再返回新切片；但新切片中的元素仍可能是引用类型，元素内部对象是否共享要另行判断。

SortStableFunc 和 SortedStableFunc 哪个更快？

不能只凭函数名判断。前者省去了新结果的返回形式但会原地改写，后者要收集到新切片；应结合数据规模、内存预算和是否允许修改输入做基准测试。

稳定排序是否意味着任意字段都会保序？

只有比较函数返回 0 的元素才保序。若比较函数继续比较 Name 等字段，排序规则已经细化，原顺序不再是约束。

SortedStableFunc 低于 Go 1.23 能直接编译吗？

不能把它当作旧版本标准库 API 使用。项目需要先确认工具链版本，必要时改用旧版本可用的排序实现或提高模块最低版本。

小结

SortedStableFunc 的价值在于把迭代器输入、新切片结果和稳定排序语义连在一起。记住“新结果还是原地改写”这条边界，再检查比较函数是否真的把相等项留给稳定性处理，基本就不会在订单、分页或快照代码里误用它。