获取数组元素的类型普通函数的返回类型 Promise的返回类型 ()=>Promise的返回类型

获取数组元素的类型

1
2
3

type Unpacked<T> = T extends (infer U)[] ? U : T;
// type A = string
type A = Unpacked<string[]>

这段代码的意思是判断T是不是数组类型如果是则返回该数组元素的类型否则返回T

普通函数的返回类型

1
2
3

type Unpacked<T> = T extends (...args: any[]) => infer U ? U : T;
// type B = number
type B = Unpacked<() => number>

这段代码的意思是判断T是不是Function类型如果是则返回Function return的类型否则返回T

Promise的返回类型

1
2
3

type Unpacked<T> = T extends Promise<infer U> ? U : T;
// type C = number
type C = Unpacked<Promise<number>>

这段代码的意思是判断T是不是Promise类型如果是则返回Promise resolve的类型否则返回T

()=> Promise的返回类型

1
2
3

type Unpacked<T> = T extends (...args: any[]) => Promise<infer U> ? U : T;
// type D = number
type D = Unpacked<Promise<number>>

这段代码的意思是判断T是不是() => Promise类型如果是则返回Promise resolve的类型否则返回T

封装为一个通用工具类型

type Unpacked<T> = T extends null | undefined
  ? T
  : T extends (...args: any[]) => Promise<infer U>
  ? U
  : T extends (infer U)[]
  ? U
  : T extends Promise<infer U>
  ? U
  : T extends (...args: any[]) => infer U
  ? U
  : T;

// type A = string
type A = Unpacked<string[]>

// type B = number
type B = Unpacked<() => number>

// type C = number
type C = Unpacked<Promise<number>>

// type D = number
type D = Unpacked<Promise<number>>