探索 TypeScript 的精髓：协变与逆变，深挖其意义

2023-10-29 10:30:25

协变和逆变：TypeScript 类型系统的基石

什么是协变和逆变？

在计算机科学中，协变和逆变是指两种重要的类型转换关系。在 TypeScript 中，它们被广泛应用于类型系统，以增强代码的灵活性、重用性和性能。

协变： 子类型的对象可以赋值给父类型变量。这让你可以使用派生类型来替换其基类型。
逆变： 父类型的对象可以赋值给子类型变量。这让你可以使用更通用的类型来代表更具体的类型。

协变在 TypeScript 中的应用

数组类型： TypeScript 中的数组是协变的。这意味着你可以将子类型数组赋值给父类型变量，例如：

let stringArray: string[] = ['Hello', 'World'];
let anyArray: any[] = stringArray; // 合法，类型推断为 string[]

函数类型： TypeScript 中的函数类型也是协变的。你可以将一个返回子类型结果的函数赋值给一个返回父类型结果的变量，例如：

function addNumbers(a: number, b: number): number {
  return a + b;
}

function addStrings(a: string, b: string): string {
  return a + b;
}

let add: (a: number, b: number) => number = addStrings; // 合法，类型推断为 (a: number, b: number) => number

逆变在 TypeScript 中的应用

比较器类型： TypeScript 中的比较器类型是逆变的。这意味着你可以将父类型比较器赋值给子类型变量，例如：

interface NumberComparator {
  (a: number, b: number): boolean;
}

interface StringComparator {
  (a: string, b: string): boolean;
}

let compareNumbers: NumberComparator = (a, b) => a > b;
let compareStrings: StringComparator = compareNumbers; // 合法，类型推断为 StringComparator