Skip to content
On this page

infer

介绍

infer 最早出现在此 PR 中,表示在 extends 条件语句中待推断的类型变量。

简单示例如下:

typescript
type ParamType<T> = T extends (arg: infer P) => any ? P : T;

在这个条件语句 T extends (arg: infer P) => any ? P : T 中,infer P 表示待推断的函数参数。

整句表示为:如果 T 能赋值给 (arg: infer P) => any,则结果是 (arg: infer P) => any 类型中的参数 P,否则返回为 T

typescript
interface User {
  name: string;
  age: number;
}

type Func = (user: User) => void;

type Param = ParamType<Func>; // Param = User
type AA = ParamType<string>; // string

内置类型

在 2.8 版本中,TypeScript 内置了一些与 infer 有关的映射类型:

  • 用于提取函数类型的返回值类型:

    typescript
    type ReturnType<T> = T extends (...args: any[]) => infer P ? P : any;

    相比于文章开始给出的示例,ReturnType<T> 只是将 infer P 从参数位置移动到返回值位置,因此此时 P 即是表示待推断的返回值类型。

    typescript
    type Func = () => User;
    type Test = ReturnType<Func>; // Test = User
  • 用于提取构造函数中参数(实例)类型:

    一个构造函数可以使用 new 来实例化,因此它的类型通常表示如下:

    typescript
    type Constructor = new (...args: any[]) => any;

    infer 用于构造函数类型中,可用于参数位置 new (...args: infer P) => any; 和返回值位置 new (...args: any[]) => infer P;

    因此就内置如下两个映射类型:

    typescript
    // 获取参数类型
    type ConstructorParameters<T extends new (...args: any[]) => any> = T extends new (...args: infer P) => any
      ? P
      : never;
    
    // 获取实例类型
    type InstanceType<T extends new (...args: any[]) => any> = T extends new (...args: any[]) => infer R ? R : any;
    
    class TestClass {
      constructor(public name: string, public age: number) {}
    }
    
    type Params = ConstructorParameters<typeof TestClass>; // [string, number]
    
    type Instance = InstanceType<typeof TestClass>; // TestClass

一些用例

至此,相信你已经对 infer 已有基本了解,我们来看看一些使用它的「骚操作」:

  • tupleunion ,如:[string, number] -> string | number

    解答之前,我们需要了解 tuple 类型在一定条件下,是可以赋值给数组类型:

    typescript
    type TTuple = [string, number];
    type TArray = Array<string | number>;
    
    type Res = TTuple extends TArray ? true : false; // true
    type ResO = TArray extends TTuple ? true : false; // false

    因此,在配合 infer 时,这很容易做到:

    typescript
    type ElementOf<T> = T extends Array<infer E> ? E : never;
    
    type TTuple = [string, number];
    
    type ToUnion = ElementOf<TTuple>; // string | number

    stackoverflow 上看到另一种解法,比较简(牛)单(逼):

    typescript
    type TTuple = [string, number];
    type Res = TTuple[number]; // string | number
  • unionintersection,如:T1 | T2 -> T1 & T2

    这个可能要稍微麻烦一点,需要 infer 配合「 Distributive conditional types 」使用。

    相关链接中,我们可以了解到「Distributive conditional types」是由「naked type parameter」构成的条件类型。而「naked type parameter」表示没有被 Wrapped 的类型(如:Array<T>[T]Promise<T> 等都是不是「naked type parameter」)。「Distributive conditional types」主要用于拆分 extends 左边部分的联合类型,举个例子:在条件类型 T extends U ? X : Y 中,当 TA | B 时,会拆分成 A extends U ? X : Y | B extends U ? X : Y

    有了这个前提,再利用在逆变位置上,同一类型变量的多个候选类型将会被推断为交叉类型的特性,即

    typescript
    type T1 = { name: string };
    type T2 = { age: number };
    
    type Bar<T> = T extends { a: (x: infer U) => void; b: (x: infer U) => void } ? U : never;
    type T20 = Bar<{ a: (x: string) => void; b: (x: string) => void }>; // string
    type T21 = Bar<{ a: (x: T1) => void; b: (x: T2) => void }>; // T1 & T2

    因此,综合以上几点,我们可以得到在 stackoverflow 上的一个答案:

    typescript
    type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;
    
    type Result = UnionToIntersection<T1 | T2>; // T1 & T2

    当传入 T1 | T2 时:

    • 第一步:(U extends any ? (k: U) => void : never) 会把 union 拆分成 (T1 extends any ? (k: T1) => void : never) | (T2 extends any ? (k: T2)=> void : never),即是得到 (k: T1) => void | (k: T2) => void

    • 第二步:(k: T1) => void | (k: T2) => void extends ((k: infer I) => void) ? I : never,根据上文,可以推断出 IT1 & T2

当然,你可以玩出更多花样,比如 uniontuple

LeetCode 的一道 TypeScript 面试题

前段时间,在 GitHub 上,发现一道来自 LeetCode TypeScript 的面试题,比较有意思,题目的大致意思是:

假设有一个这样的类型(原题中给出的是类,这里简化为 interface):

typescript
interface Module {
  count: number;
  message: string;
  asyncMethod<T, U>(input: Promise<T>): Promise<Action<U>>;
  syncMethod<T, U>(action: Action<T>): Action<U>;
}

在经过 Connect 函数之后,返回值类型为

typescript
type Result = {
  asyncMethod<T, U>(input: T): Action<U>;
  syncMethod<T, U>(action: T): Action<U>;
}

其中 Action<T> 的定义为:

typescript
interface Action<T> {
  payload?: T;
  type: string;
}

这里主要考察两点

  • 挑选出函数
  • 此篇文章所提及的 infer

挑选函数的方法,已经在 handbook 中已经给出,只需判断 value 能赋值给 Function 就行了:

typescript
type FuncName<T> = { [P in keyof T]: T[P] extends Function ? P : never }[keyof T];

type Connect = (module: Module) => { [T in FuncName<Module>]: Module[T] };
/*
 * type Connect = (module: Module) => {
 *   asyncMethod: <T, U>(input: Promise<T>) => Promise<Action<U>>;
 *   syncMethod: <T, U>(action: Action<T>) => Action<U>;
 * }
*/

接下来就比较简单了,主要是利用条件类型 + infer,如果函数可以赋值给 asyncMethod<T, U>(input: Promise<T>): Promise<Action<U>>,则取值为 asyncMethod<T, U>(input: T): Action<U>。具体答案就不给出了,感兴趣的小伙伴可以尝试一下。