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

比如 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