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 来判断是否是某种类型,然后返回一个占位(推断)