日韩无码专区无码一级三级片|91人人爱网站中日韩无码电影|厨房大战丰满熟妇|AV高清无码在线免费观看|另类AV日韩少妇熟女|中文日本大黄一级黄色片|色情在线视频免费|亚洲成人特黄a片|黄片wwwav色图欧美|欧亚乱色一区二区三区

重載是指一個(gè)函數(shù)可以有不同的參數(shù)和返回值，也就是有不同的函數(shù)簽名。

創(chuàng)新互聯(lián)建站成立與2013年，是專業(yè)互聯(lián)網(wǎng)技術(shù)服務(wù)公司，擁有項(xiàng)目成都網(wǎng)站設(shè)計(jì)、成都做網(wǎng)站網(wǎng)站策劃，項(xiàng)目實(shí)施與項(xiàng)目整合能力。我們以讓每一個(gè)夢(mèng)想脫穎而出為使命，1280元中陽(yáng)做網(wǎng)站,已為上家服務(wù),為中陽(yáng)各地企業(yè)和個(gè)人服務(wù),聯(lián)系電話:18982081108

ts 支持函數(shù)重載，可以為同一個(gè)函數(shù)定義多個(gè)不同的類型：

重載的寫法一共有三種(估計(jì)大多數(shù)人只會(huì)一種)：

declare function func(name: string): string;
declare function func(name: number): number;

這種大家比較常用，聲明兩個(gè)同名函數(shù)，就能達(dá)到重載的目的：

函數(shù)可以用 interface 的方式聲明，同樣，也可以用 interface 的方式聲明函數(shù)重載：

函數(shù)類型可以取交叉類型，也就是多種類型都可以，其實(shí)也是函數(shù)重載的意思：

重載雖然是很有用的特性，但有的時(shí)候重載多了寫起來(lái)還是挺麻煩的。

比如 ts 提供的 lib.dom.ts 里就有這樣的類型定義：

因?yàn)槊糠N參數(shù)對(duì)應(yīng)不同的返回值，所以它就重載了這么多。

這樣寫起來(lái)也太麻煩了吧，能不能用類型編程動(dòng)態(tài)生成呢?

考慮下重載的三種寫法，declare 和 interface 不行，但是 & 可以呀，能不能我傳入一個(gè)聯(lián)合類型，然后它給返回交叉類型呢?

比如這樣：

都提示出來(lái)了肯定是可以的，我們看下砸實(shí)現(xiàn)的吧：

聯(lián)合轉(zhuǎn)交叉函數(shù)參數(shù)有逆變的性質(zhì)，也就是類型縮小，比如參數(shù)能同時(shí)傳 A、B、C 的話，參數(shù)類型怎么定義?

肯定是 A、B、C 的交集呀，也就你 A & B & C 的交叉類型，這樣就可以接收 A、B、C 的參數(shù)了。

可以利用這個(gè)性質(zhì)實(shí)現(xiàn)聯(lián)合轉(zhuǎn)交叉。

比如這樣：

都提示出來(lái)了肯定是可以的，我們看下砸實(shí)現(xiàn)的吧：

聯(lián)合轉(zhuǎn)交叉

函數(shù)參數(shù)有逆變的性質(zhì)，也就是類型縮小，比如參數(shù)能同時(shí)傳 A、B、C 的話，參數(shù)類型怎么定義?

肯定是 A、B、C 的交集呀，也就你 A & B & C 的交叉類型，這樣就可以接收 A、B、C 的參數(shù)了。

可以利用這個(gè)性質(zhì)實(shí)現(xiàn)聯(lián)合轉(zhuǎn)交叉。

type UnionToIntersection = 
    (U extends U ? (x: U) => unknown : never) extends (x: infer R) => unknown
        ? R
        : never

測(cè)試一下：

這里的類型參數(shù) U 是傳入的聯(lián)合類型，加一個(gè) U extends U 是為了觸發(fā)分布式條件類型的特性。

什么是分布式條件類型呢?

當(dāng)類型參數(shù)為聯(lián)合類型，并且在條件類型左邊直接引用該類型參數(shù)的時(shí)候，TypeScript 會(huì)把每一個(gè)元素單獨(dú)傳入來(lái)做類型運(yùn)算，最后再合并成聯(lián)合類型，這種語(yǔ)法叫做分布式條件類型。

比如這樣一個(gè)聯(lián)合類型：

type Union = 'a' | 'b' | 'c';

我們想把其中的 a 大寫，就可以這樣寫：

type UppercaseA = 
    Item extends 'a' ?  Uppercase : Item;

回到聯(lián)合轉(zhuǎn)交叉的這個(gè)高級(jí)類型：

加一個(gè) U extends U 或者 U extends any 就能觸發(fā)分布式條件類型的特性，讓聯(lián)合類型分成每一個(gè)類型單獨(dú)傳入做計(jì)算，最后把結(jié)果合并成聯(lián)合類型。

然后再把它放到函數(shù)參數(shù)的位置，構(gòu)造一個(gè)函數(shù)類型，通過模式匹配的方式提取參數(shù)的類型到 infer 聲明的局部變量 R 里返回。

這樣的結(jié)果就是交叉類型。

原因上面說(shuō)過了，函數(shù)參數(shù)有逆變的性質(zhì)，傳入聯(lián)合類型會(huì)返回交叉類型。

實(shí)現(xiàn)了聯(lián)合轉(zhuǎn)交叉之后，函數(shù)重載也就可以寫出來(lái)了：

比如三個(gè)重載的返回值分別是 Aaa、Bbb、Ccc：

我們想基于這個(gè)生成重載的類型定義，傳入聯(lián)合類型返回重載的函數(shù)：

就可以這樣寫：

type UnionToOverloadFunction = 
    UnionToIntersection<
        T extends any ? (type: T) => ReturnValueMap[T] : never
    >;

類型參數(shù) T 是 ReturnValueMap 里的 key，約束為 keyof ReturnValueMap。

通過 T extends any 觸發(fā)聯(lián)合類型在分布式條件類型中的分發(fā)特性，讓 'aaa' 'bbb' 'ccc' 分別傳入做計(jì)算，返回構(gòu)造出的函數(shù)類型的聯(lián)合。

我們先單獨(dú)測(cè)試下這部分：

可以看到返回的是構(gòu)造出的函數(shù)類型的聯(lián)合類型。

然后就用上面的 UnionToIntersection 轉(zhuǎn)交叉就可以了：

這樣就實(shí)現(xiàn)了重載函數(shù)的動(dòng)態(tài)生成：

對(duì)比下最開始那種寫法：

是不是清爽多了!而且還可以寫一些動(dòng)態(tài)邏輯。

總結(jié)

ts 函數(shù)重載一共有三種寫法：declare function、interface、交叉類型 &。

當(dāng)重載比較多的時(shí)候，直接列出來(lái)還是比較麻煩的，這時(shí)候可以用類型編程來(lái)動(dòng)態(tài)生成函數(shù)重載。

我們實(shí)現(xiàn)了聯(lián)合轉(zhuǎn)交叉，利用了函數(shù)參數(shù)的逆變性質(zhì)，也就是當(dāng)參數(shù)可能是多個(gè)類型時(shí)，會(huì)返回它們的交叉類型。

然后又利用分布式條件類型的性質(zhì)，當(dāng)傳入聯(lián)合類型時(shí)，會(huì)把類型單獨(dú)傳入做計(jì)算，最后把結(jié)果合并成聯(lián)合類型。

利用這個(gè)實(shí)現(xiàn)了傳入聯(lián)合類型返回構(gòu)造出的函數(shù)的聯(lián)合類型，然后再結(jié)合聯(lián)合轉(zhuǎn)交叉就實(shí)現(xiàn)了函數(shù)重載的動(dòng)態(tài)生成。

當(dāng)你寫重載寫的太多的時(shí)候，不妨試一下用類型編程的方式動(dòng)態(tài)生成吧!