1 反解promise
// 首先判断T是否是一个Promise类型,如果是则返回R,否则直接返回T
type ReversePromise<T> = T extends Promise<infer R>? R : T
2 返回接口返回值类型
//T 必须是一个函数,且要有返回值类型
type ApiReturnType<T extends (...args:any[])=>any> = ReversePromise<ReturnType<T>>
3 定义常用对象
type NormalObj = Record<string,any>
4 手写Parameters
返回函数的参数类型
//传入的泛型约束为一个函数,如果是函数判断是否含有参数,如果有则返回参数,如果没有则返回never
type Parameters<T extends (...args:any)=>any> = T extends (...args:infer P)=>any? P :never
5 手写ReturnType
返回函数的返回值类型
//泛型得是一个函数
type ReturnType<T extends (...args:any)=>any> = (...args:any)=> infer R? R:any
6 手写Pick
获取T中的K属性集,K必须约束在T中
type Pick<T, K extends keyof T> = {
[P in K]: T[P]
}
7 手写Exclude
排除T中包含U的元素
type Exlucde<T,U> = T extends U? never: T
8 手写Omit
提取T中除K属性以外的所有元素
type Omit<T, K extends keyof any> = Pick<T,Exclude<keyof T,K>>
9 手写Record
//keyof any = string | number | symbol
//定义对象的key和value
//约束键名必须为string| number|symbol
type Record<K extends keyof any,T>={
[P in K]: T
}
10 手写partial
将T类型中的属性变为可选属性
type Partial<T> = {
[P in keyof T]?: T[P]
}
11 手写Required
将T中的属性变为必填属性,'-?'标记映射属性为必须,只能在映射类型时使用
type Required<T> = {
[P in keyof T]-?: T{P}
}