深入理解 TypeScript 类型系统

TypeScript 的类型系统是图灵完备的，这意味着你可以用类型表达极其复杂的逻辑。

条件类型

条件类型允许你根据条件选择不同的类型：

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

映射类型

映射类型可以基于旧类型创建新类型：

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

模板字面量类型

TypeScript 4.1 引入了模板字面量类型：

type EventName<T extends string> = `on${Capitalize<T>}`;