映射類型
一個(gè)常見的任務(wù)是將一個(gè)已知的類型每個(gè)屬性都變?yōu)榭蛇x的：
interface PersonPartial {
? ? name?: string;
? ? age?: number;
}
或者我們想要一個(gè)只讀版本：
interface PersonReadonly {
? ? readonly name: string;
? ? readonly age: number;
}
這在JavaScript里經(jīng)常出現(xiàn)焊傅，TypeScript提供了從舊類型中創(chuàng)建新類型的一種方式 — 映射類型武福。 在映射類型里，新類型以相同的形式去轉(zhuǎn)換舊類型里每個(gè)屬性遥缕。 例如醉冤，你可以令每個(gè)屬性成為 readonly類型或可選的秩霍。 下面是一些例子：
type Readonly<T> = {
? ? readonly [P in keyof T]: T[P];
}
type Partial<T> = {
? ? [P in keyof T]?: T[P];
}
像下面這樣使用：
type PersonPartial = Partial<Person>;
type ReadonlyPerson = Readonly<Person>;
下面來看看最簡單的映射類型和它的組成部分：
type Keys = 'option1' | 'option2';
type Flags = { [K in Keys]: boolean };
它的語法與索引簽名的語法類型，內(nèi)部使用了 for .. in蚁阳。 具有三個(gè)部分：
類型變量 K铃绒，它會(huì)依次綁定到每個(gè)屬性。
字符串字面量聯(lián)合的 Keys螺捐，它包含了要迭代的屬性名的集合颠悬。
屬性的結(jié)果類型。
在個(gè)簡單的例子里定血， Keys是硬編碼的的屬性名列表并且屬性類型永遠(yuǎn)是 boolean赔癌，因此這個(gè)映射類型等同于：
type Flags = {
? ? option1: boolean;
? ? option2: boolean;
}
在真正的應(yīng)用里，可能不同于上面的 Readonly或 Partial糠悼。 它們會(huì)基于一些已存在的類型届榄，且按照一定的方式轉(zhuǎn)換字段。 這就是 keyof和索引訪問類型要做的事情：
type NullablePerson = { [P in keyof Person]: Person[P] | null }
type PartialPerson = { [P in keyof Person]?: Person[P] }
但它更有用的地方是可以有一些通用版本倔喂。
type Nullable<T> = { [P in keyof T]: T[P] | null }
type Partial<T> = { [P in keyof T]?: T[P] }
在這些例子里铝条，屬性列表是 keyof T且結(jié)果類型是 T[P]的變體。 這是使用通用映射類型的一個(gè)好模版席噩。 因?yàn)檫@類轉(zhuǎn)換是 同態(tài)的班缰，映射只作用于 T的屬性而沒有其它的。 編譯器知道在添加任何新屬性之前可以拷貝所有存在的屬性修飾符悼枢。 例如埠忘，假設(shè) Person.name是只讀的，那么 Partial<Person>.name也將是只讀的且為可選的馒索。
下面是另一個(gè)例子莹妒， T[P]被包裝在 Proxy<T>類里：
type Proxy<T> = {
? ? get(): T;
? ? set(value: T): void;
}
type Proxify<T> = {
? ? [P in keyof T]: Proxy<T[P]>;
}
function proxify<T>(o: T): Proxify<T> {
? // ... wrap proxies ...
}
let proxyProps = proxify(props);
注意 Readonly<T>和 Partial<T>用處不小，因此它們與 Pick和 Record一同被包含進(jìn)了TypeScript的標(biāo)準(zhǔn)庫里：
type Pick<T, K extends keyof T> = {
? ? [P in K]: T[P];
}
type Record<K extends string, T> = {
? ? [P in K]: T;
}
Readonly绰上， Partial和 Pick是同態(tài)的旨怠，但 Record不是。 因?yàn)?Record并不需要輸入類型來拷貝屬性蜈块，所以它不屬于同態(tài)：
type ThreeStringProps = Record<'prop1' | 'prop2' | 'prop3', string>
非同態(tài)類型本質(zhì)上會(huì)創(chuàng)建新的屬性鉴腻，因此它們不會(huì)從它處拷貝屬性修飾符迷扇。
由映射類型進(jìn)行推斷
現(xiàn)在你了解了如何包裝一個(gè)類型的屬性，那么接下來就是如何拆包爽哎。 其實(shí)這也非常容易：
function unproxify<T>(t: Proxify<T>): T {
? ? let result = {} as T;
? ? for (const k in t) {
? ? ? ? result[k] = t[k].get();
? ? }
? ? return result;
}
let originalProps = unproxify(proxyProps);
注意這個(gè)拆包推斷只適用于同態(tài)的映射類型蜓席。 如果映射類型不是同態(tài)的，那么需要給拆包函數(shù)一個(gè)明確的類型參數(shù)课锌。
預(yù)定義的有條件類型
TypeScript 2.8在lib.d.ts里增加了一些預(yù)定義的有條件類型：
Exclude<T, U> -- 從T中剔除可以賦值給U的類型厨内。
Extract<T, U> -- 提取T中可以賦值給U的類型。
NonNullable<T> -- 從T中剔除null和undefined产镐。
ReturnType<T> -- 獲取函數(shù)返回值類型隘庄。
InstanceType<T> -- 獲取構(gòu)造函數(shù)類型的實(shí)例類型踢步。
示例
type T00 = Exclude<"a" | "b" | "c" | "d", "a" | "c" | "f">;? // "b" | "d"
type T01 = Extract<"a" | "b" | "c" | "d", "a" | "c" | "f">;? // "a" | "c"
type T02 = Exclude<string | number | (() => void), Function>;? // string | number
type T03 = Extract<string | number | (() => void), Function>;? // () => void
type T04 = NonNullable<string | number | undefined>;? // string | number
type T05 = NonNullable<(() => string) | string[] | null | undefined>;? // (() => string) | string[]
function f1(s: string) {
? ? return { a: 1, b: s };
}
class C {
? ? x = 0;
? ? y = 0;
}
type T10 = ReturnType<() => string>;? // string
type T11 = ReturnType<(s: string) => void>;? // void
type T12 = ReturnType<(<T>() => T)>;? // {}
type T13 = ReturnType<(<T extends U, U extends number[]>() => T)>;? // number[]
type T14 = ReturnType<typeof f1>;? // { a: number, b: string }
type T15 = ReturnType<any>;? // any
type T16 = ReturnType<never>;? // any
type T17 = ReturnType<string>;? // Error
type T18 = ReturnType<Function>;? // Error
type T20 = InstanceType<typeof C>;? // C
type T21 = InstanceType<any>;? // any
type T22 = InstanceType<never>;? // any
type T23 = InstanceType<string>;? // Error
type T24 = InstanceType<Function>;? // Error
注意：Exclude類型是建議的Diff類型的一種實(shí)現(xiàn)癣亚。我們使用Exclude這個(gè)名字是為了避免破壞已經(jīng)定義了Diff的代碼，并且我們感覺這個(gè)名字能更好地表達(dá)類型的語義获印。我們沒有增加Omit<T, K>類型述雾，因?yàn)樗梢院苋菀椎挠肞ick<T, Exclude<keyof T, K>>來表示。
