TypeScript泛型約束條件示例詳解
什么是泛型
兩個值之間存在的對應關系,就可以用泛型來解決
泛型的應用場景
當一個函數(shù)的返回值的類型需要與此函數(shù)的參數(shù)類型想關聯(lián)的時候,就需要使用泛型
例如
//約定此函數(shù)調(diào)用時必須傳入一個數(shù)組,并返回數(shù)組第一項
function arrFn <T> (arr: T[]) :T|undefined {
return arr[0]
}
const n = arrFn([1,2]) //number類型
const s = arrFn(['a','b']) //string類型
const u = arrFn([]) //undefined類型
//也可以進行指定類型
arrFn<number>([1,2]) //此時數(shù)組中元素就必須是number類型再例如,我們將數(shù)組的map方法進行加工
// 定義一個map函數(shù)
//第一個參數(shù)約定傳入一個數(shù)組
//第二個參數(shù)約定傳入一個函數(shù)
//此函數(shù)的返回值就是操作之后的數(shù)組
function map <In,Out>(arr:In[], fun:(val:In)=>Out):Out[] {
return arr.map(fun)
}
const res = map([1,2,3,4,5],(i)=>i+1)
console.log(res) ///[ 2, 3, 4, 5, 6 ]泛型約束(限制條件)
默認情況下,泛型函數(shù)的類型變量 T 可以代表多個類型,這導致在泛型函數(shù)內(nèi)部無法訪問任何屬性
當我們需要用到一些屬性的時候,就無法使用,會報錯,比如字符串、數(shù)組的長度
接下來我們看個例子
// 定義一個函數(shù),傳入兩個值,來比較哪個更長 ,相等就返回0
function compare <T extends {length: number}> (a:T, b:T){
if(a.length < b.length){
return b
}else if(a.length === b.length){
return (a.length - b.length)
}else{
return a
}
}
const res1 = compare('哈哈哈','哈哈哈')
console.log(res1) // 0
const res2 = compare('我真酷','你酷')
console.log(res2) // '我真酷'
const res3 = compare('我酷','你真酷')
console.log(res1) // '你真酷'當然,當我們在使用泛型約束的時候,也會出現(xiàn)常見的錯誤
//我們定義一個泛型T ,并讓其繼承一個有l(wèi)ength屬性的對象
//給參數(shù)指定類型,第一個參數(shù)為T類型,第二參數(shù)為number類型
//返回值也為T類型
const myTs =<T extends {length:number}> (obj:T,num:number):T => {
if(obj.length >= num){
return obj
}else{
return {length:num} //此處會報錯
}
}這個函數(shù)的返回值看似沒問題,其實會報錯
我們把這個代碼稍微改造一下,就容易理解了
const myTs =<T extends {length:number}> (obj:T,num:number):T => {
if(obj.length >= num){
return obj
}else{
const res = {length:num} //把鼠標放上res,可以看到res的類型是 {length:number}
return res //但是我們約定的返回值是T類型,
//這里會報錯 不能將類型“{ length: number; }”分配給類型“T”
}
}我們將代碼改造成這樣就是正確的
const myTs =<T extends {length:number}> (obj:T,num:number):T => {
if(obj.length >= num){
return obj
}else{
obj.length = num
return obj
}
}
const res = myTs({length:3},6)
console.log(res) //{ length: 6 }泛型函數(shù)調(diào)用指定類型
在定義完成泛型函數(shù)之后,我們?nèi)フ{(diào)用函數(shù)并傳參的時候,并沒有去指定參數(shù)類型,當多個參數(shù)類型不同的時候,TS就會報錯,接下來請看一個例子:
定義一個泛型函數(shù),用來連接數(shù)組,約定參數(shù)必須為數(shù)組
// 定義一個連接兩個數(shù)組的函數(shù)
// 并約定兩個參數(shù)的類型都為泛型數(shù)組
// 且返回值也為一個泛型數(shù)組
const mergeArray = <T> (arr1 : T[],arr2 : T[]) :T[] => {
// concat 為數(shù)組連接,不會改變原數(shù)組,需要使用值接收
return arr1.concat(arr2)
}
// 但是當我們在使用這個函數(shù)的時候就會發(fā)現(xiàn)
// 如果第一個參數(shù)數(shù)組中的元素都為number類型
// 而第二個參數(shù)數(shù)組的類型與第一個不一致時
// TS就會報錯,這樣使用就只能傳入兩個一樣類型的數(shù)組參數(shù)
mergeArray([1,2,3],['a','b']) //報錯,不能將類型“string”分配給類型“number”所以當我們調(diào)用函數(shù)的時候就可以指定參數(shù)類型
這樣參數(shù)就是我們指定的參數(shù)類型了
const res= mergeArray<number | string>([1,2,3],['a','b','c'])
console.log(res) //[ 1, 2, 3, 'a', 'b', 'c' ]總結
到此這篇關于TypeScript泛型約束條件的文章就介紹到這了,更多相關TypeScript泛型約束條件內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家!
相關文章
JavaScript實現(xiàn)的鏈表數(shù)據(jù)結構實例
這篇文章主要介紹了JavaScript實現(xiàn)的鏈表數(shù)據(jù)結構實例,本文直接給出實現(xiàn)代碼,需要的朋友可以參考下2015-04-04
JavaScript動態(tài)檢測密碼強度原理及實現(xiàn)方法詳解
這篇文章主要介紹了JavaScript動態(tài)檢測密碼強度原理及實現(xiàn)方法,結合具體實例形式詳細分析了javascript針對輸入字符串密碼強度檢測的原理與相關判斷操作技巧,需要的朋友可以參考下2019-06-06

