您好,登錄后才能下訂單哦!
這篇“typeScript泛型使用和泛型接口結(jié)合的方法”文章的知識(shí)點(diǎn)大部分人都不太理解,所以小編給大家總結(jié)了以下內(nèi)容,內(nèi)容詳細(xì),步驟清晰,具有一定的借鑒價(jià)值,希望大家閱讀完這篇文章能有所收獲,下面我們一起來看看這篇“typeScript泛型使用和泛型接口結(jié)合的方法”文章吧。
typeScript 中新增的泛型概念、泛型使用、泛型與接口結(jié)合:
在實(shí)際應(yīng)用中可能會(huì)遇到求最小值的問題,比如求數(shù)組中的最小值。
在 ts
中的就需要寫兩種方式,一種針對(duì) number
,另外一種針對(duì)字符串。
這樣寫不利于代碼重用,項(xiàng)目較大時(shí),性能較差,同時(shí)工作效率也低,所以在 ts 中引入了泛型概念。
function getMin1(arr:number[]):number { let min = arr[0] for (var i = 1; i < arr.length; i++){ if (min > arr[i]) { min = arr[i] } } return min } console.log(getMin1([1, 2, 3, 4])); function getMin2(arr:string[]):string { let min = arr[0] for (var i = 1; i < arr.length; i++){ if (min > arr[i]) { min = arr[i] } } return min } console.log(getMin2(['a', 'b', 'c']));
泛型英文是 generics
,是指在定義函數(shù)、接口或類的時(shí)候,不預(yù)先指定具體的類型,而是在使用的時(shí)候再指定類型的一種。
定義方式:
function fnName<T>(arg:T,...):T{ return ... }
泛型變量通常用 T 來表示,T可以表示任何類型。
所以呢,我們可以將上述實(shí)例修改成以下代碼:
function getMin<T>(arr: T[]): T{ let min = arr[0] for (var i = 1; i < arr.length; i++){ if (min > arr[i]) { min = arr[i] } } return min } getMin<number>([1, 2, 3, 4]) getMin<string>(['a', 'b', 'c', 'd'])
上述代碼中,T 的主要作用就是幫助我們來捕獲用戶傳入的類型,比如 :number
或 string
。另外編譯器也會(huì)根據(jù)傳入的參數(shù)自動(dòng)地幫助我們進(jìn)行類型推斷,然后把 T 設(shè)置為它的類型,所以可以忽略類型的傳入,如:
getMin([1, 2, 3, 4]) getMin(['a', 'b', 'c', 'd'])
在一些復(fù)雜的情況下,為了防止編譯器自動(dòng)推斷類似失敗,盡可能地將類型傳入,防止出錯(cuò)。
泛型函數(shù)的類型和非泛型函數(shù)的類型有什么不同?
它們看著很相似,泛型函數(shù)類型前面有一個(gè)類型參數(shù) <T>。
對(duì)于泛型函數(shù)類型還有以下特性:
a>、泛型函數(shù)類型可以有多個(gè)參數(shù)
function fn<T, U>(arg1: T, arg2: U) { return arg1 }
b>、泛型函數(shù)可以使用不同的泛型參數(shù)名
function fn<T>(arg1: T) { return arg1 } let Fn: <M>(arg1: M) => M = fn
c>、可以使用帶有對(duì)象字面量的方式定義泛型函數(shù)
function fn<T>(arg1: T) { return arg1 } let Fn: {<T>(arg: T): T} = fn
在使用對(duì)象字面量的方式定義泛型函數(shù)時(shí),對(duì)象的形式可以替換成接口的形式,改為:
let Fn: { <T>(arg: T): T } = fn //替換為 interface FnInter{ <T>(arg: T): T } let Fn: FnInter = fn
這種方式存在問題:函數(shù)對(duì)數(shù)據(jù)類型一無所知,無法使用某個(gè)數(shù)據(jù)類型進(jìn)行操作。所以需要改良下,將類型作為參數(shù)傳入,如:
interface FnInter<T>{ (arg:T): T } let Fn: FnInter<string> = fn
這樣我們就能清楚地知道使用的具體是那個(gè)泛型類型。
我們將整個(gè)接口當(dāng)做泛型參數(shù),就叫做泛型接口。它的優(yōu)點(diǎn)就是我們能清除知道參數(shù)的數(shù)據(jù)類型,接口內(nèi)的成員也能知道參數(shù)的具體類型。
除了有泛型接口之外,還有接口類。泛型類與泛型函數(shù)差不多。
語(yǔ)法格式為:
class 名稱<T>{} new 類名<類型>()
class GetMin<T>{ arr: T[] = [] add(ele:T) { this.arr.push(ele) } getMin(): T{ var min = this.arr[0] for (var i = 0; i < this.arr.length; i++){ if (min > this.arr[i]) { min = this.arr[i] } } return min } } let gMin1 = new GetMin<number>() gMin1.add(1) gMin1.add(5) console.log(gMin1.getMin());//1 let gMin2 = new GetMin<string>() gMin2.add('a') gMin2.add('b') console.log(gMin2.getMin());//2
泛型功能確實(shí)挺強(qiáng)大的,但它也不是萬能的。比如:
function getLength<T>(val: T): number { return val.length; }
錯(cuò)誤信息提示:類型“T”上不存在屬性“l(fā)ength”。
原因是只有字符串、數(shù)組才有 length 屬性,對(duì)于數(shù)字、對(duì)象沒有 length 屬性,所以報(bào)錯(cuò)了。解決辦法是要保證傳入的數(shù)據(jù)類型有 length 屬性,所以需要使用泛型約束。
泛型約束主要是通過接口 + extends
關(guān)鍵字來實(shí)現(xiàn)約束。
interface ILen{ length:number } function getLength<T extends ILen>(val: T): number { return val.length; } console.log(getLength<string>("abcd")); console.log(getLength<number>(1)); //錯(cuò)誤提示:類型“number”不滿足約束“ILen”。
使用泛型約束的優(yōu)點(diǎn)是幫我們自動(dòng)檢測(cè)傳入的值是否符合約束類型的值,不滿足時(shí)就會(huì)有錯(cuò)誤提示。
在 typeScript 2.3 以后,可以為泛型中的類型參數(shù)指定默認(rèn)類型,當(dāng)使用泛型時(shí)沒有指定參數(shù)類型,并且編輯器從實(shí)際參數(shù)中也無法推斷出數(shù)據(jù)類型時(shí),就使用默認(rèn)類型。
使用簡(jiǎn)單:
interface P<T = string>{ name:T } let p1: P = { name: "小姐姐" } let p2: P<number> = { name: 18 }
泛型參數(shù)的默認(rèn)類型遵循以下規(guī)則:
有默認(rèn)類型的類型參數(shù)被認(rèn)為是可選的。
必選的類型參數(shù)不能在可選的類型參數(shù)后。
如果類型參數(shù)有約束,類型參數(shù)的默認(rèn)類型必須滿足這個(gè)約束。
當(dāng)指定類型實(shí)參時(shí),你只需要指定必選類型參數(shù)的類型實(shí)參。 未指定的類型參數(shù)會(huì)被解析為它們的默認(rèn)類型。
如果指定了默認(rèn)類型,且類型推斷無法選擇一個(gè)候選類型,那么將使用默認(rèn)類型作為推斷結(jié)果。
一個(gè)被現(xiàn)有類或接口合并的類或者接口的聲明可以為現(xiàn)有類型參數(shù)引入默認(rèn)類型。
一個(gè)被現(xiàn)有類或接口合并的類或者接口的聲明可以引入新的類型參數(shù),只要它指定了默認(rèn)類型。
在 typeScript 2.8 中,引入了條件類型,我們可以根據(jù)某些條件得到不同的類型,此處的條件是類型兼容性約束。ript 2.8 中,引入了條件類型,我們可以根據(jù)某些條件得到不同的類型,此處的條件是類型兼容性約束。
條件類型會(huì)以一定條件表達(dá)式進(jìn)行類型關(guān)系檢測(cè),從而在兩種類型中選擇其一:
使用語(yǔ)法:
T extends U ? X : Y
以上表達(dá)式的意思是:若 T 能夠賦值給 U,那么類型是 X,否則為 Y。
以上就是關(guān)于“typeScript泛型使用和泛型接口結(jié)合的方法”這篇文章的內(nèi)容,相信大家都有了一定的了解,希望小編分享的內(nèi)容對(duì)大家有幫助,若想了解更多相關(guān)的知識(shí)內(nèi)容,請(qǐng)關(guān)注億速云行業(yè)資訊頻道。
免責(zé)聲明:本站發(fā)布的內(nèi)容(圖片、視頻和文字)以原創(chuàng)、轉(zhuǎn)載和分享為主,文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng),如果涉及侵權(quán)請(qǐng)聯(lián)系站長(zhǎng)郵箱:is@yisu.com進(jìn)行舉報(bào),并提供相關(guān)證據(jù),一經(jīng)查實(shí),將立刻刪除涉嫌侵權(quán)內(nèi)容。