Go slices.SortStableFunc 按多字段排序时如何写稳定比较器

slices.SortStableFunc 的关键不是“把多个字段拼起来”，而是让比较器按照字段优先级返回三态结果：主字段不同就直接决定顺序，主字段相同再比较次字段；所有参与排序的字段都相同时返回 0。这样既能实现“团队升序、优先级降序”，也能让真正等价的记录保留输入顺序。

先把“稳定”与“多字段”分开理解

SortStableFunc 会原地排序切片。它和普通自定义排序的比较函数形状相同：比较 a、b 后返回一个整数；但当比较结果为 0 时，会尽量保持这两个等价元素在原切片中的先后关系。这里的“等价”只由比较器决定，不是比较两个结构体的所有字段。

例如订单列表只按 Team 和 Priority 排序，那么同一团队、同一优先级的订单就是等价记录。它们的 Name、创建时间或原始位置不会再被排序函数主动比较，原有顺序才有机会保留下来。

按字段优先级逐层返回比较结果

下面的例子要求团队名称升序，同一团队内优先级降序。注意降序不是把结果转成布尔值，而是交换 cmp.Compare 的两个参数。

package main

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

type Task struct {
	Team     string
	Priority int
	Name     string
}

func main() {
	tasks := []Task{
		{Team: "平台", Priority: 2, Name: "缓存清理"},
		{Team: "应用", Priority: 1, Name: "登录回归"},
		{Team: "平台", Priority: 2, Name: "索引检查"},
		{Team: "平台", Priority: 3, Name: "容量评估"},
	}

	slices.SortStableFunc(tasks, func(a, b Task) int {
		// 先比较主字段；团队不同就不再读取后面的字段。
		if n := strings.Compare(a.Team, b.Team); n != 0 {
			return n
		}
		// 交换参数实现优先级降序，避免用减法造成整数溢出。
		return cmp.Compare(b.Priority, a.Priority)
	})

	// 这里按 Team、Priority 排序；同值任务维持输入先后。
	fmt.Println(tasks)
}

比较顺序可以写成一张简单的规则表：

真正需要稳定顺序时不要添加“隐藏的第三列”

常见误区是：Team 和 Priority 相等后，再用 Name 或时间作为兜底。这样能得到更确定的全序，但比较结果不再是 0，稳定排序也就不会为同组记录保留原顺序。是否追加第三个字段，取决于业务目标：

• 需要保留导入顺序、队列顺序或人工排列：在第二个字段相等时直接返回 0。
• 需要每次输出完全确定，且业务允许按名称打破平局：再比较 Name，并把它明确写进排序规则。

稳定排序不是“所有未参与排序的字段都不能变化”，它只保证比较器认定为等价的元素保持相对顺序。排序前后的切片仍然是同一个切片，元素本身也不会被复制成另一份。

三个容易让比较器失真的写法

用差值比较整数：return a.Priority - b.Priority 在数值范围很大时可能溢出，结果方向会反转。优先使用 cmp.Compare。

方向只改一半：如果主字段升序、次字段降序，就只交换次字段的参数；不要先得到布尔值再强行映射成 -1 和 1。

比较器不满足一致性：同一对元素无论比较顺序如何，都应符合同一套规则；不要在比较器里读取会变化的全局状态，也不要让相同字段组合有时返回 0、有时返回非 0。

常见问题

SortStableFunc 会返回一个新切片吗？

不会。它接收并重新排列传入的切片；如果要保留原顺序，应先复制一份再排序。

比较结果为 0 就代表两个结构体完全相等吗？

不代表。0 只表示它们在当前比较器选定的排序字段上等价，其他字段仍然可能不同。

什么时候应该用 SortFunc 而不是 SortStableFunc？

如果等价元素的原始相对顺序没有业务意义，可以用 SortFunc；需要保留导入、分页或人工排列顺序时，优先考虑稳定版本。