正确使用typescript泛型

基础概念

TypeScript 泛型（Generics）是一种允许在定义函数、接口或类时，不预先指定具体的类型，而是在使用时再指定类型的一种编程技巧。泛型提供了一种方式，使得代码更加灵活、可重用，并且能够提高类型安全性。

优势

类型安全：泛型允许在编译时检查类型，减少运行时的类型错误。
代码复用：通过泛型，可以编写适用于多种类型的通用代码，而不需要为每种类型都编写特定的实现。
提高可读性：泛型使得代码更加清晰，易于理解和维护。

类型

TypeScript 泛型主要有以下几种类型：

泛型函数：定义一个可以接受不同类型参数的函数。
泛型接口：定义一个可以包含不同类型属性和方法的接口。
泛型类：定义一个可以包含不同类型属性和方法的类。

应用场景

泛型在以下场景中非常有用：

集合类：如数组、列表等，可以定义一个通用的集合类，支持不同类型的数据。
API 设计：在编写 API 时，可以使用泛型来定义返回值和参数类型，使得 API 更加灵活。
工具函数：编写可以处理多种类型的工具函数，如排序、过滤等。

示例代码

泛型函数

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

let output = identity<string>("myString");
let output2 = identity<number>(123);

泛型接口

interface GenericIdentityFn<T> {
    (arg: T): T;
}

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

let myIdentity: GenericIdentityFn<number> = identity;

泛型类

class GenericNumber<T> {
    zeroValue: T;
    add: (x: T, y: T) => T;
}

let myGenericNumber = new GenericNumber<number>();
myGenericNumber.zeroValue = 0;
myGenericNumber.add = function(x, y) { return x + y; };

常见问题及解决方法

问题：类型推断失败

原因：在使用泛型时，TypeScript 编译器可能无法推断出具体的类型。

解决方法：显式指定类型参数。

let output = identity<string>("myString"); // 显式指定类型参数

问题：类型不匹配

原因：在使用泛型时，传入的类型与预期类型不匹配。

解决方法：检查传入的参数类型，并确保其与泛型定义的类型一致。

function add<T extends number>(x: T, y: T): T {
    return x + y;
}

let result = add(1, 2); // 正确
let result2 = add("1", "2"); // 错误，类型不匹配

问题：泛型约束

原因：有时需要对泛型的类型进行约束，以确保传入的类型满足某些条件。

解决方法：使用 extends 关键字对泛型进行约束。

interface Lengthwise {
    length: number;
}

function loggingIdentity<T extends Lengthwise>(arg: T): T {
    console.log(arg.length); // 现在我们知道arg具有length属性
    return arg;
}