ts中常见的Utility Type原理解析

一、Partial<Type>是将传入的类型Type，属性都变成可选的，返回新的类型

 1.使用

interface Person {
  name: string;
  age: number;
  gender: 'male' | 'female';
}
type MyPartialPerson = Partial<Person> 

上面的MyPartialPerson的类型为：

interface PartialPerson {
  name?: string;
  age?: number;
  gender?: 'male' | 'female';
}

2.原理：

type Partial<T> = {
  [P in keyof T]?: T[P];
};

对上面的代码进行解析：

[P in keyof T]：其中 keyof T 表示获取类型 T 中所有属性组成联合类型，即"name" | "age" | "gender"，in 用于遍历类型 T 中所有的属性名称，然后将遍历出来的属性全部加上？变成可选

T[P]: 即获取T属性的类型

一、Pick<Type, Keys>从传入类型Type中选择部分属性，并创建一个新的类型

1.使用

interface Person {
  name: string;
  age: number;
  address: string;
}

type MyPickPerson = Pick<Person, 'name' | 'age'>;

const myPickPerson1: MyPickPerson = { name: 'Alice', age: 25, adddress: "上海大学" };// ts报错，“adddress”不在类型“MyPickPerson”中。
const myPickPerson2: MyPickPerson = { name: 'Alice' };// 报错 myPickPerson2中缺少属性 "age"
const myPickPerson3: MyPickPerson = { name: 'Alice', age: 25 };

2.原理

type Pick<T, K extends keyof T> = {
  [P in K]: T[P];
};

对上面的代码进行解析：

K extends keyof T： 表示 K 是 T 中的属性名之一。（上面已经对keyof做过解析这里不再重复）

三、Exclude<UnionType, ExcludedMembers>  从UnionType中移除掉ExcludedMembers的属性，然后剩下的属性构成一个新的类型

1.使用

type Colors = 'red' | 'green' | 'blue'
type SecondaryColors = Exclude<Colors, 'red'>; // 'green' | 'blue'

2.原理：

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

T extends U 是将T里面的属性一个一个去跟U对比的，不是一起上去对比的（如果extends前面的参数是一个泛型类型，当传入该参数的是联合类型，则使用分配律计算最终的结果。分配律是指，将联合类型的联合项拆成单项，分别代入条件类型，然后将每个单项代入得到的结果再联合起来，得到最终的判断结果。）

即你可以这样理解：

type A = Exclude<'key1' | 'key2', 'key2'>
// 等价于
type A = Exclude<'key1', 'key2'> | Exclude<'key2', 'key2'>
// =>
type A = ('key1' extends 'key2' ? never : 'key1') | ('key'2 extends 'key2' ? never : 'key2')
 

 依旧拿上面的例子进行分析：

type Colors = 'red' | 'green' | 'blue'
type SecondaryColors = Exclude<Colors, 'red'>; // 'green' | 'blue'

这里是这样对比的：

'red' extends 'red' ? never : 'red'

'green' extends 'red' ? never : 'green'

'blue' extends 'red' ? never : 'blue'

所以最后返回'green' | 'blue'

四、Omit<Type, Keys>，它可以用于从一个接口类型中剔除指定的属性，返回一个新的类型

1.使用

interface Person {
  name: string;
  age: number;
  gender: string;
}

type PersonWithoutGender = Omit<Person, 'gender'>;

const person: PersonWithoutGender = {
  name: 'Alice',
  age: 30,
};

2.原理：

type Omit<T, K extends keyof T> = Pick<T, Exclude<keyof T, K>>;

根据前面Pick和Exclude的介绍，这里应该好理解了。

第一步，使用 keyof T 获取类型 T 的所有属性的联合类型，然后使用 Exclude 过滤掉要排除的属性，得到一个新的属性名称的联合类型这里命名为ExcludeKeys。

第二步，使用 Pick 从类型 T 中选择出所有在 ExcludeKeys 中出现的属性，得到一个新的类型，就是Omit的结果。