TypeScript 给 JavaScript 加了套静态类型系统。其中,JavaScript 中的数组、对象等聚合多个元素的类型在 TypeScript 中对应的是索引类型。
比如这就是一个索引类型:
type obj = { name: string; age: number; gender: boolean; }
索引类型可以添加修饰符 readonly(只读)、?(可选):
type obj = { readonly name: string; age?: number; gender: boolean; }
我们知道,TypeScript 支持类型编程,也就是对类型参数(范型)做各种运算,产生新的类型:
type IsString= T extends string ? true: false;
那么对于索引类型,如何做运算并产生新的类型呢?
答案是映射类型。
映射类型
映射类型就是用于构造新的索引类型的。
比如这个 Record 类型:
type Record< K extends string | number | symbol, T> = { [P in K]: T; }
Record 类型构造了一个 key 为 stirng 或 number 或 symbol,而 value 为类型 T 的索引类型。它是 TS 内置的高级类型。
在构造新的索引类型的过程中,还可以做加上一些修饰符。
比如 ReadOnly:
type Readonly= { readonly [Key in keyof T]: T[Key]; }
它创建了一个新的索引类型,在原来索引类型的每个属性上加上了 readonly 的修饰:
比如 Partial:
type Partial= { [Key in keyof T]?: T[Key] }
它创建了一个新的索引类型,在原来索引类型的每个属性上加上了 ? 的修饰:
可以加上,当然也可以去掉:
去掉可选(?):
type Required= { [Key in keyof T]-?: T[Key] }
去掉 readonly:
type NotReadOnly= { -readonly [Key in keyof T]: T[Key] }
过完这些例子,映射类型能干什么就比较清楚了:
映射类型可以生成新的索引类型,在生成过程中可以加上或去掉 readonly、? 的修饰符。内置的 Record、ReadOnly、Required、Partial 等类型都是映射类型。
但是,现在的映射类型还是有局限性的,不能对索引名做修改、过滤等操作,功能还不够强。
如果想实现过滤、转换,那就得用到映射类型的重映射了。
重映射
重映射就是在索引后加一个 as 语句,表明索引转换成什么,它可以用来对索引类型做过滤和转换。
比如过滤出类型为 string 的索引:
type FilterString= { [Key in keyof T as T[Key] extends string ? Key: never]: T[Key]; }
返回 never 代表过滤掉,否则保留。
还可以对索引做转换,比如修改索引名,加上 get:
type Getters> = { [Key in keyof T as `get${Capitalize }`]: T[Key]; }
T extends xxx 是给类型参数的约束,表示只能传入这种类型。这里的 Record 类型是生成索引类型的,我们上面介绍过,所以 T extends Record 就是约束了这里只能传入索引类型。
as 后面是把索引转换成什么,我们是在原来的基础上做了修改,加上了 get,并且后面内容首字母大写,这个 Capitalize 也是 TS 内置的类型。
效果如下:
这两个例子分别说明了重映射 as 可以用来做索引类型的过滤和转换,可以对索引类型做更灵活的编程。
比如,实现 key 和 value 的互换:
type Flip> = { [Key in keyof T as `${T[Key]}`]: Key }
支持重映射之后,映射类型可以对索引类型做更多的修改。
总结
TypeScript 通过索引类型来表示有多个元素的聚合类型,比如数组、对象等。
TS 支持类型编程,也就是对类型参数做各种运算然后返回新的类型。对索引类型当然也可以做运算,对应的类型就是映射类型。
映射类型在生成新的索引类型的过程中,还可以加上或去掉 readonly、?的修饰符。内置的 Record、Required、Partial、ReadOnly 都是映射类型。
如果想对索引类型做进一步的过滤和转换,就需要用到 as 的重映射,它可以对索引做修改(当索引为 never 就代表过滤掉该索引)。
会用索引类型是只是基础,会用映射类型和重映射就是进阶内容了,这部分可以写出很多复杂的类型逻辑,属于类型体操的范畴。
原文地址:https://mp.weixin.qq.com/s/Im52Qt1gt5eX7DIPZxfLpQ