TypeScript 泛型

在 TypeScript 中，泛型是一种强大的工具，它允许你在定义函数、类、接口或类型别名时不指定具体的类型。这意味着你可以为这些实体创建可重用的组件，这些组件可以在不同的类型上以一致的方式工作。今天，我们将深入探讨 TypeScript 中的泛型，包括它们的基本语法、应用场景以及如何利用它们来编写更灵活和可维护的代码。

泛型基础

泛型通过在定义时使用尖括号 <> 来指定类型参数，这些类型参数可以是任意的类型。

基本语法

function trace<T>(data: T): T {console.log("进行记录 -", data);return data;
}

在这个例子中，trace 函数是一个泛型函数，它接受一个类型为 T 的参数 data，并返回相同类型的值。

实际应用

泛型允许你编写与类型无关的函数，这些函数可以在多种类型上工作。

var num1 = 1;
var num2 = 2;
var num3 = trace(num1) + trace(num2); // num3 的类型是 number

在这个例子中，trace 函数被用于处理数字，但由于它是泛型的，你也可以将它用于字符串或其他任何类型。

var str1 = "Hello";
trace<string>(str1); // 明确指定类型参数为 string

类型参数的推断

在调用泛型函数时，通常不需要显式指定类型参数，因为 TypeScript 能够根据传入的参数自动推断类型。

泛型在类中的应用

泛型也可以用于类，允许你创建类型安全的集合类。

基本语法

class List<T> {elems: Array<T>;constructor() {this.elems = [];}add(obj: T) {this.elems.push(obj);}
}

在这个例子中，List 类是一个泛型类，它有一个类型为 T 的数组 elems。add 方法接受一个类型为 T 的对象并将其添加到数组中。

实际应用

var list = new List<number>();
list.add(1);
list.add(2);
console.log(list); // 输出 List { elems: [ 1, 2 ] }

在这个例子中，List 类被用于处理数字数组。

泛型接口

泛型接口允许你定义可以在多种类型上工作的接口。

基本语法

interface Area<T> {area(o: T): number;
}

在这个例子中，Area 接口定义了一个 area 方法，该方法接受一个类型为 T 的参数并返回一个数字。

约束泛型

有时你可能想要限制泛型类型参数，使其只能用于特定的类型。

interface Areaq<T extends number> {area(a: T): number;
}

在这个例子中，Areaq 接口定义了一个 area 方法，该方法接受一个类型为 T 的参数，其中 T 必须是 number 类型或 number 的子类型。

结论

泛型是 TypeScript 中的一个核心特性，它提供了一种灵活的方式来编写与类型无关的代码。通过使用泛型，你可以创建可重用的组件，这些组件可以在不同的类型上以一致的方式工作。这不仅提高了代码的可维护性，还有助于减少重复代码。希望这篇文章能帮助你更好地理解和使用 TypeScript 的泛型。如果你有任何问题或想要进一步探讨，欢迎在评论区留下你的想法！