TypeScript参数为联合类型时错误校验行为异常问题咨询

这个现象是TypeScript两套函数参数校验规则叠加的结果，和strictFunctionTypes配置无直接关联：

• 单rest元组参数的宽松校验规则
  当函数类型的rest参数为非联合的单个元组类型时，TypeScript会启用适配JavaScript开发习惯的宽松参数个数（arity）校验逻辑：允许赋值时等号右侧的实现函数声明的形参个数少于元组定义的长度。这个规则是刻意设计的，用来兼容JS中普遍存在的“忽略多余传入参数”的写法——比如数组forEach方法的回调会默认传入3个参数（元素、索引、数组本身），但实际开发中只写第一个形参(item) => {}不会报错，就是这个规则在生效。
  给出的示例中，a组的f/g/h、b组的f能通过校验，都是触发了这套宽松规则。
• 联合类型rest参数的严格校验规则
  当函数类型的rest参数为元组联合类型时，TypeScript的校验逻辑会发生变化：
  1. 由于函数参数处于逆变位，rest参数的联合类型会被转换为对应函数类型的交叉类型：(...args: A|B) => void等价于((...args:A)=>void) & ((...args:B)=>void)，即这个函数必须同时兼容A、B两种参数形式的调用。
  2. 该场景下前述的宽松参数个数校验会被关闭，转而执行严格的参数个数匹配：实现函数的形参个数要么为0（不接收任何参数，天然兼容所有调用场景），要么和联合中所有元组的长度完全匹配（接收全部传入参数），不支持接收部分参数的写法。
     这就解释了a组中i（0个形参）、j（2个形参，和两个元组长度一致）可以通过校验，k（1个形参，接收部分参数）报错的现象；也解释了b组中g的报错：源函数rest参数为元组联合，走严格校验，TS判定该函数要求调用方必须传满2个参数，无法兼容目标类型(...args:any[])=>void允许传0/1个参数的要求，因此抛出类型错误。

可以根据需要的校验严格程度，选择对应方案绕开规则差异：

• 统一为严格参数个数校验
  如果希望所有场景都严格要求形参个数和定义匹配，不允许忽略尾部参数，不要用rest参数包裹元组，直接将元组元素展开为顺序定义的位置参数即可。比如将(...args: [x: string, y: boolean]) => void改写为(x: string, y: boolean) => void，此时实现侧少写参数会直接报错，和元组联合场景的校验逻辑一致。如果元组联合的长度一致、仅对应位置类型有差异，可以直接将同位置的类型合并为联合类型，比如将(...args: [x: string, y: boolean] | [x: string, y: symbol]) => void改写为(x: string, y: boolean | symbol) => void，即可绕过rest联合的特殊校验；如果元组联合长度不一致，将短元组缺失的尾部参数标记为可选即可。
• 统一为宽松参数个数校验
  如果希望元组联合场景也和单元组场景一样，允许实现侧接收部分参数，可以手动给元组的尾部元素加上可选标记，比如将a组的联合类型改写为[x: string, y?: boolean] | [x: string, y?: symbol]，此时只接收1个形参的实现就可以正常通过校验。
  如果需要批量处理元组联合的宽松适配，可以用工具类型自动将元组所有元素转为可选：

  type PartialTuple<T extends any[]> = T extends [infer First, ...infer Rest]
    ? [First?, ...PartialTuple<Rest>]
    : [];
  

  使用时将rest参数的类型用该工具类型包裹即可，比如...args: PartialTuple<[x: string, y: boolean] | [x: string, y: symbol]>，就能实现和单元组一致的宽松校验效果。对于b组中需要赋值给任意参数类型的场景，也可以给元组追加可变长的rest标记...any[]，比如[number, string, ...any[]] | [string, number, ...any[]]，即可触发宽松校验规则。

注：上述测试均在开启当前默认启用的strictFunctionTypes配置项的环境下完成。

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