快速掌握 TypeScript 新语法:infer extends

我们知道,TypeScript 支持 infer 来提取类型的一部分,通过模式匹配的方式。

比如元组类型提取最后一个元素的类型:

type Last = Arr extends [...infer rest,infer Ele]? Ele : never; 
快速掌握 TypeScript 新语法:infer extends_第1张图片

比如函数提取返回值类型:

type GetReturnType = Func extends (...args: any[]) => infer ReturnType ? ReturnType : never; 

比如字符串提取一部分,然后替换:

type ReplaceStr = Str extends `${infer Prefix}${From}${infer Suffix}` ? `${Prefix}${To}${Suffix}` : Str; 

模式匹配就是通过一个类型匹配一个模式类型,需要提取的部分通过 infer 声明一个局部变量,这样就能从局部变量里拿到提取的类型。

infer 的模式匹配用法还是挺好理解的。

但是 infer 有一个问题,比如这样:

快速掌握 TypeScript 新语法:infer extends_第2张图片

从 string 数组中提取的元素,默认会推导为 unknown 类型,这就导致了不能直接把它当 string 用:

快速掌握 TypeScript 新语法:infer extends_第3张图片

那怎么办呢?

之前的处理方式是这样的:

快速掌握 TypeScript 新语法:infer extends_第4张图片

加一层判断,这样 Last 就推导为 string 类型了。

或者也可以和 string 取交叉类型:

快速掌握 TypeScript 新语法:infer extends_第5张图片

这样也可以作为 string 来用。

但是我们明明知道这里就是 string,却还需要 & string 或者 xxx extends string 来转换一次,这也太麻烦了。

TS 也知道有这个问题,所以在 4.7 就引入了新语法:infer extends。

现在我们可以这样写:

快速掌握 TypeScript 新语法:infer extends_第6张图片

infer 的时候加上 extends 来约束推导的类型,这样推导出的就不再是 unknown 了,而是约束的类型。

试一下

这个语法是 TS 4.7 引入的,在 4.8 又完善了一下。

比如这样一个类型:

type NumInfer = Str extends `${infer Num extends number}`? Num: never; 

在 4.7 的时候推导结果是这样:

快速掌握 TypeScript 新语法:infer extends_第7张图片

而 4.8 就是这样了:

快速掌握 TypeScript 新语法:infer extends_第8张图片

也就是说 4.7 的时候推导出的就是 extends 约束的类型,但是 4.8 的时候,如果是基础类型,会推导出字面量类型。

有了这个语法之后,除了能简化类型编程的逻辑之外,也能实现一些之前实现不了的功能:

比如提取枚举的值的类型:

enum Code {a = 111,b = 222,c = "abc"
} 

我们都是这样写:

快速掌握 TypeScript 新语法:infer extends_第9张图片

但是有的值明明是数字,却被作为了字符串,所以要再处理一下,转换成数字类型,这时候就可以用 infer extends 了:

type StrToNum =Str extends `${infer Num extends number}`? Num: Str 

做完 string 到 number 的转换,就拿到了我们想要的结果:

快速掌握 TypeScript 新语法:infer extends_第10张图片

这就是 infer extends 的第二个作用。

处理 string 转 number 之外,也可以转 boolean、null 等类型:

快速掌握 TypeScript 新语法:infer extends_第11张图片 快速掌握 TypeScript 新语法:infer extends_第12张图片

试一下

总结

Typescript 支持 infer 类型,可以通过模式匹配的方式,提取一部分类型返回。

但是 infer 提取出的类型是 unknown,后面用的时候需要类似和 string 取交叉类型,或者 xxx extends string 这样的方式来转换成别的类型来用。这样比较麻烦。

所以 TS 4.7 实现了 infer extends 的语法,可以指定推导出的类型,这样简化了类型编程。

而且,infer extends 还可以用来做类型转换,比如 string 转 number、转 boolean 等。

要注意的是,4.7 的时候,推导出的只是 extends 约束的类型,比如 number、boolean,但是 4.8 就能推导出字面量类型了,比如 1、2、true、false 这种。

有了 infer extends,不但能简化类型编程,还能实现一些之前很难实现的类型转换,是很有用的一个新语法。

最后

最近找到一个VUE的文档,它将VUE的各个知识点进行了总结,整理成了《Vue 开发必须知道的36个技巧》。内容比较详实,对各个知识点的讲解也十分到位。



有需要的小伙伴,可以点击下方卡片领取,无偿分享

你可能感兴趣的:(typescript,javascript,前端)