鴻蒙語言TypeScript學習第18天：【泛型】

1、TypeScript 泛型

泛型（Generics）是一種編程語言特性，允許在定義函數、類、接口等時使用占位符來表示類型，而不是具體的類型。

泛型是一種在編寫可重用、靈活且類型安全的代碼時非常有用的功能。

使用泛型的主要目的是為了處理不特定類型的數據，使得代碼可以適用于多種數據類型而不失去類型檢查。

泛型的優勢包括：

• 代碼重用： 可以編寫與特定類型無關的通用代碼，提高代碼的復用性。
• 類型安全： 在編譯時進行類型檢查，避免在運行時出現類型錯誤。
• 抽象性： 允許編寫更抽象和通用的代碼，適應不同的數據類型和數據結構。
• 鴻蒙開發文檔參考 :[qr23.cn/AKFP8k]

2、泛型標識符

在泛型中，通常使用一些約定俗成的標識符，比如常見的 T（表示 Type）、U、V 等，但實際上你可以使用任何標識符。

T: 代表 "Type"，是最常見的泛型類型參數名。

鴻蒙HarmonyOS與OpenHarmony學習籽料

+—mau123789是v直接拿取。
function identity< T >(arg: T): T {
    return arg;
}

K, V: 用于表示鍵（Key）和值（Value）的泛型類型參數。

interface KeyValuePair< K, V > {
    key: K;
    value: V;
}

E: 用于表示數組元素的泛型類型參數。

function printArray< E >(arr: E[]): void {
    arr.forEach(item = > console.log(item));
}

R: 用于表示函數返回值的泛型類型參數。

function getResult R >(value: R): R {
    return value;
}

U, V: 通常用于表示第二、第三個泛型類型參數。

function combine< U, V >(first: U, second: V): string {
    return `${first} ${second}`;
}

這些標識符是約定俗成的，實際上你可以選擇任何符合標識符規范的名稱。關鍵是使得代碼易讀和易于理解，所以建議在泛型類型參數上使用描述性的名稱，以便于理解其用途。

3、泛型函數（Generic Functions）

使用泛型來創建一個可以處理不同類型的函數：

實例

unction identity< T >(arg: T): T {
    return arg;
}

// 使用泛型函數
let result = identity< string >("Hello");
console.log(result); // 輸出: Hello

let numberResult = identity< number >(42);
console.log(numberResult); // 輸出: 42復制

解析： 以上例子中，identity 是一個泛型函數，使用 表示泛型類型。它接受一個參數 arg 和返回值都是泛型類型 T。在使用時，可以通過尖括號 <> 明確指定泛型類型。第一個調用指定了 string 類型，第二個調用指定了 number 類型。

4、 泛型接口（Generic Interfaces）

可以使用泛型來定義接口，使接口的成員能夠使用任意類型：

實例

// 基本語法
interface Pair< T, U > {
    first: T;
    second: U;
}

// 使用泛型接口
let pair: Pair< string, number > = { first: "hello", second: 42 };
console.log(pair); // 輸出: { first: 'hello', second: 42 }復制

解析： 這里定義了一個泛型接口 Pair，它有兩個類型參數 T 和 U。然后，使用這個泛型接口創建了一個對象 pair，其中 first 是字符串類型，second 是數字類型。

5、 泛型類（Generic Classes）

泛型也可以應用于類的實例變量和方法：

實例

// 基本語法
class Box< T > {
    private value: T;

    constructor(value: T) {
        this.value = value;
    }

    getValue(): T {
        return this.value;
    }
}

// 使用泛型類
let stringBox = new Box< string >("TypeScript");
console.log(stringBox.getValue()); // 輸出: TypeScript復制

解析： 在這個例子中，Box 是一個泛型類，使用 表示泛型類型。構造函數和方法都可以使用泛型類型 T。通過實例化 Box，我們創建了一個存儲字符串的 Box 實例，并通過 getValue 方法獲取了存儲的值。

4. 泛型約束（Generic Constraints）

有時候你想限制泛型的類型范圍，可以使用泛型約束：

實例

// 基本語法
interface Lengthwise {
    length: number;
}

function logLength< T extends Lengthwise >(arg: T): void {
    console.log(arg.length);
}

// 正確的使用
logLength("hello"); // 輸出: 5

// 錯誤的使用，因為數字沒有 length 屬性
logLength(42); // 錯誤復制

解析： 在這個例子中，定義了一個泛型函數 logLength，它接受一個類型為 T 的參數，但有一個約束條件，即 T 必須實現 Lengthwise 接口，該接口要求有 length 屬性。因此，可以正確調用 logLength("hello")，但不能調用 logLength(42)，因為數字沒有 length 屬性。

5. 泛型與默認值

可以給泛型設置默認值，使得在不指定類型參數時能夠使用默認類型：

// 基本語法
function defaultValue< T = string >(arg: T): T {
    return arg;
}

// 使用帶默認值的泛型函數
let result1 = defaultValue("hello"); // 推斷為 string 類型
let result2 = defaultValue(42);      // 推斷為 number 類型復制

實例

說明： 這個例子展示了帶有默認值的泛型函數。函數 defaultValue 接受一個泛型參數 T，并給它設置了默認類型為 string。在使用時，如果沒有顯式指定類型，會使用默認類型。在例子中，第一個調用中 result1 推斷為 string 類型，第二個調用中 result2 推斷為 number 類型。

審核編輯 黃宇