Go Kong 的 required 与 default 同时设置会怎样

Go Kong 的普通标志字段同时写 required:"" 和 default:"staging"，并不等于要求用户每次亲自输入。默认值成功解析后，也会让字段处于已赋值状态，因此省略该标志仍可通过必填检查。若你想强制调用者提供参数，应去掉默认值，并检查环境变量等其他赋值来源。

官方地址：https://github.com/alecthomas/kong

以下限定为 Kong v1.16.1 的普通字符串标志，不混入位置参数、互斥组或自定义解析器。固定版本便于对照项目依赖，不代表它是最新版本。

先缩小现象范围

先把命令缩成一个字段：没有子命令，没有配置文件，也没有环境变量。这样可以回答“不传参数为什么仍然成功”，而不会把其他来源误当作 default 的效果。

package main

import (
    "fmt"
    "os"
    "github.com/alecthomas/kong"
)

type CLI struct {
    // 默认值也是赋值来源，required 不等于必须显式输入。
    Target string `required:"" default:"staging" help:"目标环境"`
}

func main() {
    var cli CLI
    parser, err := kong.New(&cli)
    if err != nil {
        fmt.Fprintln(os.Stderr, err)
        os.Exit(1)
    }
    // 使用返回错误的接口，避免把解析失败后的字段值当成功配置。
    if _, err = parser.Parse(os.Args[1:]); err != nil {
        fmt.Fprintln(os.Stderr, err)
        os.Exit(2)
    }
    fmt.Printf("target=%q\n", cli.Target)
}

# 在独立示例目录初始化模块，并锁定本文讨论的依赖版本。
go mod init example.com/kong-required-demo
go get github.com/alecthomas/kong@v1.16.1
# 省略标志与显式覆盖是两个不同输入。
go run .
go run . --target=production

按该版本源码可推得：第一种输入成功使用 staging，第二种使用 production。这里给的是预期行为，不是本机运行记录。若你的项目表现不同，先核对 go.mod、go.sum、环境变量与实际调用的结构体。

检查默认值为何满足必填

理解这个现象，需要把三个实体分开：required 是声明约束，字段值是业务读取的数据，Set 是 Kong 值模型里的已赋值标记。它不是“用户手敲了命令行”的专用标记。

在该版本的 buildField 中，普通标志的 Required 取自 required 标签；model.go 的 Reset 能解析 default，Parse 成功会设置 Set；context.go 的缺失标志检查会放过已经 Set 的字段。这些关系共同解释了默认值为何能满足必填。

不要依据帮助文字里出现 required 就推断它只能来自命令行，也不要依据字符串非空来判断来源。一个最终值能用于业务，并不能证明调用者主动确认过它。

按真正的需求改写字段

若只是想让参数有默认值，把字段写成 Target string `default:"staging"` 即可。若想缺少输入就报错，则使用下面的完整字段策略；原示例的其他部分可以保持一致。

// 将此结构体及方法替换进前面的示例，并在import中加入strings。
type CLI struct {
    Target string `required:"" help:"必须提供非空的目标环境"`
}

func (c *CLI) Validate() error {
    // required 处理缺失，业务检查拒绝显式传入的空字符串或空格。
    if strings.TrimSpace(c.Target) == "" {
        return fmt.Errorf("目标环境不能是空字符串或空白")
    }
    return nil
}

这里的 Validate 是你编写的应用规则，不是文章发布检查。Kong 支持节点实现该方法。要严格限定“只能由命令行提供”，还应从这个字段去掉 env 标签，并梳理配置加载器、resolver 与钩子；仅删除 default 不足以证明来源。

用相反输入确认约束

不要只试正常传值。排查时应同时考虑省略、覆盖、空串与纯空白。下面是普通字符串字段、没有其他来源时的预期矩阵；它用于读者复现时判断结果。

空值和缺失是不同情况。对于整数、时长等字段，非法 default 还可能在解析默认值时产生类型转换错误；required 不会把非法默认值变成合法值。也不要把这个表直接套到位置参数或组合约束上。

相关问题与排查清单

default 设成空字符串是否就不会满足 required？

普通字符串的空默认值仍然是声明过的默认值。该版本用 HasDefault 判断是否解析它，不能把空文本直接当作没有默认值；若业务不接受空内容，仍应显式检查。

删除 default 后为什么还不报缺失？

检查该字段的 env 标签、配置加载器、resolver 和自定义钩子。环境变量成功解析也属于赋值来源。排查时还要确保没有复用被修改过的示例结构体。

怎样确定是依赖版本差异？

先记录项目实际模块版本，再对照同版本的字段构建、默认值重置与缺失检查。本文源码链只说明 v1.16.1，升级后应以所用版本为准。

• 确认字段是普通标志，避免混入位置参数规则。
• 分清缺失、空串、空白和来源要求。
• 选定允许省略还是必须提供，再整理标签。
• 遇到错误先处理返回值，不继续消费半成品配置。

参考：Kong 固定版本文档；字段构建；值模型与默认值；缺失标志检查。