Go cmp.Or 如何区分零值和显式默认值

做配置合并时，cmp.Or 很方便：从左到右返回第一个非零值。但“非零”正是它的判断依据，所以它无法知道一个 0 是用户没填，还是用户明确要求使用 0。需要保留显式零值时，必须把“是否提供”和“值”拆开表达。

cmp.Or 的判断标准不是“有没有传参”

cmp.Or 从 Go 1.22 开始提供，签名是 func Or[T comparable](vals ...T) T。它比较的是每个参数与该类型零值是否相等，而不是检查参数列表里是否出现过这个位置。

因此，字符串的零值是 ""，整数是 0，布尔值是 false。如果所有参数都为零值，函数最后返回该类型的零值；只要遇到第一个非零值，就停止选择。

一个配置回退例子就能暴露边界

假设服务允许从请求、文件配置和代码默认值中选择超时时间。下面的写法适合“0 代表没有设置”的约定：

package main

import (
    "cmp"
    "fmt"
)

func main() {
    requestTimeout := 0
    fileTimeout := 15
    defaultTimeout := 30

    // cmp.Or 把 0 当作空候选，继续尝试文件配置。
    timeout := cmp.Or(requestTimeout, fileTimeout, defaultTimeout)
    fmt.Println(timeout) // 预期输出：15

    // 所有候选都是 0 时，结果仍然是 int 的零值。
    fmt.Println(cmp.Or(0, 0, 0)) // 预期输出：0
}

这里的结果没有错，错的是把两种业务语义混在了同一个整数里：请求没有带超时，和请求明确要求“不设置超时”都被编码成了 0。对 string、bool 也一样：空字符串与 false 都会被跳过。

要保留显式零值，就把存在性分离出来

请求对象可以用 *int 表示可选字段：nil 表示没有提供，指向 0 则表示明确提供了 0。此时不要把指针直接交给 cmp.Or，因为非 nil 指针本身已经是非零指针，比较逻辑会变成“选第一个地址”，而不是选择业务值。

package main

import "fmt"

// valueOr 在确认字段存在后返回它的值，保留显式 0。
func valueOr[T any](value *T, fallback T) T {
    if value != nil {
        return *value
    }
    return fallback
}

func main() {
    explicitZero := 0
    absent := (*int)(nil)

    // 非 nil 只代表“传入了”，解引用后仍然可以得到 0。
    fmt.Println(valueOr(&explicitZero, 30)) // 预期输出：0
    fmt.Println(valueOr(absent, 30))        // 预期输出：30
}

如果字段很多，也可以定义 Optional[T]，保存 Value T 与 Set bool。这比到处传指针更适合内部领域模型；关键原则不变：先判断存在性，再读取值。

值回退与可选配置的选择清单

还要注意版本：使用标准库 cmp.Or 时，模块的 Go 版本至少应能提供 Go 1.22 的 API。若项目需要兼容更早版本，可以写一个明确的泛型循环，但仍要先决定零值到底代表“缺省”还是“有效值”。

常见问题

cmp.Or 能判断参数是否显式传入吗？

不能。函数接收的只是已经求值后的参数，没有“缺席”元数据；显式零值和零值变量会得到同样的判断。

把指针传给 cmp.Or 能解决问题吗？

通常不能。非 nil 指针本身是非零值，返回的是指针候选，不会替你解引用并判断底层整数是否为 0。

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

返回该类型的零值。因此最后一个参数也必须符合你的缺省策略，不能把它当成强制兜底校验。

判断很简单：如果业务只需要“第一个非零候选”，用 cmp.Or；如果显式零值有独立含义，就先保存存在性，再返回值。