联合类型分发是TypeScript中对裸类型参数自动拆解联合成员并分别判断的机制；仅当T直接出现在条件类型中（如T extends string）才触发，包裹后（如[T]）则整体判断，结合infer可精准过滤或解构联合类型。
联合类型分发（Distributive Conditional Types）不是语法糖，而是 TypeScript 类型系统中一种自动触发的行为——只要条件类型作用在裸类型参数（naked type parameter）上，且该参数被实例化为联合类型（如 A | B | C），TS 就会把它拆开，对每个成员单独执行判断，再把结果合并成新联合类型。掌握这个机制，是写出可复用、可组合、可预测的类型工具的关键。
理解“裸类型参数”是前提
所谓“裸”，指泛型参数 T 在条件类型中直接出现，未被包裹（比如没加 []、{}、Promise<t></t> 等）。只有裸参数才会触发分发：
-
✅ 触发分发：
type Foo<t> = T extends string ? number : boolean;</t>——T是裸的 -
❌ 不触发分发：
type Bar<t> = [T] extends [string] ? number : boolean;</t>——[T]包裹了T，整个联合被视为一个整体
写类型工具前，先检查你的泛型参数是否“裸”。否则你以为在过滤 string | number，实际只在判断 string | number 整体是否满足条件，结果往往出人意料。
用分发特性做精准类型过滤
这是最常见也最实用的场景：从 union 中筛出符合某特征的成员。核心模式是 T extends Target ? T : never，配合分发后 never 自动被剔除：
立即学习“Java免费学习笔记（深入）”；
- 提取所有函数类型：
type FunctionsOnly<t> = T extends Function ? T : never;</t>
→FunctionsOnly void | string | () => string>→(x: number) => void | () => string - 保留可序列化的值类型（排除函数、symbol、undefined）：
type Serializable<t> = T extends (Function | symbol | undefined) ? never : T;</t> - 注意：不能直接写
string | number extends string ? ...—— 必须封装为泛型，让 TS 主动分发
结合 infer 实现类型解构与重组
分发 + infer 能把联合类型“打散—提取—再聚合”，适合处理函数签名、数组结构等嵌套形态：
- 提取所有函数的返回值类型（并保持 union 结构）：
type ReturnTypes<t> = T extends (...args: any) => infer R ? R : never;</t>
→ReturnTypes number | (x: string) => boolean>→number | boolean - 把多个 Promise 类型的 resolve 值取出来：
type AwaitedValues<t> = T extends Promise<infer u> ? U : never;</infer></t>
→AwaitedValues<promise> | Promise<number>></number></promise>→string | number - 关键点：infer 出的类型
R或U在分发过程中各自独立推导，不会跨成员混用
小心逆变位置导致的交集陷阱
当条件类型出现在函数参数这类逆变位置时，分发行为会“反转”结果：联合输入可能产出交叉输出。这容易踩坑，但也能被主动利用：
- 典型陷阱：
type Params<t> = T extends (arg: infer P) => any ? P : never;</t>
→Params void) | ((y: number) => void)>→string & number（即never） - 原因：函数参数是逆变的，联合类型在逆变位置会被解释为“必须同时满足所有成员”，所以参数类型变成交集
- 绕过方法：用元组包裹参数，或改用映射类型预处理；若真需要交集，这个行为反而是优势（例如构建严格接口兼容性检查）
