1、TypeScript 泛型

泛型（Generics）是一種編程語(yǔ)言特性，允許在定義函數(shù)、類(lèi)、接口等時(shí)使用占位符來(lái)表示類(lèi)型，而不是具體的類(lèi)型。

泛型是一種在編寫(xiě)可重用、靈活且類(lèi)型安全的代碼時(shí)非常有用的功能。

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

泛型的優(yōu)勢(shì)包括：

• 代碼重用： 可以編寫(xiě)與特定類(lèi)型無(wú)關(guān)的通用代碼，提高代碼的復(fù)用性。
• 類(lèi)型安全： 在編譯時(shí)進(jìn)行類(lèi)型檢查，避免在運(yùn)行時(shí)出現(xiàn)類(lèi)型錯(cuò)誤。
• 抽象性： 允許編寫(xiě)更抽象和通用的代碼，適應(yīng)不同的數(shù)據(jù)類(lèi)型和數(shù)據(jù)結(jié)構(gòu)。
• 鴻蒙開(kāi)發(fā)文檔參考 :[qr23.cn/AKFP8k]

2、泛型標(biāo)識(shí)符

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

T: 代表 "Type"，是最常見(jiàn)的泛型類(lèi)型參數(shù)名。

鴻蒙HarmonyOS與OpenHarmony學(xué)習(xí)籽料

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

K, V: 用于表示鍵（Key）和值（Value）的泛型類(lèi)型參數(shù)。

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

E: 用于表示數(shù)組元素的泛型類(lèi)型參數(shù)。

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

R: 用于表示函數(shù)返回值的泛型類(lèi)型參數(shù)。

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

U, V: 通常用于表示第二、第三個(gè)泛型類(lèi)型參數(shù)。

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

這些標(biāo)識(shí)符是約定俗成的，實(shí)際上你可以選擇任何符合標(biāo)識(shí)符規(guī)范的名稱(chēng)。關(guān)鍵是使得代碼易讀和易于理解，所以建議在泛型類(lèi)型參數(shù)上使用描述性的名稱(chēng)，以便于理解其用途。

3、泛型函數(shù)（Generic Functions）

使用泛型來(lái)創(chuàng)建一個(gè)可以處理不同類(lèi)型的函數(shù)：

實(shí)例

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

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

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

解析： 以上例子中，identity 是一個(gè)泛型函數(shù)，使用 表示泛型類(lèi)型。它接受一個(gè)參數(shù) arg 和返回值都是泛型類(lèi)型 T。在使用時(shí)，可以通過(guò)尖括號(hào) <> 明確指定泛型類(lèi)型。第一個(gè)調(diào)用指定了 string 類(lèi)型，第二個(gè)調(diào)用指定了 number 類(lèi)型。

4、 泛型接口（Generic Interfaces）

可以使用泛型來(lái)定義接口，使接口的成員能夠使用任意類(lèi)型：

實(shí)例

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

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

解析： 這里定義了一個(gè)泛型接口 Pair，它有兩個(gè)類(lèi)型參數(shù) T 和 U。然后，使用這個(gè)泛型接口創(chuàng)建了一個(gè)對(duì)象 pair，其中 first 是字符串類(lèi)型，second 是數(shù)字類(lèi)型。

5、 泛型類(lèi)（Generic Classes）

泛型也可以應(yīng)用于類(lèi)的實(shí)例變量和方法：

實(shí)例

// 基本語(yǔ)法
class Box< T > {
    private value: T;

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

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

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

解析： 在這個(gè)例子中，Box 是一個(gè)泛型類(lèi)，使用 表示泛型類(lèi)型。構(gòu)造函數(shù)和方法都可以使用泛型類(lèi)型 T。通過(guò)實(shí)例化 Box，我們創(chuàng)建了一個(gè)存儲(chǔ)字符串的 Box 實(shí)例，并通過(guò) getValue 方法獲取了存儲(chǔ)的值。

4. 泛型約束（Generic Constraints）

有時(shí)候你想限制泛型的類(lèi)型范圍，可以使用泛型約束：

實(shí)例

// 基本語(yǔ)法
interface Lengthwise {
    length: number;
}

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

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

// 錯(cuò)誤的使用，因?yàn)閿?shù)字沒(méi)有 length 屬性
logLength(42); // 錯(cuò)誤復(fù)制

解析： 在這個(gè)例子中，定義了一個(gè)泛型函數(shù) logLength，它接受一個(gè)類(lèi)型為 T 的參數(shù)，但有一個(gè)約束條件，即 T 必須實(shí)現(xiàn) Lengthwise 接口，該接口要求有 length 屬性。因此，可以正確調(diào)用 logLength("hello")，但不能調(diào)用 logLength(42)，因?yàn)閿?shù)字沒(méi)有 length 屬性。

5. 泛型與默認(rèn)值

可以給泛型設(shè)置默認(rèn)值，使得在不指定類(lèi)型參數(shù)時(shí)能夠使用默認(rèn)類(lèi)型：

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

// 使用帶默認(rèn)值的泛型函數(shù)
let result1 = defaultValue("hello"); // 推斷為 string 類(lèi)型
let result2 = defaultValue(42);      // 推斷為 number 類(lèi)型復(fù)制

實(shí)例

說(shuō)明： 這個(gè)例子展示了帶有默認(rèn)值的泛型函數(shù)。函數(shù) defaultValue 接受一個(gè)泛型參數(shù) T，并給它設(shè)置了默認(rèn)類(lèi)型為 string。在使用時(shí)，如果沒(méi)有顯式指定類(lèi)型，會(huì)使用默認(rèn)類(lèi)型。在例子中，第一個(gè)調(diào)用中 result1 推斷為 string 類(lèi)型，第二個(gè)調(diào)用中 result2 推斷為 number 類(lèi)型。

審核編輯 黃宇