TypeScript元组联合类型场景下类型推断失效问题咨询

问题原因 #

这个是TypeScript上下文类型推断对联合类型元组的设计限制导致的，具体逻辑如下：

• 你定义的FieldSimpleRule<TParameter>是两类元组的联合类型：
  • 第一类结构：[ValidationBehavior, SimpleRule<TParameter>]
  • 第二类结构：[SimpleRule<TParameter>, number]
• TypeScript需要先判定你写的数组匹配联合类型中的哪一个分支，才能把SimpleRule的泛型参数TParameter（你传入的是string）作为上下文类型注入到箭头函数的参数上。
• 当元组第一个元素是未标注类型的箭头函数时，TypeScript无法判定该函数属于ValidationBehaviorFunction还是SimpleRule类型——两类函数的结构不存在互斥性，你写的x => true同时符合两类函数的类型定义，因此无法确定元组所属的联合分支，自然没法给参数x推导类型，就会报隐式any错误。
• 你示例里的b没有报错，是因为第一个元素是字符串，只能匹配第一类元组的首个元素类型，TypeScript可以直接确定联合分支，因此能给第二个位置的函数参数自动推导为string类型。

解决方案 #

可以根据你的使用场景选任意一种：

• 给箭头函数的参数主动标注类型，比如写成[ (x: string) => true, x => x ]，手动补全类型后就不会报错
• 把两类元组拆成两个独立的类型别名，分别定义对应结构的规则变量，避免使用联合类型带来的推断歧义
• 如果希望保留联合类型，可以自定义类型守卫函数先判定元组结构，再做赋值操作

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