TS中的联合类型与交叉类型：深度解析

2023-12-04 21:55:47

引言

类型系统是任何编程语言的重要组成部分，它有助于确保代码的健壮性和可维护性。TypeScript作为一门强类型的语言，提供了一个功能丰富的类型系统，其中包括联合类型和交叉类型这两种高级类型。

联合类型

联合类型允许您定义一个类型，该类型可以是多个其他类型的其中之一。使用管道符号 (|) 将类型联合起来，形成一个新的联合类型。例如：

type Pet = Dog | Cat;

在这里，Pet 联合类型表示一个变量可以是 Dog 类型或 Cat 类型。这在需要处理不同类型但具有相似行为的对象时非常有用。

交叉类型

交叉类型允许您定义一个类型，该类型是多个其他类型的交集。使用与符号 (&) 将类型相交，形成一个新的交叉类型。例如：

type Employee = Person & Worker;

在这里，Employee 交叉类型表示一个变量既是 Person 类型又是 Worker 类型。这在需要同时具有多个类型特征的对象时非常有用。

联合类型和交叉类型的比较

联合类型和交叉类型在功能上有所不同。联合类型允许一个变量是多个类型中的任何一个，而交叉类型要求一个变量同时是所有类型。

示例

以下是一些使用联合类型和交叉类型的示例：

联合类型：

function getPetName(pet: Pet): string {
  if (pet instanceof Dog) {
    return pet.name;
  } else if (pet instanceof Cat) {
    return pet.name;
  }
}

交叉类型：

class Employee {
  name: string;
  salary: number;

  constructor(name: string, salary: number) {
    this.name = name;
    this.salary = salary;
  }
}