探索 TypeScript 之 Generics：通往类型安全的编程之道

2024-01-11 19:10:52

Generics：通往类型安全编程之道

在软件开发的世界中，类型安全至关重要。它确保在编译时就能发现类型错误，从而避免运行时的意外情况。作为一门强类型语言，TypeScript 通过其 Generics 特性提供了强大的类型安全功能。

什么是 Generics

Generics，也称泛型，允许您创建可以处理多种类型数据的代码。它使您能够编写类型安全的代码，而无需为每种类型编写专门的代码。

类型参数和类型推断

Generics 的核心思想是使用类型参数。这些参数就像占位符，允许您在定义函数或类时使用通用类型。当您指定类型参数时，您可以在使用它们时再指定具体类型。

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

let result1 = sum(1, 2); // result1 的类型是 number
let result2 = sum("Hello", "World"); // result2 的类型是 string

在这里，类型推断器可以根据参数的类型推断出 sum 函数的返回值类型。

代码重用和灵活性

Generics 的一大优势是代码重用。通过使用 Generics，您可以编写可重用的代码，而无需为每种类型编写专门的代码。

function swap<T>(a: T, b: T) {
  let temp = a;
  a = b;
  b = temp;
}

let x = 1;
let y = 2;
swap(x, y); // x 和 y 的值被交换了

let a = "Hello";
let b = "World";
swap(a, b); // a 和 b 的值被交换了

面向对象编程中的 Generics

在面向对象编程中，Generics 也发挥着重要作用。您可以使用 Generics 创建通用类和接口，从而提高代码的可重用性。

class List<T> {
  private elements: T[] = [];

  public add(element: T) {
    this.elements.push(element);
  }

  public remove(element: T) {
    let index = this.elements.indexOf(element);
    if (index > -1) {
      this.elements.splice(index, 1);
    }
  }

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

  public size(): number {
    return this.elements.length;
  }
}

let list1 = new List<number>();
list1.add(1);
list1.add(2);
list1.add(3);

let list2 = new List<string>();
list2.add("Hello");
list2.add("World");