TS中泛型的理解与应用

前端

2023-09-28 13:13:24

泛型编程：让你的代码更灵活、健壮

什么是泛型编程？

泛型编程是一种强大的技术，它允许你在不指定具体类型的情况下定义代码。简单来说，泛型就像变量一样，可以存储不同的类型，这使得你的代码更加通用。

想象一下，你正在创建一个处理数字的函数。如果你只定义一个函数来处理整数，那么当你需要处理其他类型的数据时，你将不得不编写一个新的函数。使用泛型，你可以创建一个函数来处理任何类型的数字，而不必为每种类型编写单独的函数。

泛型编程的类型

泛型编程可以用在函数、类、接口和类型别名中。

函数泛型

函数泛型使你可以创建可以在不同类型数据上工作的函数。例如，你可以创建一个求和函数，它可以计算任何两个数字、字符串或其他类型的对象的和。

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

const sumNumbers = sum(1, 2); // sumNumbers 的类型为 number
const sumStrings = sum("Hello", "World!"); // sumStrings 的类型为 string

类泛型

类泛型使你可以创建可以存储和操作任何类型数据的类。例如，你可以创建一个列表类，它可以存储任何类型的对象。

class List<T> {
  private data: T[];

  constructor(data: T[]) {
    this.data = data;
  }

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

  get(index: number): T {
    return this.data[index];
  }
}

接口泛型

接口泛型使你可以创建可以表示任何类型数据的接口。例如，你可以创建一个比较器接口，它可以比较任何类型对象的相对大小。

interface Comparator<T> {
  compare(a: T, b: T): number;
}

类型别名泛型

类型别名泛型使你可以创建可以表示任何类型数据的类型别名。例如，你可以创建一个函数类型别名，它可以表示任何类型的函数。

type Function<T, R> = (arg: T) => R;

const sum: Function<number, number> = (a, b) => a + b;
const length: Function<string, number> = (s) => s.length;