Go cmp.Or 处理多个默认值时怎样区分空字符串和零值

cmp.Or 的关键不是“空字符串优先”，而是“零值优先级”。它会从左到右寻找第一个不等于类型零值的参数：对 string 来说是非空字符串，对 int 来说是非零数字，对 bool 来说是 true。因此，业务上有意义的空字符串或数字 0 不能直接交给它判断存在性。

官方文档：https://pkg.go.dev/cmp

cmp.Or 到底把什么当作“没有值”

cmp.Or 是 Go 1.22 加入标准库 cmp 包的泛型函数，签名是 func Or[T comparable](vals ...T) T。它只要求参数可比较，然后把每个参数与该类型的零值比较。

package main

import (
	"cmp"
	"fmt"
)

func main() {
	// 空字符串是 string 的零值，所以会继续取下一个候选值。
	name := cmp.Or("", "guest")
	// 0 是 int 的零值，因此这里会得到 8080，而不是 0。
	port := cmp.Or(0, 8080)
	// false 是 bool 的零值，true 才会被当作已提供的候选值。
	verbose := cmp.Or(false, true)

	fmt.Println(name, port, verbose)
}

这段写法适合“空值就回退”的配置：没有填写端口就用默认端口，没有填写名称就显示默认名称。若所有候选都是零值，函数不会凭空生成一个非零结果，而是返回该类型的零值。

为什么空字符串和数字 0 都会被默认值覆盖

因为 cmp.Or 不知道“用户有没有填写”这层业务语义，它只执行类型级别的零值判断。下面三种结果看起来相似，业务含义却可能完全不同：

真正的陷阱是：数字 0 可能代表“关闭重试”，空字符串也可能代表“主动清空继承值”。这时把它们和“根本没配置”混在一起，默认值就会覆盖用户的明确选择。

业务上必须保留显式 0 或空字符串时怎么办

把值和存在性拆开。下面的结构中，Value 保存原值，Valid 表示调用方是否真的提供了它；所以 0 和空字符串都能被保留。

package main

import "fmt"

type Optional[T any] struct {
	Value T
	Valid bool
}

func chooseInt(primary Optional[int], fallback int) int {
	// 先看 Valid，再读取 Value；这样显式 0 不会被误判为缺省。
	if primary.Valid {
		return primary.Value
	}
	return fallback
}

func main() {
	// Valid=true 表示用户明确选择了 0，而不是没有输入。
	configured := Optional[int]{Value: 0, Valid: true}
	fmt.Println(chooseInt(configured, 3)) // 0
}

字符串场景完全相同：Optional[string]{Value: "", Valid: true} 表示主动清空，而 Valid: false 才表示未设置。项目也可以用指针或专门的配置类型表达这层区别，关键是不要再把“值等于零”当成“值不存在”。

什么时候继续使用 cmp.Or

可以把选择标准压缩成一句话：如果零值就代表“没有提供”，用 cmp.Or；如果零值本身是业务数据，就用存在标记。

• 适合：读取环境变量后的空字符串回退、显示名称缺省、可选文本和普通排序比较结果的默认值。
• 谨慎：端口、超时、重试次数、金额、阈值等数值字段，0 往往具有明确含义。
• 不要混用：不要先用 cmp.Or 把显式 0 覆盖掉，再尝试从结果反推用户是否配置过，这个信息已经丢失。

因此，cmp.Or 解决的是“按零值回退”的简洁表达，不是通用的 Option 类型。先确认输入契约，再决定是否使用它，代码会比事后补救更清楚。

几个容易混淆的问题

cmp.Or 能不能把空字符串当成有效值？

不能直接做到。空字符串就是 string 的零值；要把它当作有效输入，必须额外保存存在标记，或者把值包装成指针、结构体等可表达“已设置”的类型。

所有候选都是零值时返回什么？

返回该类型的零值。例如 cmp.Or("", "") 返回空字符串，cmp.Or(0, 0) 返回 0。它不会把最后一个参数强行视为默认值。