TypeScript 映射類型

TypeScript 會將一些好用的工具類型納入基準(zhǔn)庫中，方便開發(fā)者直接使用，本節(jié)介紹的映射類型就是這樣的工具類型。

對這種工具類型，我們不只要知道使用方法，還要了解其實(shí)現(xiàn)功能的本質(zhì)。本節(jié)我們會從源碼進(jìn)行分析，逐步掌握。

1. 慕課解釋

映射類型可以將已知類型的每個(gè)屬性都變?yōu)榭蛇x的或者只讀的。

2. Readonly 與 Partial 關(guān)鍵字

先來看這樣一個(gè)任務(wù)：將 Person 接口的每個(gè)屬性都變?yōu)榭蛇x屬性或者只讀屬性。

interface Person{
  name: string
  age: number
}

type PersonOptional = Partial<Person>
type PersonReadonly = Readonly<Person>

代碼解釋：

第 6 行，通過 Partial<Person> 這樣的語法格式得到類型別名 PersonOptional，等價(jià)于：

type PersonOptional = {
  name?: string
  age?: number
}

第 7 行，通過 Readonly<Person> 這樣的語法格式得到類型別名 PersonReadonly，等價(jià)于：

type PersonReadonly = {
  readonly name: string
  readonly age: number
}

3. 兩個(gè)關(guān)鍵字的源碼分析

來看它們的實(shí)現(xiàn)源碼：

type Readonly<T> = {
  readonly [K in keyof T]: T[K]
}
type Partial<T> = {
  [K in keyof T]?: T[K]
}

源碼就使用了映射類型的語法 [K in Keys]，來看這個(gè)語法的兩個(gè)部分：

1. 類型變量 K：它會依次綁定到每個(gè)屬性，對應(yīng)每個(gè)屬性名的類型。
2. 字符串字面量構(gòu)成的聯(lián)合類型的 Keys：它包含了要迭代的屬性名的集合。

我們可以使用 for...in 來理解，它可以遍歷目標(biāo)對象的屬性。

接下來繼續(xù)分析：

• Keys，可以通過 keyof 關(guān)鍵字取得，假設(shè)傳入的類型是泛型 T，得到 keyof T，即為字符串字面量構(gòu)成的聯(lián)合類型（"name" | "age"）。
• [K in keyof T]，將屬性名一一映射出來。
• T[K]，得到屬性值的類型。

已知了這些信息，我們就得到了將一個(gè)對象所有屬性變?yōu)榭蛇x屬性的方法：

[K in keyof T]?: T[K]

進(jìn)而可得：

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

Readonly<T> 和 Partial<T> 都有著廣泛的用途，因此它們與 Pick 一同被包含進(jìn)了 TypeScript 的標(biāo)準(zhǔn)庫里：

type Pick<T, K extends keyof T> = {
  [P in K]: T[P]
}

interface User {
  id: number
  age: number
  name: string
}

type PickUser = Pick<User, 'id'>

代碼解釋：

最后一行，就相當(dāng)于 type PickUser = { id: number }。

4. 小結(jié)

映射類型的語法是 [K in Keys]，比較簡單，但是由此我們分析了幾個(gè) TypeScript 標(biāo)準(zhǔn)庫中好用的工具類型。TypeScript 中工具類型有很多，感興趣的同學(xué)可以深入了解一下。