TS进阶用法infer

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

我们来实现一个条件类型推断的例子

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

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

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

type B = Infer<null>

使用inter 修改

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

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

例子2配合tuple 转换 union 联合类型

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

type TTuple = [string, number];

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