TypeScript 泛型详解：方法、类与接口的应用

1. 什么是泛型

泛型的本质在于“参数化类型”，即将所操作的数据类型指定为一个参数。这种机制可以应用在类、接口和方法的定义中，分别形成泛型类、泛型接口和泛型方法。

在 TypeScript 中，泛型通常使用尖括号加一个大写字母（如 <T>）来定义，其中 T 代表 Type（类型）。虽然也可以使用其他合法字母，但约定俗成建议大写。泛型的核心作用是不确定具体单独类型，并在函数中强制约束参数类型与返回值类型保持一致。

2. 泛型方法

假设我们需要定义一个 `identity` 函数，它接收一个参数并原样返回。若不适用泛型，我们可能遇到以下两种局限性方案：

首先，如果直接限制为 number 类型，代码如下：

function identity(arg: number): number {
    return arg;
}

这样写导致该函数只能处理数字类型，通用性差。

其次，为了扩大适用范围，可能会使用 any 类型：

function identity(arg: any): any {
    return arg;
}

使用 any 虽然解决了传入任意类型的问题，但失去了静态类型的检查优势。例如，当你传入一个数字时，编译器无法保证返回值也是数字，可能导致后续逻辑出现类型错误。

为解决这一矛盾，TypeScript 引入了**类型变量**（Type Variable）。它是一种特殊的变量，仅用于表示类型而非具体的值。泛型方法的语法格式如下：

function 函数名<T>(参数: T): T {
    return 值;
}

第 1 步：使用泛型定义函数

引入类型变量 T 后，函数可以捕获用户传入的类型信息，并在返回值处重用该类型：

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

此时，T 既作为参数类型，也作为返回值类型。这确保了传入的值是什么类型，返回的值就是什么类型，从而保留了完整的类型信息。

第 2 步：调用泛型方法

定义了泛型方法后，有两种主要的调用方式：

• 显式传入类型参数：手动指定 T 的具体类型。

var a = identity<string>("myString");

• 类型推论（推荐）：利用编译器的智能推导能力，根据传入的实参自动判断 T 的类型。

var a = identity("myString");

3. 泛型类

在实现特定算法（如查找最小值）时，若希望同一个类能同时处理数字和字符串等多种类型，可以使用类的泛型。

第 1 步：传统非泛型类实现的局限

在普通类中，属性类型往往是固定的。例如下面这个只能存储和操作数字的类：

class MinClass {
    list: number[] = [];
    add(num: number) {
        this.list.push(num);
    }
    min(): number {
        var minNum = this.list[0];
        for (var i = 0; i < this.list.length; i++) {
            if (minNum > this.list[i]) {
                minNum = this.list[i];
            }
        }
        return minNum;
    }
}

第 2 步：重构为泛型类

通过在类名后添加 <T>，可以将内部数组的类型以及方法参数的类型参数化：

class MinClass<T> {
    list: T[] = [];
    add(num: T) {
        this.list.push(num);
    }
    min(): T {
        var minNum = this.list[0];
        for (var i = 0; i < this.list.length; i++) {
            if (minNum > this.list[i]) {
                minNum = this.list[i];
            }
        }
        return minNum;
    }
}

现在，MinClass<number> 等同于之前的数字类，而 MinClass<string> 则可以处理字符串数组的最小值比较（前提是字符串支持比较运算符）。

4. 泛型接口

接口同样可以定义泛型，以实现更灵活的函数签名定义。以下介绍两种常见的定义方式：

第 1 步：直接在函数签名上使用泛型

在普通的函数接口基础上，直接在括号前或内部声明类型变量：<T>。

interface ConfigFn {
    <T>(value: T): T; // T 表示参数类型
}

第 2 步：在接口名称上声明泛型

将 <T> 放在接口名之后，这样整个接口及其内部所有方法都将使用该类型。T 的含义依然是参数类型。

interface ConfigFn<T> {
    (value: T): T; // T 表示参数类型
}