TypeScript如何通过arguments实现基于arity的类型守卫无需强制转换

• arguments是JS ES3版本的遗留特性，TS的类型系统仅将它定义为通用的IArguments接口，不会和当前函数的参数列表、可选参数配置做绑定，静态分析阶段无法建立arguments.length和单个可选参数是否非空的映射关系。
• 运行逻辑上也不支持这么做：arguments.length只统计传入参数的个数，不会校验参数的值。例如调用test(undefined)时，arguments.length为1，但arg0实际还是undefined，如果TS强行做类型收缩会直接出现类型安全漏洞，不符合TS的设计原则。

不需要修改原有核心业务逻辑，仅调整参数声明为带类型约束的剩余元组，加一行参数解构即可实现自动类型收缩，也不需要额外的强制类型转换：

function test(...args: [arg0: string] | [arg0: string, arg1: string] | [arg0: string, arg1: string, arg2: string]) {
    // 解构后变量名和原参数完全一致，原有判断逻辑不需要任何修改
    const [arg0, arg1, arg2] = args;

    if (args.length === 1) {
        // arg0 自动推导为 string 类型
    }

    if (args.length === 2) {
        // arg0、arg1 自动推导为 string 类型
    }

    if (args.length === 3) {
        // arg0、arg1、arg2 均自动推导为 string 类型
    }
}

该方案同时会约束函数的外部调用行为，参数数量、类型不符合要求时会直接抛出编译错误，从根源避免了主动传入undefined导致的类型问题。

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