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

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值