Record

Record的内部定义，接收两个泛型参数；Record后面的泛型就是对象键和值的类型
作用:义一个对象的 key 和 value 类型
源码
Record
Record 空对象
Record 任意对象
{} 任何不为空的对象
type Record = { [P in K]: T; }
逐步解析
泛型K即为第一次参数
p in xx 又是什么意思呢？
in的意思就是遍历，如上就是将 类型string进行遍历，也就是string
每个属性都是传入的T类型，如 string: PersonModel

Partial

源码
type Partial = { [P in keyof T]?: T[P] }
作用：生成一个新类型，该类型与 T 拥有相同的属性，但是所有属性皆为可选项
interface Foo { name: string age: number } type Bar = Partial // 相当于 type Bar = { name?: string age?: string }

Required

源码
type Required = { [P in keyof T]-?: T[P] }
作用：生成一个新类型，该类型与 T 拥有相同的属性，但是所有属性皆为必选项
interface Foo { name: string age?: number } type Bar = Required // 相当于 type Bar = { name: string age: string }

Readonly

源码
type Readonly = { readonly [P in keyof T]: T[P] }
作用：生成一个新类型，该类型与 T 拥有相同的属性，但是所有属性皆为必选项
interface Foo { name: string age: number } type Bar = Readonly // 相当于 type Bar = { readonly name: string readonly age: string }

Pick

源码
type Pick = { [P in K]: T[P]; };
作用：生成一个新类型，该类型拥有 T 中的 K 属性
interface Foo { name: string age?: number gender: string } type Bar = Pick // 相当于 type Bar = { age?: string gender: string }

Exclude

源码
type Exclude = T extends U ? never : T
作用：如果 T 是 U 的子类型则返回 never 不是则返回 T
type A = number | string | boolean type B = number | boolean type Foo = Exclude // 相当于 type Foo = string

Extract

源码
type Extract = T extends U ? T : never
作用： 和 Exclude 相反
type A = number | string | boolean type B = number | boolean type Foo = Exclude // 相当于 type Foo = number | boolean

Qmit

源码
type Omit = Pick>
作用：生成一个新类型，该类型拥有 T 中除了 K 属性以外的所有属性
type Foo = { name: string age: number } type Bar = Omit // 相当于 type Bar = { name: string }

NonNullable

源码
NonNullable
作用：从泛型 T 中排除掉 null 和 undefined
type NonNullable = T extends null | undefined ? never : T; type t = NonNullable<’name’ | undefined | null>; / type t = ‘name’ /

Parameters

源码
Parameters any>
作用：以元组的方式获得函数的入参类型
type Parameters any> = T extends (…args: infer P) => any ? P : never; type t = Parameters<(name: string) => any>; // type t = [string] type t2 = Parameters<((name: string) => any) | ((age: number) => any)>; // type t2 = [string] | [number]

ConstructorParameters

源码
ConstructorParameters any>
作用：以元组的方式获得构造函数的入参类型
type ConstructorParameters any> = T extends new (…args: infer P) => any ? P : never; type t = ConstructorParameters<(new (name: string) => any) | (new (age: number) => any)>; // type t = [string] | [number]

ReturnType

源码
ReturnType any>
作用：获得函数返回值的类型
type ReturnType any> = T extends (…args: any) => infer R ? R : any; type t = ReturnType<(name: string) => string | number> // type t = string | number

InstanceType

源码
InstanceType any>
作用：获得构造函数返回值的类型
type InstanceType any> = T extends new (…args: any) => infer R ? R : any; type t = InstanceType {name: string, age: number}> / type h = { name: string; age: number; } /

总结

1、重点理解这些内置的工具类型的定义。
2、能够以此为参考写一些工具类型并运用到项目中去。