TypeScript手写+项目实际

1 反解promise

// 首先判断T是否是一个Promise类型，如果是则返回R，否则直接返回T
type ReversePromise<T> = T extends Promise<infer R>? R : T
1
2

2 返回接口返回值类型

//T 必须是一个函数，且要有返回值类型
type ApiReturnType<T extends (...args:any[])=>any> = ReversePromise<ReturnType<T>>
1
2

3 定义常用对象

type NormalObj = Record<string,any>
1

4 手写Parameters

返回函数的参数类型

//传入的泛型约束为一个函数，如果是函数判断是否含有参数，如果有则返回参数，如果没有则返回never
type Parameters<T extends (...args:any)=>any> = T extends (...args:infer P)=>any? P :never
1
2

5 手写ReturnType

返回函数的返回值类型

//泛型得是一个函数
type ReturnType<T extends (...args:any)=>any> = (...args:any)=> infer R? R:any
1
2

6 手写Pick

获取T中的K属性集,K必须约束在T中

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

7 手写Exclude

排除T中包含U的元素

type Exlucde<T,U> = T extends U? never: T
1

8 手写Omit

提取T中除K属性以外的所有元素

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

9 手写Record

//keyof any = string | number | symbol
//定义对象的key和value

//约束键名必须为string| number|symbol
type Record<K extends keyof any,T>={
	[P in K]: T
}
1
2
3
4

10 手写partial

将T类型中的属性变为可选属性

type Partial<T> = {
	[P in keyof T]?: T[P]
}
1
2
3

11 手写Required

将T中的属性变为必填属性,'-?'标记映射属性为必须，只能在映射类型时使用

type Required<T> = {
	[P in keyof T]-?: T{P}
}
1
2
3