Go cmp.Or 的多候选回退值实现

在 Go 中，如果一个值可能来自用户输入、环境配置和代码默认值，常见写法是连续判断“是否为零值”。标准库 cmp.Or 可以把这条回退链压缩成按顺序传入的多个候选：它返回第一个不等于该类型零值的参数；如果所有参数都是零值，就返回零值本身。

官方地址：https://pkg.go.dev/cmp

本文围绕一个具体目标展开：让字符串、数值或指针候选按照优先级完成回退，同时把“没有候选命中”“类型不满足约束”和“参数并非惰性求值”这些边界讲清楚。

先把回退链拆成触发场景

把候选放进 cmp.Or 前，先约定什么叫“缺失”。对字符串来说通常是空字符串，对整数来说是 0，对指针来说是 nil。函数不会理解业务上的“无效”，只会使用 Go 的零值规则进行判断。

例如，一个超时配置可以按“请求级配置、环境配置、固定默认值”的顺序选择。只要前面的值不是零值，后面的候选就不会成为结果。

用 cmp.Or 实现多个候选回退

cmp.Or 的签名是 func Or[T comparable](vals ...T) T。参数是可变参数，但所有候选必须推导为同一个可比较类型。调用时应把优先级最高的值放在最前面，显式默认值放在最后面。

package main

import (
    "cmp"
    "fmt"
)

func main() {
    // 空字符串代表这一层没有提供配置，后面的候选继续接管。
    requestTimeout := ""
    envTimeout := "15s"
    defaultTimeout := "5s"

    // 参数顺序就是优先级：请求配置 > 环境配置 > 代码默认值。
    timeout := cmp.Or(requestTimeout, envTimeout, defaultTimeout)
    fmt.Println(timeout) // 15s
}

这里的关键不是把多个字符串拼在一起，而是让每个候选保持完整值。第一个参数为空时，函数继续看第二个；第二个参数为 "15s"，因此最终结果就是 "15s"，不会再使用 "5s"。

没有命中时要不要追加显式默认值

如果所有参数都是零值，cmp.Or 会返回该类型的零值。这个行为适合“没有配置就保持空”的场景，但如果业务必须得到一个可用值，就应该把业务默认值作为最后一个候选。

package main

import (
    "cmp"
    "fmt"
)

func main() {
    // 没有显式默认值时，全部为空会得到空字符串。
    empty := cmp.Or("", "")
    fmt.Printf("empty=%q\n", empty)

    // 把可用值放在末尾，确保回退链始终能给出业务默认值。
    language := cmp.Or("", "", "zh-CN")
    fmt.Printf("language=%s\n", language)
}

数值和指针也是同样的规则。比如 cmp.Or(0, 0, 30) 返回 30；cmp.Or((*Config)(nil), fileConfig, defaultConfig) 会跳过空指针。需要注意的是，非零不等于“通过业务校验”：负数、格式错误的字符串或已经过期的指针仍然可能是非零值，业务校验要放在回退链之外。

把 cmp.Or 放进多字段排序比较器

cmp.Or 不只适合选择配置，也适合串起多级排序比较。每个比较函数返回负数、零或正数；只有前一个比较结果为零，才会继续看后一个字段。

package main

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

type Order struct {
    Customer string
    Product  string
    Price    float64
}

func main() {
    orders := []Order{
        {Customer: "alice", Product: "book", Price: 20},
        {Customer: "alice", Product: "book", Price: 15},
        {Customer: "bob", Product: "pen", Price: 8},
    }

    // 先比较客户，再比较商品，最后按价格从高到低比较。
    slices.SortFunc(orders, func(a, b Order) int {
        return cmp.Or(
            strings.Compare(a.Customer, b.Customer),
            strings.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)
    }
}

这种写法把“比较结果是否为零”与“继续比较哪个字段”放在同一条链上。倒序价格要交换 cmp.Compare 的两个参数；如果业务需要稳定排序，还应让比较器对完全相同的记录返回零，并交给排序 API 按其稳定性规则处理。

检查类型约束和参数求值边界

第一，T 必须满足 comparable。字符串、整数、浮点数、布尔值、指针和只包含可比较字段的结构体可以直接使用；切片、映射和函数不是可比较类型，不能直接作为 cmp.Or 的参数。

第二，cmp.Or 不是惰性选择器。Go 会先计算函数参数，再调用 cmp.Or，所以即使第一个候选已经非零，后面的函数也会执行。

package main

import (
    "cmp"
    "fmt"
)

func loadFromDisk() string {
    // 真实项目中这里可能包含文件读取或解码成本。
    fmt.Println("load from disk")
    return "file-value"
}

func main() {
    // 这两个函数调用都会先完成，cmp.Or 不会短路执行参数。
    value := cmp.Or("request-value", loadFromDisk())
    fmt.Println(value)
}

如果后备来源昂贵、有副作用或必须在前一个候选为空时才访问，就先用普通的 if 判断，再调用后备函数；不要把这种需求误写成 cmp.Or(primary(), fallback())。

常见问题

cmp.Or 能把空切片当作回退条件吗？

不能直接这样做，因为切片不满足 comparable。需要先定义业务上的空切片判断，再用普通条件分支选择，或把可比较的指针、长度或状态值作为候选。

所有候选都是零值时会报错吗？

不会。函数会返回类型零值。是否可接受取决于业务；需要保证结果可用时，把明确的默认值放在最后。

cmp.Or 和逻辑运算符有什么区别？

cmp.Or 处理的是同一类型值的零值回退；它不是布尔运算，也不会短路参数求值。布尔条件组合仍应使用条件表达式或普通分支。

小结

使用 cmp.Or 时记住三点：候选顺序就是优先级；零值判断不是业务有效性校验；所有参数会先求值。对配置回退，它能让默认链更直观；对多字段排序，它能把“相等后继续比较”写成连续的比较结果链。