TypeScript 类型体操

泛型约束

function identity<T extends object>(arg: T): T {
  return arg;
}

条件类型

type IsString<T> = T extends string ? true : false;

映射类型

type Readonly<T> = {
  readonly [P in keyof T]: T[P];
};

工具类型实战

Pick 和 Omit

type UserPreview = Pick<User, "id" | "name">;
type UserWithoutPassword = Omit<User, "password">;

Partial 和 Required

type PartialUser = Partial<User>;
type RequiredUser = Required<User>;

类型推断

type ReturnType<T extends (...args: any[]) => any> = 
  T extends (...args: any[]) => infer R ? R : any;

实用技巧

1. 使用 as const 保持字面量类型
2. 利用 keyof 获取键名联合类型
3. 通过 infer 进行模式匹配

掌握类型体操能让 TypeScript 代码更安全、更灵活。