你想掌握 TypeScript 真正提升开发效率的高级特性，我会整理最常用、面试/工程必备的知识点，用简洁易懂的方式讲清用法和场景，跳过冗余基础内容。
一、类型系统高级特性（最核心）
1. 泛型（Generic）
作用：让类型「可复用、灵活」，不写死类型，实现类型安全的通用代码。
// 通用函数：返回值类型 = 入参类型
function identity<T>(arg: T): T {
return arg;
}
// 泛型接口
interface Res<T = any> {
code: number;
data: T;
}
// 使用：指定返回数据类型
type UserRes = Res<{ id: number; name: string }>;
2. 联合类型 & 交叉类型
- 联合类型（|）：满足任意一个类型
- 交叉类型（&）：满足所有类型
// 联合
type Status = "success" | "error" | "loading";
// 交叉
type User = { id: number } & { name: string };
3. 类型断言 / 非空断言
强制告诉 TS 明确的类型，处理无法自动推断的场景：
// 类型断言
const dom = document.getElementById("app") as HTMLDivElement;
// 非空断言（!）：确定值一定不为 null/undefined
const user = data!.user;
4. 类型守卫（Type Guard）
作用：在运行时缩小类型范围，让 TS 精准推断类型
function isString(value: unknown): value is string {
return typeof value === "string";
}
if (isString(val)) {
val.trim(); // TS 知道 val 是 string
}
二、TS 高级类型工具（内置）
TypeScript 自带工具类型，不用重复造轮子：
| 工具类型 | 作用 |
|---|---|
Partial<T> | 所有属性可选 |
Required<T> | 所有属性必填 |
Readonly<T> | 所有属性只读 |
Pick<T, K> | 挑选部分属性 |
Omit<T, K> | 剔除部分属性 |
Exclude<T, U> | 从 T 中排除 U 类型 |
Extract<T, U> | 从 T 中提取 U 类型 |
ReturnType<T> | 获取函数返回值类型 |
Parameters<T> | 获取函数参数类型 |
示例：
interface User { id: number; name: string; }
type PartialUser = Partial<User>; // { id?: number; name?: string }
type OmitIdUser = Omit<User, "id">; // { name: string }
三、高级类型编程（进阶必备）
1. keyof 索引类型查询
获取对象所有键组成联合类型：
type UserKeys = keyof User; // "id" | "name"
2. T[K] 索引访问类型
获取对象值类型：
type UserIdType = User["id"]; // number
3. 映射类型（批量修改类型）
基于旧类型生成新类型：
// 给所有属性添加 readonly
type Readonly<T> = { readonly [P in keyof T]: T[P] };
4. 条件类型（三目运算符）
type IsString<T> = T extends string ? true : false;
5. infer 类型推断（高级）
在条件类型中提取未知类型：
// 获取函数返回值（简化版 ReturnType）
type GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never;
四、面向对象高级特性
1. 类的修饰符
public（默认）：公开private：仅类内部可访问protected：类 + 子类可访问readonly：只读
2. 抽象类（abstract）
不能实例化，只能被继承，强制子类实现方法：
abstract class Animal {
abstract say(): void;
}
3. 接口继承 & 类实现接口
interface A { name: string }
interface B extends A { age: number }
class User implements B {
name = "";
age = 0;
}
五、工程化高级特性
1. 模块 & 命名空间
import/export：ES 模块namespace：全局代码隔离
2. 声明文件（.d.ts）
为无类型 JS 库提供类型定义：
declare module "lodash" {
export function debounce(...args: any[]): any;
}
3. 类型兼容 & 类型收窄
TS 是结构化类型系统（鸭子类型），只要结构一致就兼容。
六、实战高频特性
1. 函数重载
一个函数，多种参数/返回值类型：
function fn(x: string): string;
function fn(x: number): number;
function fn(x: any): any {
return x;
}
2. 字面量类型 + 枚举
// 字面量类型（比枚举更轻量）
type Method = "GET" | "POST";
// 枚举
enum Status { Success = 200, Error = 500 }
3. 泛型约束（extends）
限制泛型必须拥有某些属性：
function logName<T extends { name: string }>(obj: T): void {
console.log(obj.name);
}
总结
- 核心三件套：泛型 + 工具类型 + 映射类型
- 类型编程：
keyof/T[K]/ 条件类型 /infer - 工程必备：声明文件、类修饰符、类型守卫
- 所有特性目标：更安全、更灵活、更少 any
