第 7 章 · 条件类型与 infer
:::info 占位页 本章正文撰写中（v1 里程碑）。以下是已敲定的学习目标、内容要点与练习清单。 :::
学习目标
- 掌握条件类型
T extends U ? X : Y的语义 - 理解分布式条件类型（distributive conditional types）
- 用
infer从类型中提取子类型 - 用递归条件类型处理不定长结构
内容要点
- 条件类型与
extends判定 - 分布式条件类型的展开规则
infer推断：提取返回值、参数、数组元素等- 递归条件类型与终止条件
本章练习
迁移题（type-challenges）
| 题号 | 题目 | 难度 |
|---|---|---|
| 00043 | 实现 Exclude | easy |
| 00268 | If | easy |
| 00002 | 获取函数返回类型 | medium |
| 03312 | Parameters | easy |
| 00189 | Awaited | easy |
| 00010 | 元组转合集 | medium |
每道题点击「开始挑战」可在官方 TypeScript Playground 中作答（v0.5 接入）。
TODO
- 撰写正文（v1）
- 迁移本章 6 题并接入「开始挑战」（v0.5）