TypeScript中的泛型以及條件類(lèi)型中的推斷

泛型

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)型。


微信圖片_20201113105046.jpg

可以發(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寿谴、reducereduceRight 這些方法基本都重載了兩次失受,也就明顯告訴我們這些方法是有多種傳參調(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] };
2.jpg

同理如下瓢姻,見(jiàn)圖可理解~

type Partial<T> = { [P in keyof T]?: T[P] };
3.jpg

那么大家應(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 };
4.jpg
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;
5.jpg

如圖所以,成功提取了 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;

6.jpg

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í)候矫废。

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
  • 序言:七十年代末盏缤,一起剝皮案震驚了整個(gè)濱河市,隨后出現(xiàn)的幾起案子磷脯,更是在濱河造成了極大的恐慌蛾找,老刑警劉巖,帶你破解...
    沈念sama閱讀 222,681評(píng)論 6 517
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件赵誓,死亡現(xiàn)場(chǎng)離奇詭異打毛,居然都是意外死亡,警方通過(guò)查閱死者的電腦和手機(jī)俩功,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 95,205評(píng)論 3 399
  • 文/潘曉璐 我一進(jìn)店門(mén)幻枉,熙熙樓的掌柜王于貴愁眉苦臉地迎上來(lái),“玉大人诡蜓,你說(shuō)我怎么就攤上這事熬甫。” “怎么了蔓罚?”我有些...
    開(kāi)封第一講書(shū)人閱讀 169,421評(píng)論 0 362
  • 文/不壞的土叔 我叫張陵椿肩,是天一觀的道長(zhǎng)。 經(jīng)常有香客問(wèn)我豺谈,道長(zhǎng)郑象,這世上最難降的妖魔是什么? 我笑而不...
    開(kāi)封第一講書(shū)人閱讀 60,114評(píng)論 1 300
  • 正文 為了忘掉前任茬末,我火速辦了婚禮厂榛,結(jié)果婚禮上,老公的妹妹穿的比我還像新娘丽惭。我一直安慰自己击奶,他們只是感情好,可當(dāng)我...
    茶點(diǎn)故事閱讀 69,116評(píng)論 6 398
  • 文/花漫 我一把揭開(kāi)白布责掏。 她就那樣靜靜地躺著柜砾,像睡著了一般。 火紅的嫁衣襯著肌膚如雪换衬。 梳的紋絲不亂的頭發(fā)上局义,一...
    開(kāi)封第一講書(shū)人閱讀 52,713評(píng)論 1 312
  • 那天,我揣著相機(jī)與錄音冗疮,去河邊找鬼萄唇。 笑死,一個(gè)胖子當(dāng)著我的面吹牛术幔,可吹牛的內(nèi)容都是我干的另萤。 我是一名探鬼主播,決...
    沈念sama閱讀 41,170評(píng)論 3 422
  • 文/蒼蘭香墨 我猛地睜開(kāi)眼,長(zhǎng)吁一口氣:“原來(lái)是場(chǎng)噩夢(mèng)啊……” “哼四敞!你這毒婦竟也來(lái)了泛源?” 一聲冷哼從身側(cè)響起,我...
    開(kāi)封第一講書(shū)人閱讀 40,116評(píng)論 0 277
  • 序言:老撾萬(wàn)榮一對(duì)情侶失蹤忿危,失蹤者是張志新(化名)和其女友劉穎达箍,沒(méi)想到半個(gè)月后,有當(dāng)?shù)厝嗽跇?shù)林里發(fā)現(xiàn)了一具尸體铺厨,經(jīng)...
    沈念sama閱讀 46,651評(píng)論 1 320
  • 正文 獨(dú)居荒郊野嶺守林人離奇死亡缎玫,尸身上長(zhǎng)有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點(diǎn)故事閱讀 38,714評(píng)論 3 342
  • 正文 我和宋清朗相戀三年,在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了解滓。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片赃磨。...
    茶點(diǎn)故事閱讀 40,865評(píng)論 1 353
  • 序言:一個(gè)原本活蹦亂跳的男人離奇死亡,死狀恐怖洼裤,靈堂內(nèi)的尸體忽然破棺而出邻辉,到底是詐尸還是另有隱情,我是刑警寧澤腮鞍,帶...
    沈念sama閱讀 36,527評(píng)論 5 351
  • 正文 年R本政府宣布值骇,位于F島的核電站,受9級(jí)特大地震影響移国,放射性物質(zhì)發(fā)生泄漏吱瘩。R本人自食惡果不足惜,卻給世界環(huán)境...
    茶點(diǎn)故事閱讀 42,211評(píng)論 3 336
  • 文/蒙蒙 一桥狡、第九天 我趴在偏房一處隱蔽的房頂上張望搅裙。 院中可真熱鬧皱卓,春花似錦裹芝、人聲如沸。這莊子的主人今日做“春日...
    開(kāi)封第一講書(shū)人閱讀 32,699評(píng)論 0 25
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽(yáng)。三九已至掐禁,卻和暖如春怜械,著一層夾襖步出監(jiān)牢的瞬間,已是汗流浹背傅事。 一陣腳步聲響...
    開(kāi)封第一講書(shū)人閱讀 33,814評(píng)論 1 274
  • 我被黑心中介騙來(lái)泰國(guó)打工缕允, 沒(méi)想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留,地道東北人蹭越。 一個(gè)月前我還...
    沈念sama閱讀 49,299評(píng)論 3 379
  • 正文 我出身青樓障本,卻偏偏與公主長(zhǎng)得像,于是被迫代替她去往敵國(guó)和親。 傳聞我的和親對(duì)象是個(gè)殘疾皇子驾霜,可洞房花燭夜當(dāng)晚...
    茶點(diǎn)故事閱讀 45,870評(píng)論 2 361

推薦閱讀更多精彩內(nèi)容