## 工具类型的分类
内置的工具类型按照类型操作的不同，可以大致划分为这么几类：
* **属性修饰工具类型**：对属性的修饰，包括对象属性和数组元素的可选/必选、只读/可写。
* **结构工具类型**：对既有类型的裁剪、拼接、转换等
* **集合工具类型**：对集合（即联合类型）的处理，即交集、并集、差集、补集。
* **模式匹配工具类型**：基于 infer 的模式匹配，即对一个既有类型特定位置类型的提取，比如提取函数类型签名中的返回值类型。
* **模板字符串工具类型**：模板字符串专属的工具类型，比如神奇地将一个对象类型中的所有属性名转换为大驼峰的形式。

## 属性修饰工具类型

在内置工具类型中，访问性修饰工具类型有：
```
// 将类型 T 的所有属性变为可选属性。这对于创建部分更新或配置对象特别有用。
type Partial<T> = {
    [p in keyof T]?: T[p]
}

// 将类型 T 的所有可选属性变为必填属性。这在确保对象的所有属性都被填充时很有帮助。
type Required<T> = {
    [p in keyof T]-?: T[p]
}

// 创建一个类型，其所有属性都是只读的，这有助于防止意外修改。
type Readonly<T> = {
    readonly [p in keyof T]: T[p]
}
```

其中需要注意的是，Partial 是 ?，即标记属性为可选，而 Required 则是 -?，相当于在原本属性上如果有 ? 这个标记，则移除它。 Partial 也可以使用 +? 来显式的表示添加可选标记。

## 结构工具类型

```
// 创建一个类型，其键是类型 K 的联合，值是类型 T
type Record<K extends keyof any, T> = {
    [P in K]: T;
}

```
如 Record<string, unknown> 和 Record<string, any> 是日常使用较多的形式，通常我们使用这两者来代替 object。

一些其他的结构申明工具类型：
```
// 字符串字典
type Dictionary<T> = {
  [index: string]: T;
};

// 数字字典
type NumericDictionary<T> = {
  [index: number]: T;
};
```
以及最主要的结构处理工具类型

```
// 从类型 T 中选择一组属性 K 来创建一个新的类型。
type Pick<T, K extends keyof T> = {
    [P in K]: T[P]
}

// 从类型 T 中删除一组属性 K 来创建一个新的类型。
type Omit<T, K extends keyof any> = Pick<T,  Exclude<keyof T, K>> 

```

## 集合工具类型

内置工具类型中提供了交集与差集的实现：

```
// 交集
type Extract<T, U> = T extends U ? T : never;

// 差集
type Exclude<T, U> = T extends U ? never : T;

// 集合 T 相对于 null | undefined 的差集
type NonNullable<T> = T extends null | undefined ? never : T;
```

## 模式匹配工具类型

这一部分的工具类型主要使用条件类型与 infer 关键字。

infer 其实代表了一种 模式匹配（pattern matching） 的思路，如正则表达式、Glob 中等都体现了这一概念。


首先是对函数类型签名的模式匹配：

```
type FunctionType = (...args: any) => any;

// 获取函数参数类型
type Parameters<T extends FunctionType> = T extends (...args: infer P) => any ? P : never;

// 获取函数返回类型
type ReturnType<T extends FunctionType> = T extends (...args: any) => infer R ? R : any;

```


除了对函数类型进行模式匹配，内置工具类型中还有一组对 Class 进行模式匹配的工具类型：

```
type ClassType = abstract new (...args: any) => any;

// 获取构造函数类型 T 的参数类型。
type ConstructorParameters<T extends ClassType> = T extends abstract new (
  ...args: infer P
) => any
  ? P
  : never;

// 获取构造函数类型 T 的实例类型。
type InstanceType<T extends ClassType> = T extends abstract new (
  ...args: any
) => infer R
  ? R
  : any;

```

## 模板字符串类型

模板字符串类型的主要目的即是增强字符串字面量类型的灵活性，进一步增强类型和逻辑代码的关联。

例如通过模板字符串类型你可以这样声明你的版本号：

```
type Version = `${number}.${number}.${number}`;

const v1: Version = '1.1.0';

// X 类型 "1.0" 不能赋值给类型 `${number}.${number}.${number}`
const v2: Version = '1.0';

```

基于 keyof + 模板字符串类型，我们可以基于已有的对象类型来实现精确到字面量的类型推导：

```
interface Foo {
  name: string;
  age: number;
  job: Job;
}

type ChangeListener = {
  on: (change: `${keyof Foo}Changed`) => void;
};

declare let listener: ChangeListener;

// 提示并约束为 "nameChanged" | "ageChanged" | "jobChanged"
listener.on('');

```

以下是几种与模板字符串紧密相关的内置工具类型：
```
// 将类型 S 表示的字符串中的所有字符转换为大写形式。
type Uppercase<S extends string> = intrinsic;

// 将类型 S 表示的字符串中的所有字符转换为小写形式。
type Lowercase<S extends string> = intrinsic;

// 将类型 S 表示的字符串中的第一个字符转换为大写，其余字符不变。
type Capitalize<S extends string> = intrinsic;

// 类型 S 表示的字符串中的第一个字符转换为小写，其余字符不变。
type Uncapitalize<S extends string> = intrinsic;

```






























内置的工具类型按照类型操作的不同，可以大致划分为这么几类：属性修饰工具类型、结构工具类型、集合工具类型、模式匹配工具类型、模板字符串工具类型



TypeScript 内置工具类型