TypeScript 进阶 类型推断 infer

Question

类型推断 infer

infer 是 TypeScript 新增的关键字，充当占位符

示例

定义一个类型，如果是数组类型，就返回数组元素的类型。否则传入什么类型，就返回什么类型。

type Infer<T> = T extends Array<any> ? T[number] : T;

type A = Infer<(boolean | string)[]>
// >> type A = string | boolean

type B = Infer<null>
// >> type B = null

使用 infer 修改

type Infer<T> = T extends Array<infer U> ? U : T

type A = Infer<(string | symbol)[]>
// >> type A = string | symbol

tuple 转换 union 联合类型

type TupleToUni<T> = T extends Array<infer E> ? E : never

type TTuple = [string, number];

type ToUnion = TupleToUni<TTuple>; // string | number