TypeScript：递归迭代对Array与Tuple类型为何产生不同结果？

这个现象的核心在于TypeScript对数组字面量和动态生成数组的类型推断差异，以及泛型条件类型如何处理元组（Tuple）和数组（Array）类型。

1. 类型推断的差异：元组 vs 宽泛数组类型 #

• 当你传入数组字面量（比如[{x: '1', y: 1}, {x: 1, y: '1'}]）时，TypeScript会默认推断出一个具体的元组类型：[{x: string, y: number}, {x: number, y: string}]。元组是固定长度、元素类型可以各异的数组子类型，它完整保留了数组的长度和每个元素的精确类型信息。
• 当你传入Array.map的结果时，TypeScript会推断出一个宽泛的数组类型（比如{x: string, y: number}[]）。这是因为map方法的返回值类型被定义为数组（而非元组），它只保留元素的通用类型，丢失了长度的精确信息。

2. Reducer1类型的分支匹配逻辑 #

你的Reducer1类型通过递归条件类型处理不同输入：

type Reducer1<T extends any[], Result extends any[] = []> = T extends [] ? [] : 
  T extends [infer Head] ? [...Result, Predicate<Head>] : 
  T extends [infer Head, ...infer Tail] ? Reducer1<[...Tail], [...Result, Predicate<Head>]> : 
  Elem[] extends T ? T : [never, 'could not extend T?']

• 元组匹配分支：前三个条件（T extends []、T extends [infer Head]、T extends [infer Head, ...infer Tail]）专门匹配元组类型。因为元组有固定长度，TypeScript可以精确拆解它的头部和尾部，所以数组字面量会进入这些分支，递归处理每个元素并应用Predicate，最终返回符合预期的类型数组。
• 数组类型分支：当输入是宽泛的数组类型（比如{x: string, y: number}[]）时，它无法匹配前面的元组分支（因为元组要求固定长度，而宽泛数组是任意长度），所以会走到最后一个条件分支。

这里的关键是Elem[] extends T的判断逻辑：

• 对于元组类型T：Elem[]（即{x: unknown, y: unknown}[]）是宽泛的数组类型，而元组是它的子类型（比如[Elem] extends Elem[]成立，但反过来Elem[] extends [Elem]不成立）。因此Elem[] extends T为false，但元组已经被前面的分支处理，不会走到这里。
• 对于宽泛数组类型T（比如{x: string, y: number}[]）：Elem[]是T的父类型（因为{x: string, y: number} extends Elem），所以Elem[] extends T为false，最终返回[never, 'could not extend T?']，这就是你看到报错的原因。

3. 为什么修改最后一行后两种情况都触发同一分支？ #

当你把最后一行改为Elem[] extends T ? [never, 'could extend T'] : [never, 'could not extend T?']时，两种输入都触发第一个分支的错误，本质是因为你混淆了子类型判断的方向：
如果换成T extends Elem[] ? [never, 'could extend T'] : ...（注意是T extends Elem[]，而非反过来），那么：

• 元组类型T是Elem[]的子类型（因为元组属于数组），所以T extends Elem[]为true，会触发第一个分支。
• 宽泛数组类型T也是Elem[]的子类型，同样触发第一个分支。
  这就解释了为什么两种情况都会报错。

4. 如何利用这个特性区分固定数组和动态数组？ #

你提到可以利用这个现象让编译器区分固定数组和动态数组，本质上是利用了元组类型和宽泛数组类型的结构差异：

• 元组类型可以被[infer Head, ...infer Tail]这类条件类型精确拆解，而宽泛数组类型不行。
• 你可以通过条件类型判断T是否为元组（比如利用元组的length是字面量类型，而数组的length是number类型的差异），来为两种情况赋予不同的返回类型。

举个简单的区分例子：

type IsTuple<T> = T extends readonly any[] ? number extends T['length'] ? false : true : false;

type HandleArray<T extends any[]> = IsTuple<T> extends true ? 'Fixed length tuple' : 'Dynamic array';

这样，传入数组字面量会返回'Fixed length tuple'，传入map结果会返回'Dynamic array'，从而实现类型层面的区分。

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