TypeScript 类型设计的实战方法

类型设计的目标不是把类型写得复杂，而是让非法状态在编译期就无法被构造出来。一个好的类型模型能显著降低运行时防御式判断的数量。

条件类型让类型可以根据输入分支产出不同结果，常用于封装通用工具类型。它的价值在于把重复的类型判断集中到一处维护。

映射类型用于批量转换对象的属性，例如把所有字段变为可选或只读。配合 keyof 可以让类型定义随数据结构自动演进，避免手工同步。

模板字面量类型把字符串结构也纳入类型检查，适合约束事件名、路由路径这类有固定格式的字符串。合理使用这些能力，可以把大量潜在错误前移到编辑器阶段。