TypeScript中的泛型（Generics）

在前面的几篇文章中，我们了解了TypeScript的类、接口和基本的数据类型系统。本文将重点介绍TypeScript中的泛型，这是一种强大的工具，它允许我们创建可重用的组件，同时保持类型安全。

什么是泛型？

泛型是一种在定义函数、类或接口时不指定具体类型的方式。泛型参数可以在使用时指定，这样可以确保我们的代码更加灵活和类型安全。

为什么使用泛型？

代码复用：泛型允许我们编写一个函数或类来处理多种类型的数据，而不需要为每种数据类型编写重复的代码。
类型安全：泛型确保了类型的一致性，有助于在编译时捕获错误。

泛型函数

泛型函数是使用泛型参数的函数。这些参数在函数被调用时被具体化。

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

let output1 = identity<string>("myString"); // 类型为 string
let output2 = identity<number>(100); // 类型为 number

在这个例子中，identity函数是一个泛型函数，它接受一个类型参数T，这个类型参数在调用函数时被确定。

泛型类

泛型类和泛型函数的概念类似，它们也使用泛型参数来定义类。

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; };

在这个例子中，GenericNumber类是一个泛型类，它可以处理任何数值类型的数据。

泛型接口

泛型接口定义了一组属性或方法，而不需要指定具体的类型。

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

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

let myIdentity: GenericIdentityFn<number> = identity;

在这个例子中，GenericIdentityFn是一个泛型接口，它规定了一个函数应该接受一个类型参数T并返回相同类型的值。

泛型约束

有时我们希望泛型参数满足特定的类型约束。我们可以使用extends关键字来实现这一点。

interface Lengthwise {
  length: number;
}

function loggingIdentity<T extends Lengthwise>(arg: T): T {
  console.log(arg.length); // 现在我们知道它有一个 .length 属性，因为它符合 Lengthwise 接口
  return arg;
}

loggingIdentity({ length: 10, value: 3 }); // 输出: 10