TypeScript泛型入门：拓展代码的适用性，驾驭任意类型

2023-12-14 01:16:23

泛型：赋能TypeScript的通用编程范式

在当今充斥着复杂系统和庞大应用程序的时代，编程语言的作用可谓举足轻重。而在众多的选择中，TypeScript凭借其类型系统的强大，逐渐成为开发者的青睐。TypeScript不仅沿袭了JavaScript的优点，更补充了类型系统的缺失，为开发者提供了一条构建稳健且可维护代码的康庄大道。

TypeScript中的泛型堪称一项革命性的特性，它允许程序员编写能够适应不同类型数据的代码，从而实现代码的可重用性。

TypeScript泛型的优势：

代码复用：避免重复编写几乎相同的代码，提高代码的可复用性。
类型安全：TypeScript能够在编译时捕获类型错误，从而确保代码的健壮性。
灵活的数据结构：使用泛型可以创建能够处理不同类型数据的灵活数据结构，例如列表、映射和集合。
可扩展性：泛型使代码更具可扩展性，可以轻松地适应新的数据类型。

泛型的语法

泛型在TypeScript中使用尖括号(<>)表示，它允许您定义一个类型变量，可以被代码中的任何类型所替换。例如，以下函数可以使用任何类型的参数：

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

在这个函数中，类型变量<T>表示函数可以接受任何类型的数据，并返回相同类型的数据。

泛型的类型推断

泛型的类型推断是指TypeScript能够根据函数的参数或变量的类型自动推断出泛型的类型。例如，以下代码中的泛型类型<T>被推断为string：

let name: string = 'John Doe';
let fullName = identity(name);

在上面的代码中，<T>被推断为string，因为函数identity的参数类型为string。

泛型的约束

泛型约束用于限制泛型的类型。例如，以下代码中的泛型类型<T>被约束为只能是number或string：

function compare<T extends number | string>(a: T, b: T): number {
  if (a === b) {
    return 0;
  } else if (a < b) {
    return -1;
  } else {
    return 1;
  }
}

在上面的代码中，<T extends number | string>表示<T>只能是number或string。这有助于防止您将不兼容的类型传递给函数。

泛型的类型参数

泛型的类型参数是泛型类型的一部分，用于指定泛型的具体类型。例如，以下代码中的泛型类型<T>被指定为string：

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

let name: string = 'John Doe';
let fullName = identity<string>(name);

在上面的代码中，<string>是泛型类型<T>的类型参数。这表示<T>的具体类型为string。

泛型的使用场景

泛型在TypeScript中可以用于各种场景，包括：

函数：泛型函数可以处理不同类型的数据，例如：

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

let name: string = 'John Doe';
let fullName = identity(name);

类：泛型类可以创建能够处理不同类型数据的对象，例如：

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

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

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

let stack = new Stack<number>();
stack.push(1);
stack.push(2);
let num = stack.pop();

接口：泛型接口可以定义具有不同类型参数的方法和属性，例如：

interface Map<K, V> {
  get(key: K): V | undefined;
  set(key: K, value: V): void;
}

let map: Map<string, number> = {};
map.set('name', 'John Doe');
let name = map.get('name');