Go flag 怎样处理 -- 后面的透传参数

Go flag 遇到独立的 -- 会停止解析选项，消费这个分隔符，把剩余项留在 Args() 中。包装程序应只解析自己的选项，再用剩余切片的第一项作为子命令名、后面的项作为子命令参数。不要把切片拼成字符串后重新拆分，也不要删除子命令自己的第二个 --。

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

先明确谁拥有哪些选项

假设 relay 有一个布尔选项 -v，而 worker 有 --mode。直接把 --mode 放在包装层选项区，relay 会把它当成自己的选项，并可能因未定义而报错。约定 relay -v -- worker --mode fast 后，独立 -- 就是外层解析边界：前面的 -v 属于 relay，后面的 worker 和 --mode fast 不再由这个 FlagSet 解释。

这里区分独立的 -- 与 --mode：标准 flag 允许单短横线或双短横线选项名，两者并不意味着透传。真正终止解析的是单独一项 --，而不是所有以双短横线开头的文本。

最小配方：Parse 之后读取同一个 FlagSet 的 Args

下面是完整程序，先只展示参数归属，方便读者复现，不会启动 worker。使用 ContinueOnError 可以自行处理错误；解析失败不应继续执行子命令。

package main

import (
    "flag"
    "fmt"
    "os"
)

func main() {
    fs := flag.NewFlagSet("relay", flag.ContinueOnError)
    verbose := fs.Bool("v", false, "显示包装层信息")
    // 不传os.Args[0]；第一个独立--结束包装层选项解析。
    if err := fs.Parse(os.Args[1:]); err != nil {
        if err == flag.ErrHelp {
            return
        }
        os.Exit(2) // 解析失败时不要继续使用部分参数。
    }
    rest := fs.Args()
    if len(rest) == 0 {
        fmt.Fprintln(os.Stderr, "缺少子命令")
        os.Exit(2)
    }
    childName := rest[0]
    childArgs := rest[1:] // 保留每一项，不拼接后重新分词。
    fmt.Printf("包装层v=%t\n", *verbose)
    fmt.Printf("子命令=%q 参数=%q\n", childName, childArgs)
    // 本示例仅展示解析结果，不启动子进程。
}

采用独立 FlagSet 时，应调用 fs.Args()，不要混用全局 flag.Args()。传给 Parse 的切片不包含程序名，因此使用 os.Args[1:]。布尔选项要显式关闭时使用 -v=false，而不是 -v false；后者的 false 会成为普通参数并结束选项解析。

Args 不一定只来自双短横线之后

标准 flag 在第一个普通参数之前也会停止，单独的 - 同样是普通参数。因此 relay worker -v 中的 -v 不属于包装层，而在剩余切片里。更容易忽略的是 relay worker -- -odd.txt：解析已经在 worker 前停止，后面的 -- 仍保留在剩余参数中，不会再被外层消费。

还要留意有值选项。例如若另有字符串选项 -label，输入 -label -- 时，-- 可能被作为该选项的值读取，而不是终止符。透传约定应把有值选项写清楚，可使用 -label=demo，再放独立 --。这不是从原始参数里无条件寻找第一个 -- 就能完整表达的语义。

表格是依据解析规则给出的预期，不是本机执行记录。读者可用完整程序自行核对每项打印内容。

透传变体：保留子命令自己的 --

# 假设已把完整示例构建为relay；这里只展示读者可复现的输入。
./relay -v -- worker --mode fast "file name.txt"
# 外层--被消费，后面的第二个--属于子命令。
./relay -- worker -- -odd.txt
# 空字符串也是一项参数，不应被丢弃。
./relay -- worker ""

在第二个例子中，worker 的参数是 -- 和 -odd.txt。是否把 -odd.txt 视为文件名由 worker 决定；包装层不能替它删分隔符。第三个例子里的空字符串也属于参数数组。引号通常由调用 shell 处理，不会作为原样引号字符交给 Go；因此不要在 Go 里再次按空格拆分。

接入子进程时，不要引入第二次分词

进程接口文档：https://pkg.go.dev/os/exec

// 放在取得childName和childArgs之后；所在文件需导入os/exec。
// 真实包装器应先校验允许的可执行程序或固定绝对路径。
cmd := exec.Command(childName, childArgs...)
cmd.Stdin = os.Stdin
cmd.Stdout = os.Stdout
cmd.Stderr = os.Stderr
if err := cmd.Run(); err != nil {
    fmt.Fprintln(os.Stderr, "子命令失败:", err)
    os.Exit(1) // 示例统一返回1，不声称保留了子命令的原始退出码。
}

这个片段替换完整示例最后的展示逻辑，并加入 os/exec 导入。exec.Command 接受程序名和逐项参数，不自行启动 shell，也不提供管道、重定向、通配符展开等 shell 语法。不要为了“保持命令行外观”把用户输入拼进 sh -c；参数边界会变成另一套规则，风险和语义都不同。

直接传数组只能避免不必要的 shell 解释，不代表任意子命令或选项都安全。服务端包装器应固定允许执行的程序，并限制允许的操作；用户可控参数仍可能触发目标程序自身的敏感功能。示例把失败统一映射为退出码1，若需要保留子进程退出码，应单独处理 ExitError，而不能把示例当作完整进程管理器。

常见问题

外层 -- 为什么不在 Args 里？

如果解析器在选项区实际读到了它，它被当作终止符消费。如果解析已经因普通参数停止，后面的 -- 就是剩余参数内容。这两种输入位置不能混为一谈。

-- 后面出现未知选项会报外层错误吗？

不会由这个 FlagSet 继续解析，但子命令可能拒绝它。外层解析成功不等于目标程序接受所有透传参数。

剩余切片为什么不能 Join 后再 Fields？

这种往返会丢失空参数和带空格参数的边界。保存切片并逐项传递，才是本例的透传含义。

把包装选项放在前面、用独立 -- 建立约定、用同一个 FlagSet 的 Args 读取剩余项，再以参数数组接入子命令，就能避免包装层误吃子命令选项。遇到异常先检查停止解析的位置，而不是批量删短横线。