Go slices.SortStableFunc 排序结果为什么不稳定：比较函数必须满足的判定边界

很多开发者在使用Go标准库`slices.SortStableFunc`时会遇到反常情况：明明用的是官方说明会保留相等元素原有相对位置的稳定排序方法，同一份输入序列多次运行排序后，得到的结果却不一样，完全达不到稳定排序的预期，这类问题几乎都源自自定义比较函数没有满足Go排序接口要求的判定边界规则。

只要你实现的比较函数没有严格满足「对任意a、b入参，less(a,b)和less(b,a)不能同时为真，也不能同时为假之外的其他逻辑冲突」，哪怕用的是Stable系列排序方法，最终结果也会出现看似不稳定的异常表现，这不是标准库的bug，是比较函数违反排序契约导致的。

列表页要按优先级排序，又要让同一优先级的任务保持入队顺序时，slices.SortStableFunc 很合适。但“稳定”只约束比较器判定为相等的元素；如果比较器一会儿说 A 在 B 前面，一会儿又说 B 在 A 前面，稳定排序也无法替你补上规则。

先把“稳定”与“比较相等”分开

官方定义里，SortStableFunc 会按照比较函数排序，并保持“相等元素”的原始顺序。这里的相等不是 Go 的 ==，而是比较函数返回 0。比如任务只有 Rank 一个排序键，两个任务的 Rank 都是 2，它们才属于同一组，原来的 OriginalIndex 顺序会被保留。

因此，下面两句话不能混为一谈：稳定排序保证同组元素不乱动；比较器决定谁属于同组。比较器不满足严格弱序时，排序结果可能随输入排列、数据规模或实现细节变化，问题不在“稳定”这个 API 名称。

用负、零、正返回值写比较器

比较函数的约定很简单，但最容易被写反。负数表示第一个参数应该排在第二个参数前面，正数表示排在后面，零表示当前排序键无法区分两者。标准库的 cmp.Compare 适合把整数、字符串等基础字段转换成这个约定。

type Task struct {
    Name          string
    Rank          int
    OriginalIndex int
}

slices.SortStableFunc(tasks, func(a, b Task) int {
    return cmp.Compare(a.Rank, b.Rank)
})

这个比较器只看 Rank，所以 Rank 相同的 Task 会按输入顺序保留。不要在比较器里随机返回结果，也不要把“相等”写成固定的正数；后者会直接破坏稳定性预期。

用 slices.IsSortedFunc 检查排序关系

只打印切片看结果不够，尤其是业务记录字段很多时。排序后可以使用 slices.IsSortedFunc，把同一个比较器传进去，确认切片整体是否按升序排列。

less := func(a, b Task) int {
    return cmp.Compare(a.Rank, b.Rank)
}

slices.SortStableFunc(tasks, less)
if !slices.IsSortedFunc(tasks, less) {
    panic("unexpected task order")
}

这个检查只能说明排序关系成立，不能替代业务检查。输入里如果有多个 Rank 相同的任务，还要核对它们的 OriginalIndex 是否仍然递增；若顺序不对，先检查比较器是否偷偷加入了另一个字段。

多字段排序与严格弱序的边界

当 Rank 相同后还需要按 CreatedAt、最后再按 ID 排序，字段优先级必须固定。一个容易维护的写法是把比较器单独命名，让每一级只在前一级返回 0 时生效：

compareTask := func(a, b Task) int {
    if n := cmp.Compare(a.Rank, b.Rank); n != 0 {
        return n
    }
    if n := cmp.Compare(a.CreatedAt, b.CreatedAt); n != 0 {
        return n
    }
    return cmp.Compare(a.ID, b.ID)
}

这里的 Rank、CreatedAt、ID 是稳定的业务排序键，compareTask 给出单一的判定规则；它们共同落在 Strict weak ordering 的约束内。最后的 ID 不是为了“让结果看起来更整齐”，而是为了避免两个本应区分的对象长期被判成相等。

可以用 slices.IsSortedFunc 做整体复查，同时拿三条记录检查传递性：如果 a 排在 b 前、b 排在 c 前，就不应出现 c 又排在 a 前。若业务确实需要同键保序，就让比较器在那个边界返回 0，并确认这正是产品规则。

相关问题

SortStableFunc 能保证每次输出字节级一致吗？

不能。只有比较器返回 0 的元素保持输入顺序；如果输入顺序或比较关系改变，输出也可能改变。

什么时候应该使用 SortFunc？

当相等元素的原始顺序没有业务意义时可以使用 SortFunc，但比较器仍然必须满足同样的严格弱序约束。

IsSortedFunc 返回 true 就代表业务排序正确吗？

它只证明切片符合传入比较器的升序关系。字段优先级、相等元素保序和最终兜底键仍需要按业务规则检查。