Go cmp.Or 组合默认值的泛型写法

在配置覆盖、请求参数兜底这类代码里，我以前常写一串 if value == ""。Go 1.22 提供了标准库 cmp.Or 后，这种“按顺序取第一个非零值”的逻辑可以收敛成一个泛型调用：cmp.Or(requestValue, envValue, fallback)。它要求所有候选值是同一类型，并把空字符串、0、false、nil 等语言零值视作“继续找下一个”。

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

实际落地时先确认一件事：业务上的“未填写”必须与 Go 零值一致，才能放心用 cmp.Or。如果 0 或 false 是合法输入，就应先做显式校验，再决定是否组合默认值。

cmp.Or 的泛型约束和零值语义

cmp.Or 的签名是 func Or[T comparable](vals ...T) T。这里的 T 必须满足 comparable，因为函数要把每个候选值与该类型的零值比较。字符串、整数、布尔值、指针、数组等常见可比较类型可以直接使用；切片、映射和函数不能直接作为 T。

“非零”不是“非空白”“非负数”或“通过业务校验”。例如 0 是整数零值，false 是布尔零值，nil 是指针零值。它们会触发继续选择，但业务是否允许这些值，需要由调用方先定义。

直接组合字符串、数值和指针候选值

候选参数从左到右排列，越靠前优先级越高。下面的辅助函数不改变标准库规则，只是给配置读取代码提供一个更容易复用的入口。

package defaults

import "cmp"

// FirstNonZero 按候选顺序返回第一个非零值；所有候选值必须是同一可比较类型。
func FirstNonZero[T comparable](values ...T) T {
	// cmp.Or 负责与 T 的零值比较；没有命中时返回 T 的零值。
	return cmp.Or(values...)
}

// ResolvePort 组合请求参数、环境配置和代码兜底端口。
func ResolvePort(requestPort, envPort int) int {
	// 这里把 0 约定为“没有提供”，因此 0 不会成为最终端口。
	return FirstNonZero(requestPort, envPort, 8080)
}

字符串场景可以直接写 cmp.Or(requestName, envName, "default")；指针场景则可以把 nil 作为缺省值判断。泛型辅助函数的价值在于统一候选顺序和返回类型，而不是隐藏业务规则。

把候选顺序、类型和零值边界写进检查表

还有一个容易被忽略的迁移差异：候选值必须统一推导到同一个 T。不要期待 int32、int 和无类型常量自动组成一套任意混合的默认链；必要时先显式转换，再调用泛型函数。这样错误会在编译阶段暴露，而不是把配置问题拖到运行时。

合法零值不能交给 cmp.Or 代替业务校验

如果接口允许用户把超时时间设置为 0 表示“立即返回”，那么 cmp.Or(userTimeout, defaultTimeout) 会错误地换成默认值。布尔开关也一样：false 可能是用户明确关闭功能，而不是没有配置。

这时应先区分“有没有传入”和“传入的值是多少”，例如用指针、显式的 ok 标记或专门的配置类型表达存在性，再对实际值做范围校验。cmp.Or 适合解决候选值的零值兜底，不适合代替参数校验、权限判断和错误返回。

常见问题

cmp.Or 从哪个 Go 版本开始可用

它随 Go 1.22 加入标准库 cmp。项目如果还支持更早版本，需要在 go.mod 与构建矩阵中确认兼容策略，不能只在本机升级编译器后直接合并。

为什么 cmp.Or 不能接收 []string

切片不满足 comparable，而 cmp.Or 需要把候选值与零值比较。切片默认值应使用 nil 判断或定义业务层的“空切片是否有效”规则。

想把 false 保留为有效值怎么办

不要直接把 false 放进默认链。用指针或存在标记区分“未提供”和“明确传入 false”，然后在完成存在性判断后再选择默认值。

这次迁移可以压缩成一张清单：先确认项目版本，再保证候选类型一致，接着验证零值是否等于业务缺省，最后为合法零值保留显式校验。满足这四点时，cmp.Or 的泛型写法既短，又不会把配置语义藏起来。