在使用TypeScript的過(guò)程中，我們是面向類型編程的。為了滿足不同的工作場(chǎng)景，我們需要對(duì)已知的類型進(jìn)行改造。為了方便 TypeScript 用戶，TypeScript 開發(fā)團(tuán)隊(duì)為我們提供了很多有用的內(nèi)置實(shí)用類型。有了這些實(shí)用類型，我們可以很方便地轉(zhuǎn)換類型、提取類型、排除類型，或者獲取函數(shù)的參數(shù)類型或返回值類型。

在今天的文章中，我從 TypeScript 內(nèi)置的實(shí)用類型中挑選了 15 個(gè)非常有用的類型，分別介紹了它們的用法和內(nèi)部工作原理。看完本文，相信你能真正掌握這些內(nèi)置實(shí)用類型的用法。

1. Partial<Type>

構(gòu)造一個(gè) Type 的所有屬性都設(shè)置為可選的類型。

/**
 * Make all properties in T optional. 
 * typescript/lib/lib.es5.d.ts
 */
type Partial<T> = {
    [P in keyof T]?: T[P];
};

2. Required<Type>

構(gòu)造一個(gè)類型，該類型由設(shè)置為必需的 Type 的所有屬性組成，與 Partial 相反。

/**
 * Make all properties in T required.
 * typescript/lib/lib.es5.d.ts
 */
type Required<T> = {
    [P in keyof T]-?: T[P];
};

3. Readonly<Type>

構(gòu)造一個(gè) Type 的所有屬性都設(shè)置為只讀的類型，這意味著不能重新分配構(gòu)造類型的屬性。

/**
 * Make all properties in T readonly.
 * typescript/lib/lib.es5.d.ts
 */
type Readonly<T> = {
    readonly [P in keyof T]: T[P];
};

4. Record<Key?s, Type>

構(gòu)造一個(gè)對(duì)象類型，其屬性鍵為 Keys，其屬性值為 Type，該實(shí)用程序可用于將一種類型的屬性映射到另一種類型。

/**
 * Construct a type with a set of properties K of type T.
 * typescript/lib/lib.es5.d.ts
 */
type Record<K extends keyof any, T> = {
    [P in K]: T;
};

5. Exclude<UnionType, ExcludedMembers>

通過(guò)從 UnionType 中排除所有可分配給 ExcludedMembers 的聯(lián)合成員來(lái)構(gòu)造一個(gè)類型。

/**
 * Exclude from T those types that are assignable to U.
 * typescript/lib/lib.es5.d.ts
 */
type Exclude<T, U> = T extends U ? never : T;

6. Extract<Type, Union>

通過(guò)從 Type 中提取可分配給 Union 的所有聯(lián)合成員來(lái)構(gòu)造一個(gè)類型。

/**
 * Extract from T those types that are assignable to U.
 * typescript/lib/lib.es5.d.ts
 */
type Extract<T, U> = T extends U ? T : never;

7. Pick<Type, Keys>

通過(guò)從 Type 中選擇一組屬性鍵（字符串文字或字符串文字的并集）來(lái)構(gòu)造一個(gè)類型。

/**
 * From T, pick a set of properties whose keys are in the union K.
 * typescript/lib/lib.es5.d.ts
 */
type Pick<T, K extends keyof T> = {
    [P in K]: T[P];
};

8. Omit<Type, Keys>

通過(guò)從 Type 中選擇所有屬性然后刪除鍵（字符串文字或字符串文字的并集）來(lái)構(gòu)造一個(gè)類型。

/**
 * Construct a type with the properties of T except for those 
 * in type K. 
 * typescript/lib/lib.es5.d.ts
 */
type Omit<T, K extends keyof any> = Pick<T, Exclude<keyof T, K>>;

9. NonNullable<Type>

通過(guò)從 Type 中排除 null 和 undefined 來(lái)構(gòu)造一個(gè)類型。

/**
 * Exclude null and undefined from T.
 * typescript/lib/lib.es5.d.ts
 */
type NonNullable<T> = T extends null | undefined ? never : T;

10. Parameters<Type>

根據(jù)函數(shù)類型 Type 的參數(shù)中使用的類型構(gòu)造元組類型。

/**
 * Obtain the parameters of a function type in a tuple.
 * typescript/lib/lib.es5.d.ts
 */
type Parameters<T extends (...args: any) => any> = T extends 
  (...args: infer P) => any ? P : never;

11. ReturnType<Type>

構(gòu)造一個(gè)由函數(shù) Type 的返回類型組成的類型。

/**
 * Obtain the return type of a function type.
 * typescript/lib/lib.es5.d.ts
 */
type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any;

12. Uppercase<StringType>

將字符串文字類型轉(zhuǎn)換為大寫。

13. Lowercase<StringType>

將字符串文字類型轉(zhuǎn)換為小寫。

14. Capitalize<StringType>

將字符串文字類型的第一個(gè)字符轉(zhuǎn)換為大寫。

15. Uncapitalize<StringType>

將字符串文字類型的第一個(gè)字符轉(zhuǎn)換為小寫。

除了上面介紹的這些實(shí)用類型外，其他常用的 TypeScript 內(nèi)置實(shí)用類型如下：

• ConstructorParameters<Type>：根據(jù)構(gòu)造函數(shù)類型的類型構(gòu)造元組或數(shù)組類型。它生成一個(gè)包含所有參數(shù)類型的元組類型（如果 Type 不是函數(shù)，則生成 never 類型）。
• InstanceType<Type>：構(gòu)造一個(gè)由Type中構(gòu)造函數(shù)的實(shí)例類型組成的類型。
• ThisParameterType<Type>：為函數(shù)類型提取此參數(shù)的類型，如果函數(shù)類型沒有此參數(shù)，則為未知。

總結(jié)

本文介紹的實(shí)用程序類型屬于內(nèi)部使用，有關(guān)映射類型、條件類型和推斷類型推斷的知識(shí)。如果您不熟悉映射類型和條件類型，我強(qiáng)烈建議您去學(xué)習(xí)一下它的相關(guān)知識(shí)。

如果你覺得今天的內(nèi)容對(duì)你有用的話，請(qǐng)記得點(diǎn)贊我，關(guān)注我，并將這篇文章分享給你的朋友，也許能夠幫助到他。