什么是联合类型（union）和交叉类型（intersection）？

Question

Accepted Answer

**联合类型**（`A | B`）表示"是 A **或** B"。**交叉类型**（`A & B`）表示"同时既是 A **又**是 B"。

```ts
// Union — value is one of several types
type Status = "loading" | "success" | "error"; // string literal union
let s: Status = "loading"; // only these three allowed

function id(x: string | number) { /* x is string OR number */ }
```

## 使用联合类型：你只能使用共有的成员

```ts
function format(x: string | number) {
  // x.toFixed(2); // ❌ toFixed doesn't exist on string
  if (typeof x === "number") return x.toFixed(2); // ✅ narrowed to number
  return x.toUpperCase();                          // ✅ here it's a string
}
```

在你**收窄**（narrow）联合类型之前，你只能访问联合类型中*每一个*成员都具有的属性——编译器会保护你。

## 交叉类型——组合多种形状

```ts
type Name = { name: string };
type Age = { age: number };
type Person = Name & Age; // must have BOTH name and age

const p: Person = { name: "Ann", age: 30 }; // both required
```

交叉类型非常适合用于组合/混合对象类型（例如，为已有类型添加新属性）。

## 为什么这很重要

联合类型用于建模"多种可能性中的一种"——这是安全状态建模的基础（例如，用于 reducer 状态的可辨识联合类型）、函数重载以及可空类型（`T | null`）。

交叉类型则将多个类型组合在一起。

两者结合，使得 TypeScript 的类型系统具有足够的表达力，能够精确地映射真实数据。