为何TypeScript条件类型推断字符串常量数组联合而非联合数组？

先看问题中的代码示例：

interface Payload1<T> {
    data: T extends string ? T[] : T[]
}

interface Payload2<T> {
    data: T[]
}

const p1: Payload1<"red" | "blue"> = {
    data: ["red", "blue"] // 编译报错
}

const p2: Payload2<"red" | "blue"> = {
    data: ["red", "blue"] // 正常编译
}

差异原因 #

核心在于分布式条件类型的特性：
当条件类型的检查目标是一个裸类型参数（即没有被数组、对象、元组等包裹的泛型参数），且传入的参数是联合类型时，TypeScript会自动将联合类型拆分为单个成员，分别代入条件类型计算，最后把所有结果重新组合成联合类型。

在Payload1中，T extends string ? T[] : T[]是条件类型，且T是裸类型参数。当传入"red" | "blue"时，TypeScript会拆分处理：

• 对"red"："red" extends string为真，结果是"red"[]
• 对"blue"："blue" extends string为真，结果是"blue"[]
  最终data的类型被推断为"red"[] | "blue"[]——这种类型要求数组元素必须全部是"red"或者全部是"blue"，不能混合，所以["red", "blue"]不符合类型要求，导致编译报错。

而Payload2中直接定义data: T[]，当T是"red" | "blue"时，直接生成("red" | "blue")[]，这种类型允许数组中同时存在"red"和"blue"元素，所以能正常编译。

解决办法 #

要避免分布式条件类型的触发，只需要把裸类型参数T包裹起来（比如用元组[T]），让TypeScript把整个联合类型作为一个整体代入条件检查：

interface Payload1<T> {
    data: [T] extends [string] ? T[] : T[]
}

修改后，当传入"red" | "blue"时，[T]是["red" | "blue"]，整个元组与[string]检查（"red" | "blue"属于string的子类型），条件成立，最终data的类型为("red" | "blue")[]，就能正常编译了。

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