TypeScript数组展开运算符类型安全疑问：为何无类型错误？

以下TypeScript代码未触发预期的类型错误：

interface ITest {
  value: number;
};

let x: ITest[] = [{  value: 10 }];
console.log(x);

x = { ...x };
console.log(x);

x = { ...[{value: 10}] }
console.log(x);

执行后输出：

[{
  "value": 10
}] 
------------------------
{
  "0": {
    "value": 10
  }
} 
------------------------
{
  "0": {
    "value": 10
  }
}

显然第二次和第三次赋值的结果并非ITest[]类型，但TypeScript未报错。这一现象的原理是什么？

这一现象的核心是TypeScript结构类型系统对数组与索引对象的兼容性判定，具体拆解如下：

1. 数组类型的本质
   TypeScript中的数组类型（如ITest[]）本质是特殊对象类型，包含两部分：

   • 数字索引签名：{ [index: number]: ITest }，表示可通过数字键访问对应类型元素
   • 数组原型方法（如push、length等）

2. 展开数组的类型推断
   在对象字面量中用{...x}展开数组时，TypeScript会推断新对象的类型为带数字索引签名的普通对象（如{ [key: number]: ITest }）。展开操作仅复制数组的可枚举属性（即数字索引对应的元素），类型系统不会校验该对象是否拥有数组原型方法。

3. 类型兼容性规则
   TypeScript的结构类型系统只看类型结构是否匹配：ITest[]包含{ [key: number]: ITest }的索引签名，因此带该索引签名的普通对象可赋值给ITest[]类型变量——类型检查不关心运行时是否为真正的数组实例。

4. 运行时与类型系统的差异
   运行时里{...x}生成的是普通对象，没有数组的原型方法和length属性，但TypeScript静态类型系统不追踪这种原型差异，因此不会触发错误。

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