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 的灵活性，同时通过类型守卫确保运行时安全。

2. 映射类型与 keyof

映射类型允许你基于已有类型创建新类型，常见于将属性变为只读或可选。

type ReadOnly = {
  readonly [P in keyof T]: T[P];
};

keyof 操作符获取对象类型的键名集合，常与索引类型结合使用。

• 可用于定义更精确的 getter 函数参数
• 避免硬编码字符串导致的拼写错误

这种模式在处理配置对象或表单校验时特别有用。

3. 条件类型与 infer

条件类型让类型具备“逻辑判断”能力，格式为 T extends U ? X : Y。

type ReturnType = 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 在大型项目中的优势。