TypeScript 泛型入门指南：从困惑到自信

引言

TypeScript 中的泛型是一种强大的工具，它允许您创建可重用的代码，该代码可以在各种数据类型上运行。对于初学者来说，泛型可能看起来很复杂，但本教程将逐步带您了解泛型编程的基础知识，并提供实际示例，以帮助您理解和应用这些概念。

泛型基础

泛型允许您编写可与不同类型的数据一起使用的代码。泛型类型使用尖括号 (<>) 指定，尖括号内包含一个类型参数。例如，以下代码创建一个泛型函数，该函数接受任何类型的数据，并将其打印到控制台中：

function printValue<T>(value: T): void {
  console.log(value);
}

在上面的示例中，<T> 是类型参数，表示函数可以接受任何类型的数据。您可以使用泛型函数来处理各种数据类型，而无需为每种类型编写单独的函数。

泛型约束

有时，您可能希望限制泛型类型可以接受的数据类型。泛型约束允许您指定泛型类型必须满足的条件。例如，以下代码创建一个泛型函数，该函数接受一个数字数组并返回数组中最大值：

function max<T extends number[]>(arr: T): number {
  return Math.max(...arr);
}

在上面的示例中，<T extends number[]> 是泛型约束，它指定泛型类型 T 必须扩展 number[] 类型。这确保了函数只能接受数字数组。

泛型接口和类

泛型不仅可以用于函数，还可以用于接口和类。泛型接口定义了具有泛型类型成员的契约。泛型类允许您创建具有泛型类型的类。例如，以下代码创建一个泛型接口，该接口定义了一个具有泛型类型参数 T 的 getValue 方法：

interface ValueHolder<T> {
  getValue(): T;
}

在上面的示例中，泛型类型参数 T 指定 getValue 方法可以返回任何类型的数据。

泛型实用类型

泛型实用类型允许您创建新的类型，该类型基于现有类型。例如，以下代码创建了一个泛型实用类型，该类型从给定类型中移除 null 和 undefined 值：

type NonNullable<T> = T extends null | undefined ? never : T;

在上面的示例中，泛型实用类型 NonNullable 接受一个类型参数 T，并返回一个新的类型，其中 null 和 undefined 值被排除在外。

何时使用泛型

泛型非常适合在您需要编写可重用且可与不同类型的数据一起使用的代码时使用。例如，泛型可用于：

• 创建可处理各种数据类型的函数
• 定义可存储不同类型数据的接口和类
• 创建可根据需要转换类型的实用类型

结论

TypeScript 泛型为编写可重用且灵活的代码提供了强大的工具。通过理解泛型的基础知识，您可以使用它们来创建功能更强大、更通用的应用程序。本教程旨在为初学者提供一个循序渐进的指南，帮助他们理解泛型编程并开始在自己的代码中使用泛型。如果您有兴趣进一步学习泛型，请参考 TypeScript 文档以获取更多详细信息。