學習TypeScript的過程中發(fā)現(xiàn)對某些UtilityTypes不是很理解，就重新在文檔上系統(tǒng)學習了一遍株灸，TypeScript提供了幾種實用工具類型來促進常見的類型轉換崇摄，這些實用程序是全局可用的。
UtilityTypes文檔鏈接：https://www.typescriptlang.org/docs/handbook/utility-types.html
Partial<T>
將泛型傳入的T中所有屬性轉換為可選屬性慌烧，返回的類型可以是T的任意子集逐抑。
interface Person {
name: string,
age: number
}
// 相當于type Person1 = { name?: string; age?: number; }
type Person1 = Partial<Person>
const p: Person = {
name: 'lin',
age: 18
}
const p1: Person1 = {
name: 'lin'
}
源碼：
type Partial<T> = {
[P in keyof T]?: T[P];
};
keyof T 獲取T中的key值組合，這里的例子T是Person相當于是'name' | 'age', in關鍵字遍歷keyof返回值為新的類型新增了name和age屬性屹蚊，厕氨？操作符將所有屬性定義為可選屬性。
Required <T>
將泛型傳入的T中所有屬性轉換為必須屬性汹粤，和Partial類型相反命斧。
interface Person {
name?: string,
age?: number
}
type Person1 = Required<Person> // 相當于type Person1 = { name: string; age: number; }
const p: Person = {
name: 'lin'
}
// 錯誤提示：類型 "{ name: string; }" 中缺少屬性 "age"，但類型 "Required<Person>" 中需要該屬性嘱兼。
const p1: Person1 = {
name: 'lin'
}
源碼：
type Required<T> = {
[P in keyof T]-?: T[P];
};
和Partial相反国葬，通過-？操作符將所以可選屬性去除芹壕。
Readonly<T>
將泛型傳入的T中所有屬性轉換為只讀屬性汇四。
interface Person {
name: string
}
type Person1 = Readonly<Person> // 相當于type Person1 = { readonly name: string; }
const p: Person1 = {
name: 'lin'
}
// 提示錯誤： 無法分配到 "name" ，因為它是只讀屬性踢涌。
p.name = 'zhen'
源碼：
type Readonly<T> = {
readonly [P in keyof T]: T[P];
};
使用readonly關鍵字將所有屬性變成只讀屬性通孽。
Record<K, T>
創(chuàng)建一個對象類型，使對象的鍵key的類型為傳入的泛型K睁壁，使對象的值value的類型為傳入的泛型T背苦。
interface CatInfo {
age: number;
breed: string;
}
type CatName = "miffy" | "boris" | "mordred";
const cats: Record<CatName, CatInfo> = {
miffy: { age: 10, breed: "Persian" },
boris: { age: 5, breed: "Maine Coon" },
mordred: { age: 16, breed: "British Shorthair" },
};
// boris類型為：CatInfo
cats.boris;
源碼：
type Record<K extends keyof any, T> = {
[P in K]: T;
};
Pick<T, K>
通過傳入的泛型T中選擇一組屬性K(字符串字面值或字符串字面值的聯(lián)合)來構造類型。
interface Todo {
title: string;
description: string;
completed: boolean;
}
// 相當于type TodoPreview = { title: string; completed: boolean; }
type TodoPreview = Pick<Todo, "title" | "completed">;
const todo: TodoPreview = {
title: "Clean room",
completed: false,
};
源碼：
type Pick<T, K extends keyof T> = {
[P in K]: T[P];
};
規(guī)定了泛型K必須是泛型T中key的子集堡僻，上面例子中K必須是‘title’｜‘description’｜‘completed’
Omit<T,K>
通過傳入的泛型T中選擇一組屬性K并刪除其他屬性糠惫，和Pick相反。
interface Todo {
title: string;
description: string;
completed: boolean;
createdAt: number;
}
// 相當于 type TodoPreview = { title: string; completed: boolean; createdAt: number; }
type TodoPreview = Omit<Todo, "description">;
const todo: TodoPreview = {
title: "Clean room",
completed: false,
createdAt: 1615544252770,
};
源碼：
type Omit<T, K extends keyof any> = Pick<T, Exclude<keyof T, K>>;
結合了Pick和Exclude钉疫，使用Exclude排除掉T中除了包含K的所有屬性硼讽，使用Pick重新創(chuàng)建一個新的類型。
Parameters<T>
從函數(shù)類型T的形參中使用的類型構造元組類型牲阁，可以用來獲取一個函數(shù)里面參數(shù)的類型固阁，不過注意是用元組的形式獲取。
const fn = (a: string, b: number): void => {}
const fn1 = <T>(arg: T): T => arg
// type p1 = [a: string, b: number
type p1 = Parameters<typeof fn>
// type p2 = [arg: unknown]
type p2 = Parameters<typeof fn1>
// type p3 = unknown[]
type p3 = Parameters<any>
// type p4 = never
type p4 = Parameters<never>
// 類型“string”不滿足約束“(...args: any) => any”城菊。
// 泛型必須傳入的是函數(shù)的類型定義
type p5 = Parameters<'lin'>
源碼：
type Parameters<T extends (...args: any) => any> = T extends (...args: infer P) => any ? P : never;
ReturnType<T>
獲取函數(shù)類型T返回值的類型备燃。
const fn = () => {
return {
name: 'lin',
age: 18
}
}
const fn1 = () => {
return [18, 'lin']
}
// type r1 = { name: string; age: number; }
type r1 = ReturnType<typeof fn>
// type r2 = (string | number)[]
type r2= ReturnType<typeof fn1>
// type r3 = any
type r3 = ReturnType<any>
// type r4 = never
type r4 = ReturnType<never>
// 類型“string”不滿足約束“(...args: any) => any”。
// 泛型必須傳入的是函數(shù)的類型定義
type r5 = ReturnType<'lin'>
源碼：
type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any;
