TypeScript 条件类型分发为什么得到联合结果

把 string | number 传给 TypeScript 条件类型时，很多人会期待得到 (string | number)[]，实际却经常得到 string[] | number[]。这不是编辑器随机推导，而是条件类型的分发规则：当 extends 左侧直接使用裸类型参数时，联合类型会按成员分别计算。

先看结果：联合类型为什么被拆开了

下面这个工具类型的意图是“把输入类型变成数组”。当输入只有一个类型时，结果符合直觉：

type ToArray = T extends unknown ? T[] : never;

type OnlyText = ToArray; // string[]
type OnlyNumber = ToArray; // number[]
type Mixed = ToArray; // string[] | number[]

关键不在 unknown，而在 extends 左边的 T 是裸类型参数。编译器接收到联合参数后，会把它理解为两次独立判断：

// 先分别代入联合的每个成员，再合并结果
type Mixed = ToArray | ToArray;
// 最终得到 string[] | number[]

分发的触发点是裸类型参数，不是所有 extends

可以把“裸”理解成没有被其他类型结构包裹的单独类型参数。T extends U ? X : Y 满足这个条件时，联合会分发；如果左侧是 Promise、T[] 或元组，就不能直接按这条规则理解。

这正适合做成员级转换和过滤。例如下面的类型只保留可赋给 string 的成员：

type KeepString = T extends string ? T : never;

type TextPart = KeepString;
// "id" | never | "name"，never 会从联合中消失

type TextArray = ToArray;
// "id"[] | "name"[]，每个成员都有自己的数组结果

因此，看到联合结果时先问一句：这个工具类型的目标是“逐个成员处理”，还是“把整个联合作为一个值处理”？前者保留裸参数分发，后者需要显式关闭分发。

需要整体数组时，用方括号设下类型门禁

如果业务模型允许一个数组同时存放字符串和数字，应得到 (string | number)[]，而不是要求调用方选择“纯字符串数组”或“纯数字数组”。把 extends 两侧包进同形元组即可：

type ToArrayAsWhole = [T] extends [unknown] ? T[] : never;

type MixedAsWhole = ToArrayAsWhole;
// (string | number)[]

type MixedByMember = ToArray;
// string[] | number[]

方括号不是运行时数组，也不会改变值；它只是让条件类型比较两个“整体元组类型”。由于左侧不再是裸的 T，联合保持完整，最终的 T[] 才会把联合放进数组元素位置。

把类型结果接到自动化门禁里

在前端流水线中，类型工具通常会被组件 props、表单字段或接口适配器复用。可以按下面的检查表处理“结果怎么变成联合”的问题：

这里的“门禁”是类型设计决策：先写一个最小别名，观察编辑器展开结果，再决定分发或整体判断。不要为了让类型看起来更短，把调用方真正需要的数组形状隐藏起来。

常见问题

为什么把 T 改成 unknown 仍然会分发？

因为 unknown 只是比较的右侧类型，左侧依然是裸 T。要关闭分发，需要改变左侧形状，例如写成 [T] extends [unknown]。

方括号写一边可以吗？

可以改变比较行为，但通常应让两侧保持成对的元组形状，表达“整体对整体”的意图，也更容易让后续维护者看懂。

分发和 JavaScript 运行时循环是一回事吗？

不是。分发发生在类型实例化和检查阶段，不会生成循环代码，也不会改变运行时值。