TypeScript 泛型的使用

Posted on by

前言：

在JavaScript中，封裝一個API可以具有多種用途，因為其實弱類型語言，但是就因為是弱類型可以最終得到的結果並不是我們想要的。

TypeScript的出現正好中解決瞭這個問題，但是考慮到API的復用時，TypeScript又顯得不是這麼的靈活。這個時候可以使用any類型來解決不靈活的問題，但是又回到JavaScript中的問題，得到最終的結果可能不是預期的那個樣子。

為瞭解決這種情況，TypeScript推出瞭泛型 的概念，使用泛型可以在定義函數、接口或類的時候，不預先指定具體的類型，而在使用的時候再指定類型，這樣做的目的是為瞭更大程度的來復用我們的代碼。

1.簡單的使用

現在我們要定義一個join函數，該函數的功能主要是接受兩個類型一樣的值，返回兩個參數拼接後的值。示例代碼如下：

// 所謂的泛型，通俗一點的解釋就是泛指的類型
// 定義一個join函數，接受兩個一樣類型的參數，並將兩個參數拼接後返回。
function join<T>(first: T, second: T) {
  return `${first}${second}`
}
// 這裡明確 T 為 string 類型
join<string>('第一', '第二') // 第一第二
// 這裡通過類型推導的方式，編譯器會根據傳入的參數自動推斷出類型
join(1, 2) // 12

定義泛型是通過<>對尖括號來定義，我們在定義join函數的時候，並不知道可以接受那些類型，但是可以明確的是兩個類型是必須一樣的，如果想要滿足這樣的需求，不用泛型的話解決起來是沒有這麼簡單的。

在調用函數的時候，這裡使用瞭兩種方式，一種是直接指定類型為string類型；另一種是通過類型推導的方式，編輯器會根據傳入的參數自動幫助我們確定類型。

2.在函數中使用泛型

在定義一個函數時，我們可以使用多個泛型，而且返回值類型也可以通過泛型指定，隻要在數量上和使用方式上能對應就可以。

示例代碼如下：

function identity<T, Y, P>(first: T, second: Y, third: P): Y {
  return second
}
// 指定類型
identity<boolean, string, number>(true, '字符串', 123) // 字符串
// 類型推斷
identity('string', 123, true) // true

3.在類中使用泛型

我們不僅可以在函數中使用泛型，還可以在類中使用泛型。

示例代碼如下：

class DataManager<T> {
  // 定義一個類，該類中具有一個T類型的私有數組
  constructor(private data: T[]) {}
  // 根據索引說數組中的值
  getItem(index: number): T {
    return this.data[index]
  }
}
const data = new DataManager(['一碗周'])
data.getItem(0) // 一碗周

而且泛型還可以繼承與於某個接口，示例代碼如下：

interface Item {
  name: string
}
class DataManager<T extends Item> {
  // 定義一個類，該類中具有一個T類型的私有數組
  constructor(private data: T[]) {}
  // 根據索引說數組中的值
  getItem(index: number): string {
    return this.data[index].name
  }
}
const data = new DataManager([{ name: '一碗周' }])
data.getItem(0) // 一碗周

使用extends可以達到一個泛型約束 的作用，就上面那個代碼來說，我們必須約束傳入的值必有具有一個name屬性，否則就會拋出異常。

4.在泛型約束中使用類型參數

假如有如下需求，我們定義一個類，在類中一個私有對象，該對象中包含一些屬性；然後定義一個方法，通過key來獲取其對應的值。

實現代碼如下：

// 定義一個接口
interface Person {
  name: string
  age: number
  hobby: string
}
// 定義一個類
class Me {
  constructor(private info: Person) {}
  getInfo(key: string) {
    return this.info[key]
  }
}
const me = new Me({
  name: '一碗周',
  age: 18,
  hobby: 'coding',
})
// 調用 me.getInfo() 可能會得到一個 undefined 如下示例
me.getInfo('myName') // undefined

上面的代碼，如果我們調用示實例對象中的getInfo()方法時，傳入一個沒有的屬性，會得到一個undefined。調用一個方法返回一個undefined時，這並不是TypeScript中的作風。

解決該問題可以通過keyof操作符，該關鍵字可以通過該操作符可以用於獲取某種類型的所有鍵，其返回類型是聯合類型。

示例代碼如下：

type myPerson = keyof Person // 'name' | 'age' | 'hobby'

那現在就可以通過該操作符解決上面出現的那個問題

示例代碼如下：

class Me {
  constructor(private info: Person) {}
  // 該寫法與如下寫法是一樣的
  getInfo<T extends keyof Person>(key: T): Person[T] {
    return this.info[key]
  }
  // getInfo<T extends 'name' | 'age' | 'hobby'>(key: T): Person[T] {
  //     return this.info[key]
  // }
}
const me = new Me({
  name: '一碗周',
  age: 18,
  hobby: 'coding',
})
// 調用 me.getInfo() 如果傳遞一個未知的屬性則會編譯錯誤
me.getInfo('myName') // error : 類型“"myName"”的參數不能賦給類型“keyof Person”的參數。

現在我們隻要訪問對象中不具有的屬性編譯則會異常。

到此這篇關於TypeScript 泛型的使用的文章就介紹到這瞭,更多相關TypeScript 泛型內容請搜索WalkonNet以前的文章或繼續瀏覽下面的相關文章希望大傢以後多多支持WalkonNet！

推薦閱讀：