泛型
TypeScript 中泛型設(shè)計(jì)的目的是使在成員之間提供有意義的約束疆液,為代碼增加抽象層和提升可重用性一铅。泛型可以應(yīng)用于 Typescript 中的函數(shù)(函數(shù)參數(shù)、函數(shù)返回值)堕油、接口和類(lèi)(類(lèi)的實(shí)例成員潘飘、類(lèi)的方法)。
簡(jiǎn)單示例
先來(lái)看這個(gè)如果平常我們寫(xiě)函數(shù)的參數(shù)和返回值類(lèi)型可能會(huì)這么寫(xiě)~約束了函數(shù)參數(shù)和返回值必須為數(shù)字類(lèi)型掉缺。
function identity(arg: number): number {
return arg;
}
那么問(wèn)題來(lái)了卜录。如果我要參數(shù)和返回值類(lèi)型限定為字符串類(lèi)型的話,又改成這么寫(xiě)眶明。
function identity(arg: string): string {
return arg;
}
不科學(xué)呀艰毒!當(dāng)函數(shù)想支持多類(lèi)型參數(shù)或返回值的時(shí)候,上述寫(xiě)法將變得十分不靈活搜囱。于是泛型就閃亮登場(chǎng)了丑瞧!
考慮以下寫(xiě)法:
function identity<T>(arg: T): T {
return arg;
}
function identities<T, U>(arg1: T, arg2: U): [T, U] {
return [arg1, arg2];
}
使用泛型后,可以接受任意類(lèi)型蜀肘,但是又完成了函數(shù)參數(shù)和返回值的約束關(guān)系绊汹。十分靈活~可復(fù)用性大大增強(qiáng)了!
泛型約束
有時(shí)候我們定義的泛型不想過(guò)于靈活或者說(shuō)想繼承某些類(lèi)等扮宠,可以通過(guò) extends 給泛型加上約束西乖。
interface ILengthwise {
length: number;
}
function loggingIdentity<T extends ILengthwise>(arg: T): T {
console.log(arg.length);
return arg;
}
其實(shí)泛型我們?cè)?React 組件里也很常見(jiàn)(說(shuō)不定大家覺(jué)得很眼熟了),用泛型確保了 React 組件的 Props 和 State 是類(lèi)型安全的~
interface ICustomToolProps {
// @TODO
}
interface ICustomToolState {
// @TODO
}
class CustomTool extends React.Component<ICustomToolProps, ICustomToolState> {
// @TODO
}
所以大家看上面的 ICustomToolProps、ICustomToolState 其實(shí)也是泛型坛增。應(yīng)用在類(lèi)上面的泛型語(yǔ)法簡(jiǎn)化如下示例:
class Directive<T> {
private name: T;
public getName(): T {
return this.name;
}
// @TODO
}
當(dāng)使用泛型時(shí)获雕,一般情況下常用 T、U收捣、V 表示典鸡,如果比較復(fù)雜,應(yīng)使用更優(yōu)語(yǔ)義化的描述坏晦,比如上述 React 組件示例萝玷。
實(shí)踐一下
比如說(shuō)設(shè)計(jì)一個(gè)指令管理者對(duì)象~用來(lái)管理指令
enum EDirective {
Walk = 1,
Jump = 2,
Smile = 3
}
class DirectiveManager<T> {
private directives: Array<T> = [];
add = (directive: T): Array<T> => {
this.directives = this.directives.concat(directive);
return this.directives;
};
get = (index: number): T => {
return this.directives[index];
};
shift = (): Array<T> => {
this.directives = this.directives.slice(1);
return this.directives;
};
// @TODO
}
初始化一個(gè)指令管理者的實(shí)例嫁乘。給定泛型為 number 類(lèi)型。
可以發(fā)現(xiàn)指令管理者對(duì)象成功被限定類(lèi)型球碉,如果傳參類(lèi)型錯(cuò)誤蜓斧,會(huì)被 TypeScript 及時(shí)提醒。
了解數(shù)組方法的泛型
經(jīng)過(guò)上面的介紹睁冬,相信大家都對(duì)泛型有一定了解了挎春!那么接下來(lái)通過(guò)帶大家看 JavaScript 數(shù)組方法的泛型來(lái)加深理解~
我們來(lái)閱讀以下數(shù)組對(duì)象的屬性以及方法的泛型(我抽取了一部分,希望大家不要覺(jué)得代碼過(guò)長(zhǎng)豆拨,就略過(guò)不讀直奋,我覺(jué)得也是換一種方式熟悉 JavaScript 語(yǔ)法的一種方式~)
interface Array<T> {
length: number;
[n: number]: T;
reverse(): T[];
shift(): T;
pop(): T;
unshift(...items: T[]): number;
push(...items: T[]): number;
slice(start?: number, end?: number): T[];
sort(compareFn?: (a: T, b: T) => number): T[];
indexOf(searchElement: T, fromIndex?: number): number;
lastIndexOf(searchElement: T, fromIndex?: number): number;
every(callbackfn: (value: T, index: number, array: T[]) => boolean, thisArg?: any): boolean;
some(callbackfn: (value: T, index: number, array: T[]) => boolean, thisArg?: any): boolean;
forEach(callbackfn: (value: T, index: number, array: T[]) => void, thisArg?: any): void;
map<U>(callbackfn: (value: T, index: number, array: T[]) => U, thisArg?: any): U[];
filter(callbackfn: (value: T, index: number, array: T[]) => boolean, thisArg?: any): T[];
splice(start: number): T[];
splice(start: number, deleteCount: number, ...items: T[]): T[];
concat<U extends T[]>(...items: U[]): T[];
concat(...items: T[]): T[];
reduce(
callbackfn: (previousValue: T, currentValue: T, currentIndex: number, array: T[]) => T,
initialValue?: T
): T;
reduce<U>(
callbackfn: (previousValue: U, currentValue: T, currentIndex: number, array: T[]) => U,
initialValue: U
): U;
reduceRight(
callbackfn: (previousValue: T, currentValue: T, currentIndex: number, array: T[]) => T,
initialValue?: T
): T;
reduceRight<U>(
callbackfn: (previousValue: U, currentValue: T, currentIndex: number, array: T[]) => U,
initialValue: U
): U;
}
相信大家對(duì)數(shù)組方法都十分熟悉了~下面將帶大家稍微看一下部分方法
shift/pop & push/unshift
shift(): T;
pop(): T;
unshift(...items: T[]): number;
push(...items: T[]): number;
平時(shí)大家可能會(huì)混淆幾個(gè)方法。但是看了它們的函數(shù)簽名后施禾,是否覺(jué)得一目了然脚线。push/unshift 方法調(diào)用后返回時(shí)數(shù)字類(lèi)型,也就是其數(shù)組長(zhǎng)度弥搞。而 shift/pop 方法調(diào)用后返回了彈出的元素邮绿,
forEach & map
forEach(callbackfn: (value: T, index: number, array: T[]) => void, thisArg?: any): void;
map<U>(callbackfn: (value: T, index: number, array: T[]) => U, thisArg?: any): U[];
這兩個(gè)方法很值得一說(shuō),因?yàn)閮烧叨季邆浔闅v的特征攀例,所以常見(jiàn)很多同學(xué)們混用這兩個(gè)方法船逮,其實(shí)大有講究≡撩看到 forEach
的方法其實(shí)是返回 void 的挖胃,而在map
方法里,最終是將 T[] 映射成了 U[]梆惯。所以呢冠骄,一言以蔽之,forEach
一般用來(lái)執(zhí)行副作用的加袋,比如持久的修改一下元素凛辣、數(shù)組、狀態(tài)等职烧,以及打印日志等扁誓,本質(zhì)上是不純的。而 map
方法用來(lái)作為值的映射蚀之,本質(zhì)上是純凈的蝗敢,在函數(shù)式編程里十分重要。
concat
splice
足删、concat
寿谴、reduce
、reduceRight
這些方法基本都重載了兩次失受,也就明顯告訴我們這些方法是有多種傳參調(diào)用方式的讶泰。
比如concat<U extends T[]>(...items: U[]): T[];
這里使用到了上述和大家介紹的泛型約束咏瑟,意思為可以傳遞多個(gè)數(shù)組元素。下面緊跟著的concat(...items: T[]): T[];
則告訴我們也可以傳遞多個(gè)元素痪署。兩個(gè)函數(shù)簽名都告訴我們函數(shù)返回一個(gè)數(shù)組码泞,它由被調(diào)用的對(duì)象中的元素組成,每個(gè)參數(shù)的順序依次是該參數(shù)的元素(如果參數(shù)是數(shù)組)或參數(shù)本身(如果參數(shù)不是數(shù)組)狼犯。它不會(huì)遞歸到嵌套數(shù)組參數(shù)中余寥。
映射類(lèi)型
有時(shí)候我們有從舊類(lèi)型中創(chuàng)建新類(lèi)型的一個(gè)需求場(chǎng)景,TypeScript 提供了映射類(lèi)型這種方式悯森。 在映射類(lèi)型里宋舷,新類(lèi)型以相同的形式去轉(zhuǎn)換舊類(lèi)型里每個(gè)屬性
比如我們將每個(gè)屬性成為 readonly 類(lèi)型,如下
type Readonly<T> = { readonly [P in keyof T]: T[P] };
同理如下瓢姻,見(jiàn)圖可理解~
type Partial<T> = { [P in keyof T]?: T[P] };
那么大家應(yīng)該也 get 到下述代碼的意圖了~
type Nullable<T> = { [P in keyof T]: T[P] | null };
擴(kuò)展一下可以寫(xiě)任意的映射類(lèi)型來(lái)滿足自己的需求場(chǎng)景~
enum EDirective {
Walk = 1,
Jump = 2,
Smile = 3
}
type DirectiveKeys = keyof typeof EDirective;
type Flags = { [K in DirectiveKeys]: boolean };
type Pick<T, K extends keyof T> = { [P in K]: T[P] };
type Record<K extends string, T> = { [P in K]: T };
條件類(lèi)型中的推斷
infer 表示在 extends 條件語(yǔ)句中待推斷的類(lèi)型變量祝蝠。
在條件類(lèi)型的 extends 語(yǔ)句中,我們可以用 infer 聲明一個(gè)類(lèi)型變量汹来,然后在其分支語(yǔ)句中使用該類(lèi)型變量。如果不懂改艇,沒(méi)有關(guān)系收班,請(qǐng)繼續(xù)看下面的例子~
提取函數(shù)參數(shù) & 提取函數(shù)返回值
該語(yǔ)句中的(param: infer P)
,為函數(shù)首個(gè)參數(shù)推斷聲明了一個(gè)類(lèi)型變量 P谒兄,如果泛型 T 是一個(gè)函數(shù)摔桦,則根據(jù)之前的類(lèi)型變量 P,提取其推斷的函數(shù)參數(shù)并返回承疲,否則返回原有類(lèi)型邻耕。
type ParamType<T> = T extends (param: infer P) => any ? P : T;
如圖所以,成功提取了 IPrint 的參數(shù)類(lèi)型燕鸽。
同理如下兄世,提取返回值同樣理解~
type ReturnType<T> = T extends (...args: any[]) => infer P ? P : any;
提取構(gòu)造函數(shù)參數(shù)類(lèi)型 & 提取實(shí)例類(lèi)型
下述代碼可以提取構(gòu)造函數(shù)參數(shù)類(lèi)型~
type ConstructorParameters<T extends new (...args: any[]) => any> = T extends new (
...args: infer P
) => any
? P
: never;
T extends new (...args: any[]) => any
這里用到了泛型約束,new (...args: infer P)
這一句將參數(shù)推斷聲明為類(lèi)型變量 P啊研。剩余的還是一樣的理解~
下述提取實(shí)例類(lèi)型(和提取構(gòu)造函數(shù)參數(shù)類(lèi)型小有不同同學(xué)們自己發(fā)現(xiàn)一下)
type InstanceType<T extends new (...args: any[]) => any> = T extends new (...args: any[]) => infer R
? R
: any;
其他常用的條件推斷
剩余的列舉一些比較實(shí)用的御滩,參照上述方式理解,同學(xué)們?nèi)缛舾信d趣党远,可自行谷歌~
提取數(shù)組子元素
type Flatten<T> = T extends (infer U)[] ? U : T;
提取Promise值
type Unpromisify<T> = T extends Promise<infer R> ? R : T;
Tuple 轉(zhuǎn) Union
type ElementOf<T> = T extends Array<infer E> ? E : never;
Union 轉(zhuǎn) Intersection
type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((
k: infer I
) => void)
? I
: never;
什么時(shí)候使用泛型
1.當(dāng)函數(shù)削解、接口、類(lèi)是接受多類(lèi)型參數(shù)的時(shí)候沟娱,可以用泛型提高可重用性氛驮。
2.當(dāng)函數(shù)、接口济似、類(lèi)需要在多個(gè)地方用到某個(gè)類(lèi)型的時(shí)候矫废。