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
