Go cmp.Compare 的排序结果组合方法

多字段排序最容易写成一串难读的 if：先比较客户，再比较商品，最后把价格倒序；一旦字段相等，还要继续把结果传给下一个条件。Go 的 cmp.Compare 可以把可排序值直接变成 -1、0 或 1，再用 cmp.Or 取第一个非零结果，就能把排序优先级写成一组清楚的比较表达式。

本文用一个订单切片完成这个小实验：客户名称升序、商品名称升序、价格降序。核心不是记住某段固定代码，而是理解“单字段结果—优先级组合—排序入口”这条关系。

先确认 cmp.Compare 返回什么

cmp.Compare(x, y) 适用于 cmp.Ordered 约束覆盖的整数、无符号整数、浮点数、字符串等有序类型。它返回三个离散结果：x 时为 -1，相等时为 0，x > y 时为 1。排序器真正需要的正是这种“负数、零、正数”语义，而不是只回答小于关系的布尔值。

package main

import (
    "cmp"
    "fmt"
)

func main() {
    // 三值结果可以直接表达两个值的相对顺序。
    fmt.Println(cmp.Compare(12, 20))
    fmt.Println(cmp.Compare("go", "go"))
    fmt.Println(cmp.Compare("z", "a"))
}

预期输出依次是 -1、0、1。如果只需要比较一个字段，直接返回这个结果即可；不要再把它转换成 true/false，否则还要重新设计相等分支。

用 cmp.Or 把多个字段按优先级串起来

cmp.Or 接收多个可比较值，返回第一个不等于零的值；如果所有参数都是零，就返回零。这个语义很适合表达“先按客户，再按商品，最后按价格”的规则：前一个字段不同，后面的字段不会改变结果；前一个字段相等，才由下一个字段决定顺序。

package main

import (
    "cmp"
    "fmt"
)

func compareOrder(customerA, customerB string, priceA, priceB float64) int {
    // 客户和商品等字段相等时，才继续比较后面的字段。
    return cmp.Or(
        cmp.Compare(customerA, customerB),
        cmp.Compare(priceB, priceA), // 交换参数，把价格改为降序
    )
}

func main() {
    // 客户不同，价格结果不会抢走客户字段的优先级。
    fmt.Println(compareOrder("alice", "bob", 99, 1))
    // 客户相等时，较高价格排在前面。
    fmt.Println(compareOrder("alice", "alice", 99, 1))
}

降序的关键不是修改返回值，而是交换 cmp.Compare 的两个参数。例如价格降序使用 cmp.Compare(b.Price, a.Price)。直接写负号虽然通常也能工作，但交换参数更容易和字段方向一起检查。

把组合比较器交给 slices.SortFunc

下面把字段优先级完整放进 slices.SortFunc。比较函数返回 int，正好可以把每个字段的 cmp.Compare 结果交给 cmp.Or。

package main

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

type Order struct {
    Customer string
    Product  string
    Price    float64
}

func main() {
    orders := []Order{
        {Customer: "bob", Product: "book", Price: 3},
        {Customer: "alice", Product: "pen", Price: 4},
        {Customer: "alice", Product: "pen", Price: 7},
        {Customer: "alice", Product: "bag", Price: 9},
    }

    slices.SortFunc(orders, func(a, b Order) int {
        // cmp.Or 保留第一个非零字段，形成明确的排序优先级。
        return cmp.Or(
            cmp.Compare(a.Customer, b.Customer),
            cmp.Compare(a.Product, b.Product),
            cmp.Compare(b.Price, a.Price), // 同客户同商品时价格降序
        )
    })

    for _, order := range orders {
        // 输出字段用于观察排序后的相对位置。
        fmt.Printf("%s %s %.0f\n", order.Customer, order.Product, order.Price)
    }
}

这个比较器的阅读顺序就是排序规则：先看 Customer，再看 Product，最后看 Price。相同客户和商品的两条订单，会按价格 7、4 的顺序排在一起；客户和商品不同的记录不会被价格字段越级改写。

运行检查：相等、降序和浮点边界

检查排序结果时，重点看三个条件。第一，前置字段相等时是否真的进入下一个比较；第二，降序字段是否交换了参数；第三，浮点数据是否可能出现 NaN。官方 cmp.Compare 对浮点数规定：NaN 小于任何非 NaN，两个 NaN 彼此相等，负零与正零相等。

因此，价格字段如果来自外部数据，应该先决定业务是否允许 NaN。若不允许，应在进入排序前处理输入；若允许，则把官方的比较语义当作规则写进测试，不要用普通的 和 == 自己拼一套相反逻辑。

几个容易混淆的问题

cmp.Compare 可以直接当 bool 用吗？

不可以。它返回的是整数结果；排序函数要的是负、零、正三类关系，若只是判断小于，应使用 cmp.Less 或直接使用适合场景的布尔表达式。

cmp.Or 会保证稳定排序吗？

不会。cmp.Or 只负责组合比较结果，稳定性由使用的排序 API 和相等元素的处理共同决定。它解决的是字段优先级表达，不是稳定性承诺。

为什么价格降序要写成 cmp.Compare(b.Price, a.Price)？

因为比较器把“返回负数”解释为第一个参数应排在前面。交换参数后，原本较大的价格会先得到负向结果，从而实现降序。

最后可以把这套写法记成一句话：单字段用 cmp.Compare 得到三值结果，多字段用 cmp.Or 保留第一个非零结果，最终把比较器交给 slices.SortFunc。这样排序规则和代码顺序一致，后续增加字段时也只需要明确它在优先级中的位置。