第 16 章 · 高级条件类型与解析
:::info 占位页 本章正文撰写中（v1 里程碑）。以下是已敲定的学习目标、内容要点与练习清单。 :::
学习目标
- 掌握分布式条件类型的边界与反例
- 实现 Union ↔ Intersection / Tuple 互转
- 用模板字面量 + infer 编写解析器（URL 参数、Query String）
- 编写
IsNever/IsUnion/IsAny等类型判定
内容要点
- 分布式条件类型的陷阱与技巧
UnionToIntersection、UnionToTuple的实现- 模板字面量解析器模式
IsNever/IsUnion/IsAny判定技巧- 递归解析复杂字符串
本章练习
迁移题（type-challenges）
| 题号 | 题目 | 难度 |
|---|---|---|
| 01042 | IsNever | medium |
| 01097 | IsUnion | medium |
| 00223 | IsAny | hard |
| 00055 | 联合类型转化为交叉类型 | hard |
| 09616 | Parse URL Params | medium |
| 00151 | Query String Parser | extreme |
每道题点击「开始挑战」可在官方 TypeScript Playground 中作答（v0.5 接入）。
TODO
- 撰写正文（v1）
- 迁移本章 6 题并接入「开始挑战」（v0.5）