TypeScript 的高级类型系统通过交叉类型、联合类型、映射类型、条件类型和类型保护等特性，提升代码安全性与可维护性。1. 交叉类型（&）合并多个类型属性，适用于 mixin 模式；联合类型（|）支持多态值，结合类型守卫实现安全收窄。2. 映射类型配合 keyof 可动态构造类型，如将属性设为只读或可选，常用于配置处理与表单校验。3. 条件类型（T extends U ? X : Y）结合 infer 实现类型推断，可用于提取函数返回值、数组元素或 Promise 解包。4. 类型保护通过 typeof、in、instanceof 或自定义守卫函数（如 isString）在运行时缩小类型范围。掌握这些技巧可构建更健壮、灵活的类型系统，充分发挥 TypeScript 在大型项目中的优势。
TypeScript 的强大之处不仅在于基础类型支持，更体现在其高级类型系统上。通过灵活运用这些特性，开发者可以构建出更安全、可维护的代码结构。以下是一些实用且常见的高级类型技巧，帮助你在复杂场景中游刃有余。
1. 交叉类型与联合类型
交叉类型（&）用于合并多个类型的属性，常用于 mixin 模式或扩展对象结构。
例如：type A = { name: string };
type B = { age: number };
type Person = A & B; // 同时拥有 name 和 age
const person: Person = { name: 'Alice', age: 25 };
联合类型（|）表示一个值可以是多种类型之一，配合类型收窄使用效果更佳。
比如：- 函数参数接受 string | number
- 用 typeof、in 或 instanceof 进行类型判断
合理使用联合类型能提升 API 的灵活性，同时通过类型守卫确保运行时安全。
立即学习“Java免费学习笔记（深入）”；
2. 映射类型与 keyof
映射类型允许你基于已有类型创建新类型，常见于将属性变为只读或可选。
示例：将所有属性设为只读type ReadOnly<T> = {
readonly [P in keyof T]: T[P];
};
keyof 操作符获取对象类型的键名集合，常与索引类型结合使用。
- 可用于定义更精确的 getter 函数参数
- 避免硬编码字符串导致的拼写错误
这种模式在处理配置对象或表单校验时特别有用。
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
3. 条件类型与 infer
条件类型让类型具备“逻辑判断”能力，格式为 T extends U ? X : Y。
典型应用：提取函数返回值类型type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;
infer 关键字用于在条件类型中推断未知类型，是实现类型编程的核心工具之一。
- 可用来提取数组元素类型
- 解析 Promise 内部值类型
- 构建递归类型结构
这类技巧广泛应用于工具库类型定义中。
4. 类型保护与自定义守卫
TypeScript 支持通过函数判断来缩小类型范围，称为类型守卫。
内置方式包括：- typeof 检查原始类型
- instanceof 判断类实例
- in 操作符检查属性是否存在
也可以定义自定义类型守卫函数：
function isString(value: any): value is string {
return typeof value === 'string';
}
这样在 if 分支中，TypeScript 就能识别出变量的具体类型。
基本上就这些核心技巧。掌握它们后，你可以写出更具表达力和健壮性的类型定义，真正发挥 TypeScript 在大型项目中的优势。
