条件类型（入门）与联合类型上的分发
学习条件类型（T extends U ? X : Y），以及它们如何在联合类型上分发，实现强大的类型级逻辑。
条件类型（入门）与联合类型上的分发 是 CoddyKit 上的免费 TypeScript Academy 课时。 这是第 2 节课，共 3 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 TypeScript Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 TypeScript Academy 课程共包含 3 节课。
简介
目标：使用条件类型（T extends U ? X : Y）在类型层面进行分支处理，并理解联合类型上的分配，以获得精确的结果。
基本条件类型
条件类型会根据 T extends U 是否成立，返回两种类型中的一种。
type IsString<T> = T extends string ? true : false;
let a: IsString<string>; // true
let b: IsString<number>; // false
分配
当类型参数 T 直接出现时，条件类型会分别作用于联合类型的每个成员，然后将结果组成联合类型。
type ToArray<T> = T extends any ? T[] : never;
type R1 = ToArray<string | number>; // string[] | number[]停止分配
请将 T 包装在元组中（例如 [T]），以停止分配，并将联合类型作为一个整体处理。
type ToArrayNoDistrib<T> = [T] extends [any] ? T[] : never;
type R2 = ToArrayNoDistrib<string | number>; // (string | number)[]实际应用：排除类型
许多工具类型依赖分配机制（例如 Exclude、Extract）。您也可以轻松构建自己的变体。
type MyExclude<T, U> = T extends U ? never : T;
type R3 = MyExclude<"a" | "b" | "c", "b">; // "a" | "c"提示
提示：
- 只有当
extends左侧是直接出现的类型参数时，才会发生分配。 - 请将类型包装在元组中，以退出分配。
- 请使用小型示例进行测试，以确认您的理解。
分配检查
快速检查：条件类型为什么会在联合类型上进行分配？
回顾
回顾：请使用条件类型在类型层面进行分支处理。理解结果何时会在联合类型上分配，以及如何通过元组包装来禁用分配。
常见问题解答
「条件类型（入门）与联合类型上的分发」课时是免费的吗？
是的 — 「条件类型（入门）与联合类型上的分发」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 TypeScript Academy 课程的其余内容，请升级到 CoddyKit PRO。 TypeScript Academy 课程共包含 3 节课。
「条件类型（入门）与联合类型上的分发」这节课中我会学到什么？
学习条件类型（T extends U ? X : Y），以及它们如何在联合类型上分发，实现强大的类型级逻辑。 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。
学习 TypeScript Academy 需要有经验吗？
无需任何先前经验。CoddyKit 上的 TypeScript Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。 这是第 2 节课，共 3 节。
「条件类型（入门）与联合类型上的分发」课时需要多长时间？
大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。
我能在这节 TypeScript Academy 课中编写并运行代码吗？
能。每节 TypeScript Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。
此课程中的所有课时
- 泛型接口与类型别名
- 条件类型（入门）与联合类型上的分发
- 数据模型的可复用模式