《九》TypeScript 中的内置工具

TypeScript 内置了很多类型工具，来辅助进行类型转换。

Partial：

Partial：用于构造一个所有属性都为可选属性的类型。

interface IPerson {
  name: string
  age: number
}

// personOptional 类型的所有属性都是可选的
type personOptional = Partial

实现：

type customPartial = {
  [P in keyof T]?: T[P],
}

Required：

Required：用于构造一个所有属性都为必选属性的类型。

interface IPerson {
  name?: string
  age?: number
}

// personRequired 类型的所有属性都是必选的
type personRequired = Required

实现：

type customRequired = {
  [P in keyof T]-?: T[P],
}

Readonly：

Readonly：用于构造一个所有属性都只读的类型。

interface IPerson {
  name: string
  age: number
}

// personReadonly 类型的所有属性都是只读的
type personReadonly = Readonly

实现：

type customReadonly = {
  readonly [P in keyof T]: T[P],
}

Record(KeysType, ValueType)：

Record(keys, type)：用于构造一个对象类型，依次遍历 KeysType 类型生成对象的 key 的类型，value 都是 ValueType 类型。

type cityNameType = '广州' | '深圳'
type cityDetailType = {
  address: string, 
  feature: string[],
}
type cityType = Record

let city:cityType = {
  '广州':  {
    address: '广东省', 
    feature: ['包容'],
  },
  '深圳':  {
    address: '广东省', 
    feature: ['现代化'],
  },
}

实现：

keyof any 是 TypeScript 提供的语法，是 string | number| symbol 的联合类型，是对象属性的类型。

type customRecord = {
  [P in K]: T
}

Pick：

Pick：用于从 Type 中挑选出 keys 属性来构造出一个类型。

interface IPerson {
  name: string
  age: number
  height: number
}

type personPick = Pick

实现：

type customPick = {
  [P in K]: T[P]
}

Omit：

Omit：用于从 Type 中过滤掉 keys 属性来构造出一个类型。

interface IPerson {
  name: string
  age: number
  height: number
}

type personOmit = Omit

实现：

type customOmit = {
  // ((P in keyof T) as P) extends K ? never : P。如果 P 是 T 的 key 的话，就将其作为 P，然后判断是否继承自 K，是的话返回 P，否则返回 never
  [P in keyof T as P extends K ? never : P]: T[P]
}

Exclude：

Exclude：用于构造一个从 UnionType 联合类型中排除了 ExcludedTypes 的类型。

type IDType = string | number | boolean

type IDExclude = Exclude

实现：

type customExclude = T extends E ? never : T

Extract：

Exclude：用于构造一个从 UnionType 联合类型中提取 ExtractTypes 的类型。

type IDType = string | number | boolean

type IDExtract = Extract

实现：

type customExtract = T extends E ?  T : never

NonNullable：

NonNullable：用于构造一个从 Type 中剔除了null、undefined 类型的类型。

type IDType = string | number | null | undefined

type IDExclude = NonNullable

实现：

type customNonNullable = T extends null | undefined ? never : T

ReturnType：

ReturnType：用于构造一个从函数类型中提取出来的其返回值的类型。

type fnType = (...args: string[]) => number

type fnReturnType = ReturnType

实现：

// 此处用到了条件类型中的类型推断，去推断返回值的类型
type customReturnType = T extends (...args: any[])=>infer R ? R : never

InstanceType：

InstanceType：用于构造一个从构造函数类型中提取出来的的其实例的类型。

class Person {}

// typeof Person 获取到构造函数的类型；InstanceType 获取到构造函数的实例的类型
type pType = InstanceType
const p: pType = new Person()

实现：

// 此处用到了条件类型中的类型推断，去推断返回值的类型
type customReturnType = T extends new (...args: any[])=>infer R ? R : never