泛型编程 101：掌握 TypeScript 泛型编程的精髓

2023-12-13 20:19:21

好的，以下是根据您的输入生成的文章：

TypeScript 中的泛型编程允许您创建可重用的组件和算法，而无需考虑具体的数据类型。这使得您可以编写更灵活、更健壮的代码。泛型编程的基础知识包括：

类型参数： 类型参数是泛型类型的一部分，用于指定泛型类型可以接受的类型。类型参数用尖括号 <> 括起来，例如：

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

在这个例子中，T 是一个类型参数，它可以接受任何类型的值。

类型推断： TypeScript 可以自动推断泛型类型的参数类型。例如，在下面的代码中，TypeScript 可以自动推断出 identity 函数的类型参数 T 为 number：

const n = identity(1);

类型别名： 类型别名允许您为泛型类型创建一个更具性的名称。例如，您可以将以下代码中的 Identity 类型别名用于 identity 函数：

type Identity<T> = (x: T) => T;

const n = identity(1);

类型约束： 类型约束允许您限制泛型类型的参数类型。例如，您可以将以下代码中的 T extends number 类型约束用于 identity 函数，以确保其只接受数字类型的值：

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

const n = identity(1);

泛型编程可以应用于各种场景，例如：

泛型函数： 泛型函数可以接受任何类型的值作为参数，并返回任何类型的值。例如，您可以使用泛型函数来实现比较两个值是否相等的功能：

function equals<T>(x: T, y: T): boolean {
  return x === y;
}

console.log(equals(1, 1)); // true
console.log(equals("hello", "hello")); // true
console.log(equals(1, "hello")); // false

泛型类： 泛型类可以接受任何类型的值作为其成员变量和成员函数的参数。例如，您可以使用泛型类来实现一个栈数据结构：

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

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

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

  peek(): T | undefined {
    return this.items[this.items.length - 1];
  }

  isEmpty(): boolean {
    return this.items.length === 0;
  }
}

const stack = new Stack<number>();

stack.push(1);
stack.push(2);
stack.push(3);

console.log(stack.pop()); // 3
console.log(stack.peek()); // 2
console.log(stack.isEmpty()); // false

泛型接口： 泛型接口可以定义一组泛型类型的方法和属性。例如，您可以使用泛型接口来定义一个比较器接口：

interface Comparator<T> {
  compare(x: T, y: T): number;
}

const comparator: Comparator<number> = {
  compare(x, y) {
    return x - y;
  }
};

console.log(comparator.compare(1, 2)); // -1
console.log(comparator.compare(2, 1)); // 1
console.log(comparator.compare(2, 2)); // 0