【Node.js】深入挖掘 TypeScript 的潜力：可选(Optional)、联合(Union)和交叉(Intersection)类型

深入挖掘 TypeScript 的潜力：可选(Optional)、联合(Union)和交叉(Intersection)类型
作者：Alex Martinez
来源：https://lyricalstring.medium.com/unlocking-typescripts-potential-a-deep-dive-into-optional-union-and-intersection-types-cc05e44dd720

---

深入挖掘 TypeScript 的潜力：Optional、Union和Intersection类型

问候，TypeScript 爱好者们！今天，我们将探索 TypeScript 的一个高级且多功能的特性：联合类型（Union Types）和交叉类型（Intersection Types）。我们的目标是理解它们在 TypeScript 生态系统中的复杂性和实用性。

可选类型 Optional

在我们深入探讨联合类型和交叉类型之前，让我们回顾一下可选类型的理解。在 TypeScript 中，可选类型表示可能存在于对象中或可能不存在于对象中的属性。这通过在属性名后跟一个 ? 符号来表示。

type Employee = {
  name: string;
  age?: number;
}

在 Employee 类型中，name 是一个必需属性，但 age 是可选的。因此，我们可以创建一个没有 age 属性的 Employee 对象。

可选类型是 TypeScript 中的一个基本构建块。但该语言的多功能性并没有就此止步。对于属性可以根据各种条件采取不同形式的场景，TypeScript 为我们提供了联合类型和交叉类型。

联合类型 Union 和交叉类型 Intersection

联合类型允许我们声明一个可以是多种类型之一的类型，由 | 符号表示。另一方面，交叉类型将多个类型组合成一个类型，由 & 符号表示。

以下是示例：

type Product = {
  id: string
} & (
  | {
    type: 'book';
    author: string;
  }
  | {
    type: 'electronics';
    brand: string;
  }
)

以下是它的工作原理：

• Product 类型是两种类型的交叉（&）。

• 第一种类型是 { id: string }，这意味着一个带有字符串类型 id 属性的对象。

• 第二种类型是两种不同对象形状的联合（|）。这意味着对象可以具有 ‘book’ 类型和 author 属性，或者具有 ‘electronics’ 类型和 brand 属性。

实际示例

让我们通过一些示例来说明：

let product1: Product = {
  id: 'p123',
  type: 'book',
  author: 'George Orwell'
}

let product2: Product = {
  id: 'p456',
  type: 'electronics',
  brand: 'Apple'
}

然而，以下示例将导致 TypeScript 错误：

let product3: Product = {
  id: 'p789',
  type: 'book',
  brand: 'Penguin'
}

product3 对象不是有效的 Product 类型对象，因为对于 ‘book’ 类型，关联的属性应该是 author，而不是 brand。

结论

可选类型、联合类型和交叉类型是 TypeScript 的强大特性，允许我们创建复杂且灵活的类型定义。它们允许我们准确描述 JavaScript 对象的形状，从而实现更安全、更可预测的代码。

掌握这些类型的关键是理解它们的实用性并在你的 TypeScript 项目中练习它们。因此，探索它们并将你的 TypeScript 技能提升到一个新的水平！