TypeScript高级类型体操：条件类型、infer与模板字面量类型

## 条件类型与分布式条件类型 TypeScript的类型系统具有图灵完备性，这意味着理论上可以用类型系统实现任何计算逻辑。条件类型（Conditional Types）是类型体操的基础，语法为T extends U ? X : Y。联合类型时条件类型会自动分发：(A | B) extends U ? X : Y展开为两个分支。配合never类型的过滤特性可以方便实现联合类型子集过滤。Exclude和Extract两个内置工具类型就是基于分布式条件类型实现的。infer关键字是条件类型中最强大的特性——在extends子句中声明待推断的类型变量，TypeScript在类型匹配时自动推断其具体类型。ReturnType获取函数返回类型、Parameters获取参数元组类型、ConstructorParameters获取构造函数参数都依赖infer。Predefined conditional types如string extends T ? true : false用于类型级别判断。 ## 映射类型与模板字面量类型 映射类型（Mapped Types）基于已有类型创建新类型，配合as子句的重映射功能可以在映射过程中对键和值进行转换。模板字面量类型（Template Literal Types）允许类型层面进行字符串操作：通过${T}嵌入类型变量，配合Uppercase、Lowercase、Capitalize、Uncapitalize等内置字符串操作类型，可以实现复杂的类型级字符串转换。例如将getter方法名自动转换为setter名，或将路由路径参数的类型自动提取为对象类型。递归条件类型是TypeScript 4.5引入的特性，允许条件类型在其true分支中引用自身，使深度Partial、深度Readonly、路径类型提取等复杂变换成为可能。Isolated Declarations提案将进一步改善类型声明文件的生成效率。 ## 实战应用与最佳实践 企业级TypeScript项目中高级类型的应用场景包括：API响应类型自动推导——通过统一响应包装类型和条件类型自动从JSON Schema推导前端类型定义；表单验证类型精确建模——通过模板字面量类型和递归条件类型根据验证规则自动生成表单值类型；路由参数类型安全——通过解析路由字符串模板自动提取参数类型避免手动维护同步。开发工具类型需注意性能：过于复杂的递归类型可能导致编译器性能下降甚至栈溢出，建议控制递归深度对已知结构使用具体类型。调试用hover信息和error消息已足够详尽。团队中复杂工具类型应配JSDoc注释说明参数含义和适用场景，避免为了类型体操而牺牲代码可读性。