Go slices.IsSortedFunc 怎样按自定义比较器判断切片有序

如果切片元素是结构体，不能直接用 slices.IsSorted 表达“先按分数、再按名称”的业务顺序，可以把同一套比较器交给 slices.IsSortedFunc。它返回一个布尔值：切片是否已经按照比较器定义的升序排列。

官方文档：https://pkg.go.dev/slices#IsSortedFunc

我在迁移这类检查时会先固定比较器，再判断切片。这样“排序”和“检查是否有序”共享同一套规则，避免排序按分数、检查却按名称导致结果互相矛盾。本文只讨论有序性判断，不把它扩展成排序或查找函数。

趋势信号：标准库开始接住自定义顺序

slices.IsSortedFunc 是标准库 slices 包中的泛型函数，签名为 func IsSortedFunc[S ~[]E, E any](x S, cmp func(a, b E) int) bool。官方定义要求它使用与 slices.SortFunc 相同的比较器约定：前者应排在后者前面时返回负数，相等时返回零，前者应排在后者后面时返回正数。

具体场景：先按分数再按名称判断

下面的记录先按 Score 升序排列；分数相同时，再按名称升序排列。比较器只负责描述顺序，IsSortedFunc 负责检查相邻元素是否持续满足这个顺序。

package main

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

type Player struct {
	Name  string
	Score int
}

func playerOrder(a, b Player) int {
	// 先比较分数，分数相同再用名称打破平局。
	if a.Score != b.Score {
		if a.Score 

这段代码的关键是比较器只有一个来源。若排序时使用了另一套规则，IsSortedFunc 得到的结果就不能代表调用方真正关心的顺序。需要降序时，也应在比较器内部明确反转规则，而不是把“升序”写在函数名外面。

风险边界：相等项、逆序项和空切片

相等项不会让结果变成 false。只要比较器对相邻元素返回零，它们就是同一排序位置；空切片和单元素切片没有逆序关系，也应被视为有序。真正会让结果变成 false 的，是某一对相邻元素违反了比较器定义的顺序。

func ordered(players []Player) bool {
	// 空切片和单元素切片由 IsSortedFunc 直接按有序处理。
	return slices.IsSortedFunc(players, playerOrder)
}

func descendingPlayerOrder(a, b Player) int {
	// 复用同一比较器的正负关系，得到分数降序的检查规则。
	return -playerOrder(a, b)
}

比较器还要保持一致：同一组数据不能让 a 和 b 同时成立，也不要在比较过程中读取会变化的外部状态。若规则本身不稳定，返回的布尔值就没有可靠的业务含义。

迁移选择：何时保留旧的 sort.SliceIsSorted

旧代码使用 sort.SliceIsSorted 时，迁移不应只看函数名长短。sort 版本接收任意值和索引比较函数，反射边界更宽；slices.IsSortedFunc 则在泛型切片上直接传入元素比较器，类型关系更清晰。新代码使用结构体切片时，后者通常更容易把比较器单独复用在排序和检查中。

常见追问

IsSortedFunc 会自动排序吗？不会，它只读取切片并返回是否有序，不会改写元素。

比较器返回布尔值可以吗？不可以。它需要返回负数、零或正数来表达相对顺序。

相等元素必须去重吗？不需要。有序判断只关心顺序，重复元素只要没有违反比较规则就仍然有序。

实际使用时，把比较器当成排序规则的唯一真相：先写清主次字段，再让排序和 IsSortedFunc 共用它。这样返回的布尔值才是在回答业务问题，而不是只回答某一段临时代码是否看起来排过序。