高级TypeScript

在复杂应用中，TypeScript 的类型系统往往只用到了冰山一角。大量项目充斥着 any 和滥用的 as 断言，状态机缺乏穷尽性检查，导致运行时错误频发。TypeScript Advanced 旨在通过系统化的类型工程实践，解决类型不安全与状态管理混乱的问题。

核心能力与工作流

该技能通过结构化的检查与模式应用，引导开发者构建健壮的类型层：

• 判别联合与状态建模：使用 Discriminated Unions 描述状态机，配合穷尽性 switch 语句消除遗漏分支的风险。
• 类型推导与转换：利用 Conditional Types 和 Mapped Types 动态派生复杂类型，结合 Pick、Omit 等内置工具类型减少手动重复定义。
• 运行时安全网：使用 Type Guards 验证外部数据，确保 unknown 在安全收窄前不被随意断言。

适用边界与避坑指南

尽管类型体操很强大，但过度设计同样有害。技能明确指出了几类反模式：

• 拒绝为不确定类型使用 any，坚持用 unknown 配合类型守卫。
• 避免编写过于复杂的泛型签名，优先保证可读性。
• 不要在字符串字面量联合足够时滥用 enum。
• 必须在 tsconfig 中开启 strict: true 和 strictNullChecks，否则所有高级类型保障都将失效。