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> = 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<T> =  {
  readonly [Key in keyof T]: T[Key];
}

它創建了一個新的索引類型，在原來索引類型的每個屬性上加上了 readonly 的修飾：

比如 Partial：

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

它創建了一個新的索引類型，在原來索引類型的每個屬性上加上了 ? 的修飾：

可以加上，當然也可以去掉：

去掉可選(?)：

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

去掉 readonly：

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

過完這些例子，映射類型能干什么就比較清楚了：

映射類型可以生成新的索引類型，在生成過程中可以加上或去掉 readonly、? 的修飾符。內置的 Record、ReadOnly、Required、Partial 等類型都是映射類型。

但是，現在的映射類型還是有局限性的，不能對索引名做修改、過濾等操作，功能還不夠強。

如果想實現過濾、轉換，那就得用到映射類型的重映射了。

重映射

重映射就是在索引后加一個 as 語句，表明索引轉換成什么，它可以用來對索引類型做過濾和轉換。

比如過濾出類型為 string 的索引：

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

返回 never 代表過濾掉，否則保留。

還可以對索引做轉換，比如修改索引名，加上 get：

type Getters<T extends Record<any, any>> = {
  [Key in keyof T as `get${Capitalize<Key & string>}`]: T[Key];
}

T extends xxx 是給類型參數的約束，表示只能傳入這種類型。這里的 Record 類型是生成索引類型的，我們上面介紹過，所以 T extends Record 就是約束了這里只能傳入索引類型。

as 后面是把索引轉換成什么，我們是在原來的基礎上做了修改，加上了 get，并且后面內容首字母大寫，這個 Capitalize 也是 TS 內置的類型。

效果如下：

這兩個例子分別說明了重映射 as 可以用來做索引類型的過濾和轉換，可以對索引類型做更靈活的編程。

比如，實現 key 和 value 的互換：

type Flip<T extends Record<any, any>> = {
  [Key in keyof T as `${T[Key]}`]: Key
}

支持重映射之后，映射類型可以對索引類型做更多的修改。

總結

TypeScript 通過索引類型來表示有多個元素的聚合類型，比如數組、對象等。

TS 支持類型編程，也就是對類型參數做各種運算然后返回新的類型。對索引類型當然也可以做運算，對應的類型就是映射類型。

映射類型在生成新的索引類型的過程中，還可以加上或去掉 readonly、?的修飾符。內置的 Record、Required、Partial、ReadOnly 都是映射類型。

如果想對索引類型做進一步的過濾和轉換，就需要用到 as 的重映射，它可以對索引做修改(當索引為 never 就代表過濾掉該索引)。

會用索引類型是只是基礎，會用映射類型和重映射就是進階內容了，這部分可以寫出很多復雜的類型邏輯，屬于類型體操的范疇。