Ts的infer类型推导

1.定义

在extends语句中，支持infer关键字，可以推断一个类型变量，高效的对类型进行模式匹配。但是，这个类型变量只能在true的分支中使用。

条件类型还提供了一种使用infer关键字在类型比较的true分支中进行目标类型推断的方法。

(可以将infer当作一种标记符，后续可以得到其标记的类型)

2.使用

exp1

type Flatten<Type> = Type extends Array<infer Item> ? Item : Type;

type Str = Flatten<string[]>;
// Str => string

type Num = Flatten<number[]>;
// Num => number

exp2

type GetReturnType<T> = T extends (...args: never[]) => infer Return ? Return : never;

type Num = GetReturnType<() => number>;
// Num => number

type Bools = GetReturnType<(a: boolean, b: boolean) => boolean[]>;
// Bools => boolean[]

exp3

// 如果泛型T是()=> infer R的子集，则返回infer R获取到的类型，否则返回boolean
type Func<T> = T extends () => infer R ? R : boolean;

let func1: Func<number>; // boolean;
let func2: Func<''>; // boolean
let func3: Func<() => Promise<number>>; // Promise<number>

exp4

type Obj<T> = T extends { a: infer VT, b: infer VT } ? VT : number;

let obj1: Obj<string>;  // number;
let obj2: Obj<true>;  // number;
let obj3: Obj<{a: string, b: string}>;   // string
let obj4: Obj<a: number, b: string>;   // string | number
// 当a、b为不同类型时，返回联合类型

---

参考文章

传送门1

传送门2