为何TypeScript条件类型中output1与output2的元组推断结果不同？

代码片段与推断结果 #

片段1 #

type InferTuple1<T> = T extends any[] ? [...T] : never;

const func1 = <T>(t: InferTuple1<T>) => t;

const output1 = func1([1, 2, 3])

output1的推断类型：

const output1: [number, number, number]

片段2 #

type InferTuple2<T> = T extends any[] ? [...T] : T;

const func2 = <T>(t: InferTuple2<T>) => t;

const output2 = func2([1, 2, 3]);

output2的推断类型：

const output2: number[]

用户疑问 #

• 理解片段1的推断：输入是数组，符合T extends any[]条件，通过[...T]将T转换为具体元组类型[number, number, number]。
• 困惑片段2的结果：输入同样是数组，却没有进入第一个分支，反而得到了数组类型而非元组。

类似案例：
func1(["foo", 42, "bar"])的推断类型为[string, number, string]，而func2(["foo", 42, "bar"])的推断类型为(string | number)[]

核心原因分析 #

1. 片段1的推断逻辑 #

当调用func1([1,2,3])时，TypeScript必须推断出合法的泛型T：

• 函数参数类型是InferTuple1<T>，即T extends any[] ? [...T] : never。
• 由于never是无法赋值的类型，TypeScript只能让T满足T extends any[]的条件，否则参数类型会变成never，无法传入数组。
• 为了让[...T]完全匹配输入的字面量数组[1,2,3]，TypeScript只能将T推断为精确的元组类型[number, number, number]——只有这样，展开后的[...T]才能和输入的字面量数组完全对应。

2. 片段2的推断逻辑 #

片段2的条件类型提供了第二个分支T，这给了TypeScript另一种推断路径：

• TypeScript可以选择让T不满足T extends any[]的条件，此时参数类型直接就是T，可以直接匹配输入的数组。
• 对于字面量数组，TypeScript的默认行为是将其推断为宽泛的数组类型（比如number[]）而非元组。这种情况下，T = number[]，参数类型InferTuple2<T>就是number[]，完全符合输入类型，而且这种推断不需要强制将T设为元组，更符合默认的类型推断规则。
• 简单说，片段2的条件类型给了TypeScript一个“更轻松”的选项：不用推断精确元组，用默认的数组类型就能完成匹配，所以它就选择了这个更宽泛的类型。

异构数组的验证 #

对于["foo",42,"bar"]：

• 片段1中，TypeScript必须让T满足数组条件，所以只能推断T为[string, number, string]，这样[...T]才能匹配异构的字面量数组。
• 片段2中，TypeScript可以直接将T推断为(string | number)[]，此时参数类型就是T，符合输入的数组类型，因此不会触发元组推断。

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