TypeScript 进阶：类型体操指南

TypeScript 的类型系统是图灵完备的，这意味着你可以用类型来表达几乎任何逻辑。

高级类型技巧：

• 泛型约束：extends 关键字限制类型参数
• 条件类型：T extends U ? X : Y
• 映射类型：将已有类型转换为新类型
• 模板字面量类型：类型级别的字符串操作
• infer 关键字：在条件类型中推断类型

实用工具类型：Partial、Required、Pick、Omit、Record 等内置工具类型覆盖了大部分常见场景。