TypeScript中条件类型为何不对联合类型进行分发？

先复现你的问题代码：

type U6 = 'a' | 'b';
type Trans6<T> = T extends T ? T : never;
type PatX6<U> = Trans6<U> extends string ? [U] : never;
type T66 = PatX6<U6 | 'c'>; // 预期：[U6] | ['c']，实际得到：[U6 | "c"]

为什么未触发分发行为？ #

TypeScript的分布式条件类型仅在满足特定条件时才会对联合类型自动拆分分发：条件类型的左侧检查类型（extends左边的部分）必须是裸类型参数——也就是没有被包裹在数组、元组、泛型调用等结构中的泛型参数。

你的PatX6中，条件判断的左侧是Trans6<U>，这是泛型调用的结果，并非裸的U参数。因此即使U是联合类型，TypeScript也不会对其拆分，而是将整个联合作为单一整体处理。

TypeScript的评估过程 #

当调用PatX6<U6 | 'c'>时，TypeScript的执行逻辑如下：

1. 泛型参数U被替换为U6 | 'c'（即'a' | 'b' | 'c'）；
2. 计算Trans6<U6 | 'c'>：由于任何类型都满足T extends T，因此结果就是U6 | 'c'；
3. 执行条件判断U6 | 'c' extends string：整个联合类型都是string的子类型，条件成立；
4. 返回分支结果[U]，即[U6 | 'c']。

这就是最终得到单个包含联合类型的元组，而非元组联合的原因。

如何实现预期行为？ #

要将U6 | 'c'拆分为U6和'c'两个独立部分，生成[U6] | ['c']，需要手动触发顶层联合的分发，同时保证每个联合成员被当作整体处理。

方法1：保留Trans6逻辑并触发分发 #

修改PatX6，用裸参数U触发分布式条件类型，在分支中保留Trans6的处理逻辑：

type U6 = 'a' | 'b';
type Trans6<T> = T extends T ? T : never;
type PatX6<U> = U extends any ? (Trans6<U> extends string ? [U] : never) : never;
type T66 = PatX6<U6 | 'c'>; // 结果：[U6] | ['c']

这里U extends any会触发分发，将U6 | 'c'拆分为U6和'c'分别处理：

• 当U = U6时，Trans6<U6>为U6，满足extends string，返回[U6]；
• 当U = 'c'时，Trans6<'c'>为'c'，满足条件，返回['c']；
• 最终合并为预期的[U6] | ['c']。

方法2：简化推断（若Trans6为恒等逻辑） #

如果你的Trans6只是恒等类型（如示例中仅返回T），可以用infer直接捕获每个联合成员：

type U6 = 'a' | 'b';
type PatX6<U> = U extends infer V ? [V] : never;
type T66 = PatX6<U6 | 'c'>; // 结果：[U6] | ['c']

这种方式同样会触发分发，每个联合成员被推断为V，直接生成对应元组。

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