Go cmp.Or 怎样为多个候选值设置回退值

cmp.Or 适合处理“按优先级取第一个有效值”的场景：把请求参数、环境配置和默认值依次传入，它会返回第一个不等于该类型零值的参数；如果全部是零值，就返回零值。这个函数从 Go 1.22 加入标准库，关键不在于省掉几行 if，而在于把回退顺序直接写在调用处。

确认 cmp.Or 的零值回退语义

cmp.Or 的签名是 func Or[T comparable](vals ...T) T。它逐个检查参数，遇到第一个不等于类型零值的值就返回；没有找到时返回该类型零值。字符串的零值是空字符串，整数是 0，布尔值是 false，指针、切片或映射的零值是 nil。

先用一个字符串例子看顺序关系：

package main

import (
	"cmp"
	"fmt"
)

func main() {
	requestValue := ""
	envValue := "staging"
	defaultValue := "production"

	// 参数从左到右代表优先级：请求值为空时才继续看环境值。
	selected := cmp.Or(requestValue, envValue, defaultValue)
	fmt.Println(selected) // 输出 staging
}

把 requestValue 改成 "preview"，结果就会变成 preview；如果三个值都为空，结果也是空字符串。它不是“最后一个参数永远是默认值”，默认值只有在前面的候选全部为零时才会被选中。

用参数顺序实现配置回退

在配置读取中，建议先明确每个候选的来源，再按“更具体优先、公共默认最后”的顺序调用。这样读代码的人不需要在多个条件分支之间来回确认覆盖关系。

package main

import "cmp"

type Config struct {
	RequestTimeout string
	EnvTimeout     string
	DefaultTimeout string
}

func timeoutValue(cfg Config) string {
	// 请求级配置覆盖环境配置，环境配置再覆盖程序默认值。
	return cmp.Or(cfg.RequestTimeout, cfg.EnvTimeout, cfg.DefaultTimeout)
}

这类写法的结果可以用下面的清单快速判断：

回退链最好保持短小。候选超过三四层时，应该先把配置来源整理成结构化结果，否则虽然调用仍然简洁，真正的覆盖规则会变得难以维护。

处理 comparable 类型与零值边界

泛型约束 comparable 是第一个边界：字符串、整数、布尔值、指针等可以比较，但切片、映射和函数不能直接作为 cmp.Or 的类型参数。多个参数也要保持同一类型，不能把字符串和整数混在一个调用中。

第二个边界更容易被忽略：cmp.Or 把零值当作“无效候选”，这是函数定义，不一定等于业务定义。比如端口号 0 可能代表让系统自动分配，布尔值 false 可能正是用户明确选择的结果。遇到这种情况，应先用显式的“是否提供”标志区分缺省与合法零值，再调用回退逻辑。

type Option struct {
	Value string
	Set   bool
}

func choose(primary, fallback Option) string {
	// 只有 Set 为真时才把值视为候选，避免把业务上的空字符串误当成缺省。
	if primary.Set {
		return primary.Value
	}
	if fallback.Set {
		return fallback.Value
	}
	return "内置默认"
}

这段代码没有强行套用 cmp.Or，原因是“是否设置”已经不是单一值的零值判断。先判断业务状态，再用 cmp.Or 处理纯粹的同类型回退，边界会更清楚。

在多级比较器中组合 cmp.Or

cmp.Or 还有一个很实用的用法：把多个返回 -1、0、+1 的比较函数串起来。前面的字段不相等时立即决定顺序，只有相等才继续比较下一个字段。

package main

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

type Order struct {
	Customer string
	Product  string
	Price    float64
}

func sortOrders(orders []Order) {
	// 先按客户、再按商品，最后按价格倒序；0 才会让比较继续向后。
	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),
		)
	})
}

这里的 0 不是“排序完成”，而是当前比较维度相等，应该让出决定权。价格比较使用 b.Price 在前，因此表示从高到低；如果写成 cmp.Compare(a.Price, b.Price)，方向就会相反。

常见问题

cmp.Or 能不能传入 nil？

可以，但前提是类型本身可比较，例如指针或接口。它只会把 nil 当作该类型零值，返回后续第一个非 nil 值。

cmp.Or 会执行所有候选值的计算吗？

函数参数会先按 Go 的调用规则求值，因此不要把有副作用或昂贵计算直接塞进参数列表。需要短路执行时，先用条件分支得到候选值。

cmp.Or 适合替代所有 if-else 回退吗？

不适合。它只表达“同一类型、零值代表缺省”的回退；只要需要区分显式零值、错误状态或来源元数据，就应保留显式判断。