TypeScript：理解联合类型和交叉类型

在本文中，我们将介绍TypeScript中的联合类型和交叉类型，并详细解释它们的使用方法和示例。

联合类型（Union Types）

联合类型是指在TypeScript中可以将多个类型声明为一个类型的方式。使用联合类型，我们可以定义一个变量、参数或返回值可以是多个类型中的一个。

基本语法

在TypeScript中，使用竖线（|）来表示联合类型。例如：

let numOrString: number | string;
let studentGrade: "A" | "B" | "C" | "D" | "F";
let result: boolean | Error;

上面的示例中，numOrString变量可以存储一个数字或一个字符串，studentGrade变量只能存储指定的几个字符（即学生的成绩等级），result变量可以存储一个布尔值或一个错误对象。

使用联合类型的示例

让我们看一个使用联合类型的示例：

function printId(id: number | string) {
  console.log(`ID: ${id}`);
}

printId(123);      // 输出：ID: 123
printId("abc");    // 输出：ID: abc

上面的代码中，printId函数的参数类型为联合类型number | string，因此我们可以传递一个数字或一个字符串作为参数。

联合类型的强制类型检查

TypeScript的一个重要特性是强制类型检查。在使用联合类型时，TypeScript会根据变量或参数的实际值进行类型推断和类型检查。

例如：

let age: number | string;
age = 25;   // 合法赋值
age = "25"; // 合法赋值
age = true; // 非法赋值，因为布尔值不属于联合类型中的某个类型

上面的代码中，age变量被定义为联合类型number | string，因此可以赋值一个数字或一个字符串。然而，赋值一个布尔值是非法的，因为布尔值不是联合类型中的某个类型。

交叉类型（Intersection Types）

交叉类型是指将多个类型合并为一个类型的方式。使用交叉类型，我们可以定义一个变量、参数或返回值可以具备多个类型的属性和方法。

基本语法

在TypeScript中，使用符号“&”表示交叉类型。例如：

type Human = { name: string; age: number };
type Employed = { company: string; position: string };
type Employee = Human & Employed;

上面的示例中，我们定义了一个Human类型和一个Employed类型，然后使用交叉类型&将两个类型合并为一个Employee类型。

使用交叉类型的示例

让我们看一个使用交叉类型的示例：

function printEmployeeInfo(employee: Human & Employed) {
  console.log(`Name: {employee.name}`);
  console.log(`Age:{employee.age}`);
  console.log(`Company: {employee.company}`);
  console.log(`Position:{employee.position}`);
}

const john: Employee = {
  name: "John",
  age: 30,
  company: "ABC Corp",
  position: "Engineer"
};

printEmployeeInfo(john);

上面的代码中，我们定义了一个printEmployeeInfo函数，它的参数类型为交叉类型Human & Employed，即具备Human类型和Employed类型的属性和方法。我们创建了一个john对象，它同时具备Human和Employed类型的属性，然后将该对象传递给printEmployeeInfo函数进行打印。

交叉类型的强制类型检查

TypeScript在使用交叉类型时也会进行强制类型检查。它会根据变量或参数的实际值来推断和验证交叉类型中的属性和方法是否正确使用。

例如：

type Person = { name: string; age: number };
type Employee = Person & { company: string; position: string };

let john: Employee = {
  name: "John",
  age: 30,
  company: "ABC Corp",
  position: "Engineer",
  salary: 5000    // 非法属性，因为Employee类型中没有定义salary属性
};

上面的代码中，我们定义了一个Employee类型，它同时具备Person和一些额外属性（company和position）。然而，我们在创建john对象时额外添加了一个非法属性salary，因为在Employee类型中没有定义该属性。

总结

本文介绍了TypeScript中的联合类型和交叉类型的概念和使用方法。联合类型允许一个变量、参数或返回值可以是多个类型中的一个，通过使用竖线（|）来表示。交叉类型允许一个变量、参数或返回值具备多个类型的属性和方法，通过使用符号“&”来表示。同时，本文还给出了相关的示例来帮助读者理解和使用联合类型和交叉类型。要注意，在使用联合类型和交叉类型时，TypeScript会进行强制类型检查，以确保代码的类型安全性。

希望本文对大家理解和使用TypeScript中的联合类型和交叉类型有所帮助。