协变、逆变：理解TypeScript中的类型兼容性

2023-09-22 09:13:11

协变与逆变：TypeScript中的类型变体

在类型编程的领域，协变和逆变是两大绕不开的话题。作为一门强类型的语言，TypeScript对它们的深入理解对于成为一名合格的开发者至关重要。

协变：子类型晋升

协变了子类型与父类型之间的关系，即子类型的实例可以安全地赋值给父类型的变量，而不会引起类型错误。举个例子：

interface Animal {
  name: string;
}

interface Dog extends Animal {
  bark(): void;
}

let dog: Dog = {
  name: "Buddy",
  bark() {
    console.log("Woof!");
  },
};

let animal: Animal = dog; // 协变：Dog可以赋值给Animal

在这个例子中，Dog是Animal的子类型。它包含了Animal的所有属性，还额外添加了bark()方法。当我们把Dog类型的值赋值给Animal类型变量时，TypeScript允许这样做，因为Dog实例完全符合Animal类型的要求。

逆变：父类型收缩

逆变了父类型与子类型之间的关系，即父类型的变量可以安全地接收子类型的实例，而不会引起类型错误。举个例子：

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

let numberComparator: Comparator<number> = {
  compare(a: number, b: number): number {
    return a - b;
  },
};

let stringComparator: Comparator<string> = {
  compare(a: string, b: string): number {
    return a.localeCompare(b);
  },
};

function compareValues<T>(a: T, b: T, comparator: Comparator<T>): number {
  return comparator.compare(a, b);
}

compareValues(1, 2, numberComparator); // 逆变：Comparator<number>可以赋值给Comparator<T>
compareValues("A", "B", stringComparator); // 逆变：Comparator<string>可以赋值给Comparator<T>

在这个例子中，Comparator是一个泛型接口，它定义了一个compare()方法来比较两个T类型的值。numberComparator和stringComparator分别实现了Comparator接口，它们可以比较数字和字符串。当我们把numberComparator和stringComparator赋值给Comparator<T>变量时，TypeScript允许这样做，因为Comparator<number>和Comparator<string>都是Comparator<T>的父类型。