1、TypeScript 泛型

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

使用泛型來創(chuàng)建一個(gè)可以處理不同類型的函數(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ù)，使用 表示泛型類型。它接受一個(gè)參數(shù) arg 和返回值都是泛型類型 T。在使用時(shí)，可以通過尖括號 <> 明確指定泛型類型。第一個(gè)調(diào)用指定了 string 類型，第二個(gè)調(diào)用指定了 number 類型。

4、 泛型接口（Generic Interfaces）

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

實(shí)例

// 基本語法
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è)類型參數(shù) T 和 U。然后，使用這個(gè)泛型接口創(chuàng)建了一個(gè)對象 pair，其中 first 是字符串類型，second 是數(shù)字類型。

5、 泛型類（Generic Classes）

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

實(shí)例

// 基本語法
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復(fù)制

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

4. 泛型約束（Generic Constraints）

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

實(shí)例

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

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

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

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

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

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

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

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

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

實(shí)例

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

審核編輯 黃宇