cmp.Or 组织多级默认值回退的简洁方案

cmp.Or(a, b, c) 按参数顺序返回第一个不等于该类型零值的值，全部为零值时返回零值。它适合把“命令行字段、环境字段、配置文件字段、内置默认值”组织成同一字段的回退表达式，但前提是这个字段确实把零值解释为未配置。cmp.Or 从 Go 1.22 起提供。

问题现场：默认值写得短，却选到了意外结果

假设一个批处理程序允许指定任务名称和工作协程数。开发者希望减少连续的 if 判断，于是把所有来源都交给 cmp.Or。结果发现空白名称没有回退，false 被后面的 true 覆盖，甚至高优先级值已经存在时，后面的加载函数仍然被调用。

这些现象并不矛盾：cmp.Or 是普通泛型函数，不是布尔短路运算符，也不会理解配置里的“已填写”或“合法”。先确定每个字段的缺省规则，再决定能否使用它，通常比继续追加默认参数更有效。

初步判断：先明确什么值表示未配置

字符串的零值是空字符串，整数的零值是 0，布尔值的零值是 false，指针的零值是 nil。cmp.Or 比较的是类型零值，不会自动去空格、判定数值范围或读取指针指向的内容。

优先级是逐字段的，而不是自动选中整份配置文件。即使命令行给出了名称，协程数仍可以来自环境变量。若业务要求“一旦提供命令行配置，就整组覆盖”，应写明确的组级选择逻辑，不应逐字段调用 cmp.Or。

用最小案例区分回退与短路

可以从三个表达式推导其行为：cmp.Or("", "env", "built-in") 选中 env；cmp.Or(0, -2, 4) 选中 -2；cmp.Or(false, true) 选中 true。这些是按函数契约推导的预期，不是本文运行获得的输出。

再考虑 cmp.Or(cachedName, readFileName())。即使 cachedName 已非空，readFileName 仍会作为实参先求值。它包含的磁盘读取、网络请求、日志或副作用不会因前一个候选非零而跳过。因此，昂贵的、可能失败的或有副作用的加载操作，不宜直接塞进回退参数。

如果读取函数返回 (string, error)，也不能把多个这样的双返回值简单排列成普通 string 候选。应先处理错误，或者使用明确的惰性分支。不要为获得一行表达式而把读取失败吞成空字符串。

定位原因：非零值、有效值与存在状态不同

cmp.Or 的类型参数约束是 comparable，并不只限于有序数字和字符串。虽然它位于 cmp 包中，但不能因此把 Or 理解成比较最大值或最小值。它只挑选第一个非零值，不排序。

切片、映射和函数类型不能作为一般的 comparable 候选；非 nil 的指针则会直接被选中，即使它指向的字符串仍为空。对于接口值，还要注意装入一个带类型 nil 指针的接口，本身不等于 nil，可能被当成非零候选。

若必须区分“没有提供”和“明确提供 false 或 0”，应使用存在标记、指针或包含 Set 字段的配置类型，并按存在状态选择。指针方案可以保留 false 或 0，但读取结果前仍需检查 nil。不要把改变类型当成消除所有配置语义问题的捷径。

修复方案：把候选准备与有效性检查分开

下面的完整示例约定：名称经 TrimSpace 后为空表示缺省；协程数 0 表示缺省，负数一律报错；最终协程数不能超过 128。所有来源已经读取和解析完成，cmp.Or 只选择内存中的候选值。4 和 128 都是示例业务参数，并不是 Go 规定的通用上限。

package main

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

type source struct {
    Name    string
    Workers int // 本例约定：0 表示未配置，负数是错误。
}

type config struct {
    Name    string
    Workers int
}

func resolve(cli, env, file source) (config, error) {
    // 不让高优先级配置遮住其他来源中的非法负数。
    for _, s := range []source{cli, env, file} {
        if s.Workers  128 {
        return config{}, fmt.Errorf("工作协程数不能超过 128")
    }
    return result, nil
}

func main() {
    // 示例使用内存中的来源值；真实读取和解析在调用前完成。
    cli := source{Name: "  "}
    env := source{Workers: 6}
    file := source{Name: "report-worker", Workers: 2}
    result, err := resolve(cli, env, file)
    if err != nil {
        fmt.Println("配置失败:", err)
        return
    }
    fmt.Printf("名称=%s，工作协程=%d\n", result.Name, result.Workers)
}

输入层还应把环境变量或文件中的数值解析错误显式返回，而不是把非法文本悄悄转换为 0。示例对所有来源的负数做提前检查，对最终选中值做上限检查；未选中来源的其他业务规则是否需要检查，应由项目约定决定，不能含糊地称为“所有配置均有效”。

如果备用名称必须按需加载，使用下面这种单独函数。该片段可放入与示例相同的包中；这里的主值已经按需要完成归一化。

func chooseName(primary string, loadFallback func() (string, error)) (string, error) {
    // 只在确实缺省时调用加载函数，保留加载失败的错误。
    if primary != "" {
        return primary, nil
    }
    return loadFallback()
}

这时“主值存在就不加载备用值”的行为由 if 分支保证，同时备用读取错误仍能传给调用方。cmp.Or 继续用于廉价、已准备好的值，惰性加载使用控制流，两种写法服务不同需求。

对照预期结果与常见问题

按示例输入推导，名称应为 report-worker，协程数应为 6：命令行名称去空白后缺省，环境名称缺省，文件名称有效；协程数则从环境字段取得。若把命令行协程数改为负数，应得到配置错误；若所有协程数都为 0，则使用默认值 4。这里给出结果判读方法，没有宣称执行过测试。

不传任何参数会怎样？需要明确类型，例如 cmp.Or[string]()，结果是字符串零值。没有参数且不提供类型时，编译器没有足够信息推导类型。若业务要求始终取得可用默认值，应显式提供非零兜底候选。

空白字符串会自动回退吗？不会。只有空字符串是字符串零值。是否先 TrimSpace 是业务规则；密码、格式化文本等字段不能未经约定就删除首尾空白。

能否替代所有配置合并逻辑？不能。它不携带来源标识、不解析输入、不处理加载错误，也不能单独表达字段的存在状态。需要追踪配置来自哪一层时，可以在选择时同时保留来源元数据，或写显式分支。

官方资料：https://pkg.go.dev/cmp#Or、https://go.dev/ref/spec#Calls。采用前先确定零值语义、候选优先级和参数成本，再让 cmp.Or 缩短真正重复的字段回退逻辑。