理解 TypeScript 中的泛型概念

44. TypeScript泛型

TS泛型是一种让代码可以更灵活地处理多种数据类型的技术。它可以在编写代码时不指定具体的数据类型，而是使用占位符，等到实际调用时再传入具体的类型参数。泛型可以应用于函数、类和接口等多个场景。

在函数中使用泛型，可以让函数处理多种类型的数据。例如，下面的函数可以返回两个参数中较大的一个：

function max<T>(a: T, b: T): T {
   
  return a > b ? a : b;
}

在上面的代码中，我们使用了<T>来声明这个函数是一个泛型函数。T是一个占位符，表示在实际调用函数时会传入一个具体的类型参数。在函数体中，我们可以像处理普通类型一样处理T类型。

我们可以调用这个函数来处理不同类型的数据：

console.log(max<number>(1, 2)); // 2
console.log(max<string>('a', 'b')); // 'b'

在调用函数时，我们使用<number>和<string>来传入具体的类型参数，让函数处理对应类型的数据。

除了函数，我们还可以在类和接口中使用泛型。下面是一个泛型类的示例：

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

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

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

在上面的代码中，我们定义了一个名为Stack的泛型类，它可以用来创建一个栈数据结构。T是一个占位符，表示栈中存储的元素的类型。我们可以使用Stack类来创建存储不同类型数据的栈：

const stack1 = new Stack<number>();
stack1.push(1);
stack1.push(2);
console.log(stack1.pop()); // 2

const stack2 = new Stack<string>();
stack2.push('a');
stack2.push('b');
console.log(stack2.pop()); // 'b'

在上面的代码中，我们使用<number>和<string>来创建存储不同类型数据的栈。由于Stack类使用了泛型，所以我们可以在创建栈的同时指定栈中元素的类型。

在处理复杂类型时，使用泛型可以让代码更加简洁、灵活。泛型可以提高代码的可读性和可维护性，是TypeScript中非常重要的特性之一。