服务器之家:专注于服务器技术及软件下载分享
分类导航

node.js|vue.js|jquery|angularjs|React|json|js教程|

服务器之家 - 编程语言 - JavaScript - js教程 - TypeScript类型体操:索引类型的映射再映射

TypeScript类型体操:索引类型的映射再映射

2022-01-20 23:15神光的编程秘籍神说要有光 js教程

TypeScript 给 JavaScript 加了套静态类型系统。其中,JavaScript 中的数组、对象等聚合多个元素的类型在 TypeScript 中对应的是索引类型。

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 的修饰:

TypeScript类型体操:索引类型的映射再映射

比如 Partial:

type Partial = {
  [Key in keyof T]?: T[Key]
}

它创建了一个新的索引类型,在原来索引类型的每个属性上加上了 ? 的修饰:

TypeScript类型体操:索引类型的映射再映射

可以加上,当然也可以去掉:

去掉可选(?):

type Required = {
  [Key in keyof T]-?: T[Key]
}

TypeScript类型体操:索引类型的映射再映射

去掉 readonly:

type NotReadOnly = {
  -readonly [Key in keyof T]: T[Key]
}

TypeScript类型体操:索引类型的映射再映射

过完这些例子,映射类型能干什么就比较清楚了:

映射类型可以生成新的索引类型,在生成过程中可以加上或去掉 readonly、? 的修饰符。内置的 Record、ReadOnly、Required、Partial 等类型都是映射类型。

但是,现在的映射类型还是有局限性的,不能对索引名做修改、过滤等操作,功能还不够强。

如果想实现过滤、转换,那就得用到映射类型的重映射了。

重映射

重映射就是在索引后加一个 as 语句,表明索引转换成什么,它可以用来对索引类型做过滤和转换。

比如过滤出类型为 string 的索引:

type FilterString = {
  [Key in keyof T as T[Key] extends string ? Key: never]: T[Key];
}

返回 never 代表过滤掉,否则保留。

TypeScript类型体操:索引类型的映射再映射

还可以对索引做转换,比如修改索引名,加上 get:

type Getters> = {
  [Key in keyof T as `get${Capitalize}`]: T[Key];
}

T extends xxx 是给类型参数的约束,表示只能传入这种类型。这里的 Record 类型是生成索引类型的,我们上面介绍过,所以 T extends Record 就是约束了这里只能传入索引类型。

as 后面是把索引转换成什么,我们是在原来的基础上做了修改,加上了 get,并且后面内容首字母大写,这个 Capitalize 也是 TS 内置的类型。

效果如下:

TypeScript类型体操:索引类型的映射再映射

这两个例子分别说明了重映射 as 可以用来做索引类型的过滤和转换,可以对索引类型做更灵活的编程。

比如,实现 key 和 value 的互换:

type Flip> = {
  [Key in keyof T as `${T[Key]}`]: Key
}

TypeScript类型体操:索引类型的映射再映射

支持重映射之后,映射类型可以对索引类型做更多的修改。

总结

TypeScript 通过索引类型来表示有多个元素的聚合类型,比如数组、对象等。

TS 支持类型编程,也就是对类型参数做各种运算然后返回新的类型。对索引类型当然也可以做运算,对应的类型就是映射类型。

映射类型在生成新的索引类型的过程中,还可以加上或去掉 readonly、?的修饰符。内置的 Record、Required、Partial、ReadOnly 都是映射类型。

如果想对索引类型做进一步的过滤和转换,就需要用到 as 的重映射,它可以对索引做修改(当索引为 never 就代表过滤掉该索引)。

会用索引类型是只是基础,会用映射类型和重映射就是进阶内容了,这部分可以写出很多复杂的类型逻辑,属于类型体操的范畴。

原文地址:https://mp.weixin.qq.com/s/Im52Qt1gt5eX7DIPZxfLpQ

延伸 · 阅读

精彩推荐