F# Argu：无需子命令合并多个参数的实现方法

完全可以不用子命令实现模块化参数的合并，不需要依赖拦截器，核心是通过调整参数类型的定义方式，让Argu将共享参数与各模块专属参数视为同一层级的选项。以下是具体实现方案：

方案1：扁平化参数类型（简单直接） #

将共享服务参数和各模块的专属参数直接定义在同一个实现IArgParserTemplate的联合类型中，适用于模块数量较少的场景：

type CombinedArguments =
    // 共享服务参数
    | [<AltCommandLine("-h")>] RestHost of string
    | [<AltCommandLine("-p")>] RestPort of uint16
    // POS收银台专属参数
    | [<AltCommandLine("-w")>] [<EqualsAssignmentOrSpaced>] Waiter of uint
    // 厨房订单查看器专属参数
    | [<AltCommandLine("-k")>] KitchenLogLevel of string
    // 客户数据库专属参数
    | [<AltCommandLine("-c")>] ClientDbPath of string

    interface IArgParserTemplate with
        member s.Usage =
            match s with
            | RestHost _ -> "指定REST服务监听地址，默认值：localhost"
            | RestPort _ -> "指定REST服务监听端口，默认值：5000"
            | Waiter _ -> "设置POS收银台的固定服务员ID"
            | KitchenLogLevel _ -> "设置厨房订单查看器的日志级别"
            | ClientDbPath _ -> "指定客户数据库的文件路径"

使用时直接传递所有需要的参数即可，例如：

./YourApp -h 0.0.0.0 -p 8080 -w 101 -k Info

方案2：嵌套类型+CliPrefix.None（模块化拆分） #

如果需要保持各模块参数的独立性，可将每个模块的参数定义为独立的IArgParserTemplate类型，再通过顶层联合类型组合，并给每个嵌套case添加CliPrefix(CliPrefix.None)属性，避免Argu将其识别为子命令：

// 共享服务参数模块
type ServiceArguments =
    | [<AltCommandLine("-h")>] RestHost of string
    | [<AltCommandLine("-p")>] RestPort of uint16

    interface IArgParserTemplate with
        member s.Usage =
            match s with
            | RestHost _ -> "指定REST服务监听地址"
            | RestPort _ -> "指定REST服务监听端口"

// POS收银台参数模块
type PosArguments =
    | [<AltCommandLine("-w")>] [<EqualsAssignmentOrSpaced>] Waiter of uint

    interface IArgParserTemplate with
        member s.Usage = "设置POS收银台的固定服务员ID"

// 厨房订单查看器参数模块
type KitchenArguments =
    | [<AltCommandLine("-k")>] KitchenLogLevel of string

    interface IArgParserTemplate with
        member s.Usage = "设置厨房订单查看器的日志级别"

// 顶层组合参数类型
type CombinedArguments =
    | [<CliPrefix(CliPrefix.None)>] Service of ServiceArguments
    | [<CliPrefix(CliPrefix.None)>] Pos of PosArguments
    | [<CliPrefix(CliPrefix.None)>] Kitchen of KitchenArguments

    interface IArgParserTemplate with
        member s.Usage =
            match s with
            | Service _ -> "服务相关配置参数"
            | Pos _ -> "POS收银台专属配置参数"
            | Kitchen _ -> "厨房订单查看器专属配置参数"

这种方式下，Argu会自动将嵌套类型中的参数扁平化到顶层，使用方式和方案1完全一致，同时保持了代码的模块化拆分。

关键原理说明 #

Argu默认会将联合类型的每个case识别为子命令，而CliPrefix.None属性会告诉Argu不要为该嵌套case添加子命令前缀，直接将内部参数暴露为顶层选项，从而实现无子女命令的参数合并。

你无需手动收集所有参数传递给子模块，也不需要使用拦截器，通过以上两种方式就能满足模块化场景下的参数合并需求。

内容的提问来源于stack exchange，提问作者Slesa