13. TypeScript中的联合类型和交叉类型

在TypeScript中，类型系统提供了多种方式来组合类型，其中最常见的就是联合类型和交叉类型。这两种类型都允许你以灵活的方式处理可能有多种类型的值。

一、联合类型

1.1 定义

在TypeScript中，联合类型是一种复合类型，表示一个值可以是几种类型之一。我们使用|符号来定义联合类型。

// 定义一个联合类型，表示value可以是number类型或者string类型
let value: number | string;

value = 1; // 这是合法的，因为1是number类型
value = 'hello'; // 这也是合法的，因为'hello'是string类型
value = true; // 这是非法的，因为true不是number类型也不是string类型

在这个例子中，value可以是number类型或者string类型，但不能是其他类型。

1.2 应用场景

联合类型在处理可能有多种类型的值时非常有用。例如，一个函数的参数可能是number类型或者string类型，我们就可以使用联合类型来定义这个参数的类型。

function print(value: number | string) {
  console.log(value);
}

在这个例子中，print函数的参数value可以是number类型或者string类型。

二、交叉类型

2.1 定义

交叉类型是另一种复合类型，表示一个值同时具有多种类型。我们使用&符号来定义交叉类型。

// 定义两个类型
type First = { a: number };
type Second = { b: string };

// 使用&符号定义一个交叉类型，表示一个值同时具有First类型和Second类型的所有属性
type Both = First & Second;

在这个例子中，Both类型同时具有First类型和Second类型的所有属性。

2.2 应用场景

交叉类型在需要一个值同时具有多种类型的属性时非常有用。例如，我们可以使用交叉类型来定义一个对象，这个对象同时具有两个接口的所有属性。

interface First {
  a: number;
}

interface Second {
  b: string;
}

// 使用&符号定义一个交叉类型，表示一个对象同时具有First接口和Second接口的所有属性
type Both = First & Second;

let value: Both = { a: 1, b: 'hello' }; // 这是合法的，因为value同时具有First接口和Second接口的所有属性

在这个例子中，value对象同时具有First接口和Second接口的所有属性。

三、总结

联合类型和交叉类型是TypeScript强大类型系统的重要组成部分，它们提供了灵活的方式来处理可能有多种类型的值。更好的实践是使用自定义类型type对其进行定义，以便更加方便的使用。