浅析TS泛型的本质，领略类型系统之美

2023-11-12 04:06:38

泛型是TypeScript中一种非常重要的特性，它允许您创建可重用的组件，而无需为每种数据类型编写单独的代码。通过使用泛型，您可以编写代码来处理任何类型的数据，而无需知道其具体类型。这使得您的代码更加灵活和可维护。

泛型函数

泛型函数是一种可以处理任何类型数据的函数。泛型函数在函数定义时声明一个或多个类型参数，这些类型参数用于指定函数可以处理的数据类型。例如，以下是一个计算两个数之和的泛型函数：

function sum<T>(a: T, b: T): T {
  return a + b;
}

在这个函数中，<T>是类型参数，它指定了函数可以处理的数据类型。您可以使用任何数据类型来调用这个函数，函数都会正确地计算出两个数之和。例如：

const sum1 = sum(1, 2); // sum1 的类型是 number
const sum2 = sum('a', 'b'); // sum2 的类型是 string

泛型类

泛型类是一种可以创建任何类型数据的对象的类。泛型类在类定义时声明一个或多个类型参数，这些类型参数用于指定类可以创建的数据类型。例如，以下是一个表示栈的泛型类：

class Stack<T> {
  private items: T[] = [];

  push(item: T) {
    this.items.push(item);
  }

  pop(): T | undefined {
    return this.items.pop();
  }
}

在这个类中，<T>是类型参数，它指定了类可以创建的数据类型。您可以使用任何数据类型来创建栈对象，栈对象将能够存储和检索该类型的数据。例如：

const stack1 = new Stack<number>();
stack1.push(1);
stack1.push(2);
const item1 = stack1.pop(); // item1 的类型是 number

const stack2 = new Stack<string>();
stack2.push('a');
stack2.push('b');
const item2 = stack2.pop(); // item2 的类型是 string