TypeScript：`Iterable<Iterable<T>>`类型推断效果逊于`Array<Iterable<T>>`

在TypeScript场景中，concat1和concat2仅参数的类型声明不同：

• concat1的参数类型为Array<Iterable<T>>
• concat2的参数类型为Iterable<Iterable<T>>

实际调用时，concat1([a,a])能被正确推断为返回Iterable<Point>类型，完全符合预期；但concat2([a,a])的返回类型却被推断为Iterable<unknown>，直接赋值给Iterable<Point>会触发类型错误，只有显式指定表达式的预期类型时，才能正常通过类型检查。

代码复现 #

// concat1和concat2仅参数类型不同
declare function concat1<T>(it: Array<Iterable<T>>): Iterable<T>;
declare function concat2<T>(it: Iterable<Iterable<T>>): Iterable<T>;

type Point = {x: number, y: number};

const a: Array<Point> = [];

// concat1表现符合预期
const x1 = concat1([a, a]);
const y1: Iterable<Point> = x1;

// concat2则不符合
const x2 = concat2([a, a]); // 推断为Iterable<unknown>
const y2: Iterable<Point> = x2; // TS错误：类型“Iterable<unknown>”无法赋值给“Iterable<Point>”

// 当为表达式指定预期类型时，concat2可正常工作
const x3: Iterable<Point> = concat2([a, a]);
const y3: Iterable<Point> = x3;

原因分析 #

这本质是TypeScript泛型推断的机制差异：

• 对于Array<Iterable<T>>这种具体的数组类型，TypeScript可以从数组元素的明确类型（a是Array<Point>，属于Iterable<Point>）反向推导出泛型参数T为Point。
• 而Iterable<Iterable<T>>是更抽象的接口类型，当传入数组字面量[a,a]时，TypeScript无法自动将这个数组字面量与Iterable<Iterable<T>>进行精准的类型关联，只能将T默认推断为unknown。

解决方法 #

1. 显式指定泛型参数
   直接在调用concat2时声明泛型类型，让TypeScript明确T的取值：

   const x2 = concat2<Point>([a, a]);
   const y2: Iterable<Point> = x2; // 无类型错误
   

2. 为变量指定预期类型
   像示例中的x3一样，提前声明变量的目标类型，TypeScript会根据目标类型反向推导concat2的泛型参数：

   const x3: Iterable<Point> = concat2([a, a]);
   

3. 优化函数参数类型（如果可修改）
   可以给concat2的参数增加更具体的类型约束，辅助TypeScript完成推断，比如：

   declare function concat2<T>(it: Iterable<Array<T>>): Iterable<T>;
   

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