本节要介绍的 infer 关键字有些难理解，我们来通过类比来帮助理解。

语句 let num 中，通过 let 来声明了变量，那怎样声明不确定的类型变量呢？ 答案是使用 infer 关键字，infer R 就是声明了类型变量 R。

在条件类型表达式中，可以在 extends 条件语句中使用 infer 关键字来声明待推断的类型变量。

infer 相对比较难理解，我们先看下 TypeScript 内置工具类型 ReturnType 。

const add = (x:number, y:number) => x + y
type t = ReturnType<typeof add> // type t = number

解释：

通过 ReturnType 可以得到 add() 的返回值类型为 number 类型。但要注意不要滥用这个工具类型，应尽量多的手动标注返回值类型。

来看一下 ReturnType 的实现源码：

/**
 * Obtain the return type of a function type
 */
type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any

infer 的作用是让 TypeScript 自己推断，并将推断的结果存储到类型变量中，infer 只能用于 extends 语句中。

再来看 ReturnType 的实现：如果 T 满足约束条件 (...args: any) => any，并且能够赋值给 (...args: any) => infer R，则返回类型为 R，否则为 any 类型。

继续看几个例子：

type T0 = ReturnType<() => string>        // string
type T1 = ReturnType<(s: string) => void> // void
type T2 = ReturnType<<T>() => T>          // unkn

解释：

分别可以得到 type T0 = string type T1 = void type T2 = unkn，只要满足约束条件 (...args: any) => any，TypeScript 推断出的返回值，并借助 infer 关键字将其储存在类型变量 R 中，那么最终得到返回类型 R。

借助 infer 可以实现转联合类型，如：[string, number] -> string | number

type Flatten<T> = T extends Array<infer U> ? U : never

type T0 = [string, number]
type T1 = Flatten<T0> // string | number

解释：

第 1 行，如果泛型参数 T 满足约束条件 Array<infer U>，那么就返回这个类型变量 U。

第 3 行，类型在一定条件下，是可以赋值给数组类型，满足条件:

type TypeTuple = [string, number] 
type TypeArray = Array<string | number>

type B0 = TypeTuple extends TypeArray ? true : false // true

第 4 行，就可以得到 type T1 = string | number。

infer 理解起来比较抽象，一定要亲手写一下本节中的例子。借助条件类型的 infer 关键字来推断类型，可以实现一些比如联合类型转交叉类型、联合类型转的操作，有兴趣的可以了解一下。