TypeScript：单独赋值类型检查通过，元组赋值却失败

你的代码里出现的差异是TypeScript的预期行为，核心原因是TypeScript对单独变量赋值和元组解构的类型推断逻辑不同，尤其是无法自动跟踪多个变量之间的类型关联性。

为什么单独赋值能通过检查？ #

当你分别给array和AB赋值时：

let array = (index < this.arrays.length) ? this.arrays[index] : this.array4
let AB = (index < this.arrays.length) ? A : B

TypeScript会为这两个变量分别做联合类型的上下文收缩：它能识别出array和AB的类型是严格对应的——当index满足条件时，array是A[]且AB是typeof A；不满足时，array是B[]且AB是typeof B。因此在执行array.push(new AB(...))时，TypeScript能确认new AB(...)的类型和array的元素类型完全匹配，不会出现类型不兼容的情况。

为什么元组解构会报错？ #

当你改用元组解构时：

let [array, AB] = (index < this.arrays.length) ? [ this.arrays[index], A ] : [ this.array4, B ]

TypeScript会将条件表达式的结果推断为联合元组的合并类型：[A[] | B[], typeof A | typeof B]。此时array的类型是A[] | B[]，AB的类型是typeof A | typeof B，但TypeScript无法跟踪这两个变量之间的关联关系——它不知道当array是A[]时AB一定是A，当array是B[]时AB一定是B。

这时候TypeScript会考虑所有可能的类型组合：比如array是B[]但AB是A，此时new A()的实例缺少B类的quantity属性，无法赋值给B[]的元素，因此触发类型错误。

如何解决？ #

如果你想使用解构赋值，可以通过**as const断言**来保留元组的字面量类型，让TypeScript识别变量间的类型关联：

const result = (index < this.arrays.length) ? [this.arrays[index], A] as const : [this.array4, B] as const;
let [array, AB] = result;

添加as const后，TypeScript会将元组推断为[A[], typeof A]或[B[], typeof B]的字面量联合类型，从而正确跟踪array和AB的对应关系，避免报错。

或者直接保留原来的单独赋值方式，这种写法更贴合TypeScript的类型推断逻辑，代码可读性也更强。

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