为何TypeScript不对数组联合类型执行类型缩减？

TypeScript在处理基本类型的联合时，会自动将子类型合并到超类型中，比如：

type I = string | 'literal';  // 最终类型为 string
type II = number | 0;         // 最终类型为 number

但面对数组的联合类型时，却不会执行类似的缩减：

type I = (1 | 2)[] | number[];     // 最终类型仍为 number[] | (1 | 2)[]，而非预期的 number[]
type II = string[] | 'literal'[];  // 最终类型仍为 string[] | 'literal'[]，而非预期的 string[]

核心原因：类型精确性的保留与设计逻辑差异 #

1. 基本类型联合的缩减逻辑
   基本类型的字面量（比如'literal'、0）本身就是对应基础类型（string、number）的子类型，它们的联合在语义上完全等价于超类型——任何属于子类型的值都必然属于超类型，保留联合没有额外的语义价值，因此TypeScript会自动缩减，让类型更简洁。

2. 数组联合的精确性需求
   数组属于泛型复杂类型（Array<T>的语法糖），TypeScript会默认保留用户显式声明的联合类型，原因在于：

   • 用户写出(1|2)[] | number[]这类联合时，往往是有意区分两种数组场景：一种是仅包含特定值的严格数组，另一种是任意值的宽松数组。如果自动缩减为number[]，会丢失这种精确性，导致后续无法针对严格数组做更细致的类型检查或逻辑分支处理。
   • 虽然(1|2)[]是number[]的子类型，完全可以赋值给number[]类型的变量，但反过来number[]不能赋值给(1|2)[]。保留联合类型能让TypeScript在类型检查中维持这种单向兼容性，同时不破坏用户的原始类型意图。

3. 复杂类型的缩减规则限制
   TypeScript的自动缩减规则主要针对原始字面量类型的联合，对于对象、数组这类复杂类型的联合，不会轻易执行合并。比如{ a: 1 } | { a: number }也不会被缩减为{ a: number }，本质都是为了保留用户声明的类型精确性，避免隐式丢失语义信息。

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