为什么TypeScript链式赋值空数组时无法推导对应已声明的数组类型？

根本原因 #

TypeScript 对赋值表达式的返回值类型推导规则是优先取右侧操作数的类型，不会继承左侧被赋值变量的声明类型。

你写的链式赋值const a = this.foo = []的执行顺序是从右到左：

1. 首先生成字面量[]，它的初始推导类型是never[]（严格模式下）或any[]（非严格模式下）
2. 执行this.foo = []：这个操作会做类型校验，确认[]可以赋值给声明为number[]的this.foo，但这个赋值表达式本身的返回值类型依然是右侧[]的类型，不会变成number[]
3. 最后把赋值表达式的返回值赋值给a，所以a的类型就被推导为never[]/any[]，和预期不符。

TS 官方没有支持「赋值表达式返回值继承左侧类型」的特性，是出于复杂度和兼容性的设计取舍：如果要做这个推导，需要处理大量边界场景（比如联合类型、多态赋值、可选属性赋值等），很容易出现不可预期的推导结果，反而会带来更多问题。

更简便的替代写法 #

除了给a显式声明类型，你还可以用下面两种写法避免重复写类型：

• 拆分赋值语句，拆分后TS可以直接从this.foo的声明类型推导a的类型：

doSomething() {
    this.foo = [];
    const a = this.foo; // a自动推导为number[]
}

• 给空数组添加类型断言，只需要写一次类型：

doSomething() {
    const a = this.foo = [] as number[];
}

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