typescript之神奇的infer - 推断任何你想知道的类型

infer 字面意思是推断

在ts中可以借助这个关键字得到一些你想要推断出某个值的类型，最常见的场景就是获取某个类库中没有导出的类型，比如 A 库导出了 数组类型 Arr, 但是数组中元素的类型没有导出

A库代码

interface IArrElement {
	a: string;
	b: string;
}

export interface IArr: IArrElement[]

现在你代码中需要使用 IArrElement 如何使用呢

不使用 infer 之前我们可以这么写

import {IArr} from 'A';
const arr: IArr;
type IArrElement = typeof arr[0];

有效但不优雅

我们使用 infer 试一试

import {IArr} from 'A';
type IArrElement = IArr extends (infer R)[] ? R : any;

我们稍微解释一下这行代码，IArr extends (infer R)[] 是判断 IArr 是否是数组，然后使用 infer R 来对数组内元素类型做一个‘占位’，如果是数组，那么就返回这个占位的类型，也就是 IArrElement, 如果不是给一个默认值 any

看下效果

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-7gyuwWRN-1659587562739)(https://km.woa.com/gkm/api/img/cos-file-url?url=https%3A%2F%2Fkm-pro-1258638997.cos.ap-guangzhou.myqcloud.com%2Ffiles%2Fphotos%2Fpictures%2F202208%2F1659587366-5778-62eb4b268d169-947722.png&is_redirect=1)]

这其实就是解包操作，我们可以封装成一个type来使用，更加易于复用

import {IArr} from 'A';
type Unpacked<T> = T extends (infer R)[] ? R : T;
type IArrElement = Unpacked<IArr>;

typescript中有很以及封装好的现成的类似的type都是基于 infer关键字，非常好用

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-KDimp9Ag-1659587562740)(https://km.woa.com/gkm/api/img/cos-file-url?url=https%3A%2F%2Fkm-pro-1258638997.cos.ap-guangzhou.myqcloud.com%2Ffiles%2Fphotos%2Fpictures%2F202208%2F1659587194-2224-62eb4a7a364df-797635.png&is_redirect=1)]

具体原理也都是使用 extends 来判断是否是某种类型，然后返回一个占位（推断）