TypeScript Academy · 课时

使用可辨识联合安全地进行模式匹配

Q: 「使用可辨识联合安全地进行模式匹配」这节课中我会学到什么？

为联合成员添加公共字面量字段以确保类型安全 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

为联合成员添加公共字面量字段以确保类型安全

第 3 / 4 课13 个步骤

使用可辨识联合安全地进行模式匹配 是 CoddyKit 上的免费 TypeScript Academy 课时。这是第 3 节课，共 4 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 TypeScript Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 TypeScript Academy 课程共包含 4 节课。

欢迎

可辨识联合会为联合成员添加共享的字面量属性。TypeScript 会使用这个判别属性，在 switch 和 if 语句中收窄类型。

判别属性

判别属性是联合成员中的一个属性，每个成员都有独特的字面量类型。TypeScript 会根据其值收窄联合类型。

type Circle = { kind: 'circle'; radius: number };
type Square = { kind: 'square'; side: number };
type Shape = Circle | Square;

使用 if 检查进行类型收窄

在 if 语句中检查判别属性。TypeScript 会将类型收窄为匹配的成员。

function area(shape: Shape): number {
  if (shape.kind === 'circle') {
    return Math.PI * shape.radius ** 2;
  }
  return shape.side ** 2; // narrowed to Square
}

使用 switch/case 进行类型收窄

switch 语句非常适合与可辨识联合配合使用。每个 case 都会将类型收窄为特定成员。

function describe(shape: Shape): string {
  switch (shape.kind) {
    case 'circle': return `Circle r=${shape.radius}`;
    case 'square': return `Square s=${shape.side}`;
  }
}

使用 never 进行穷尽性检查

添加一个将值赋给 `never` 的 default 分支。如果您添加了新的联合成员却忘记处理它，TypeScript 会报告错误。

function area(shape: Shape): number {
  switch (shape.kind) {
    case 'circle': return Math.PI * shape.radius ** 2;
    case 'square': return shape.side ** 2;
    default:
      const _exhaustive: never = shape;
      throw new Error('Unhandled shape');
  }
}

结果类型模式

可辨识联合非常适合结果模式：返回成功数据或错误，而不是抛出错误。

type Ok<T> = { ok: true; value: T };
type Err = { ok: false; error: string };
type Result<T> = Ok<T> | Err;

操作类型模式（Redux 风格）

在 Redux 和类似系统中，操作是可辨识联合。`type` 字段就是判别属性。

type Action =
  | { type: 'INCREMENT'; amount: number }
  | { type: 'DECREMENT'; amount: number }
  | { type: 'RESET' };

多个判别属性

判别属性不必只有一个，TypeScript 可以根据任意组合的检查进行类型收窄。

type AdminUser = { role: 'admin'; permissions: string[] };
type RegularUser = { role: 'user'; credits: number };
type User = AdminUser | RegularUser;

非可辨识联合仍然可以收窄

即使没有判别属性，TypeScript 也可以使用 typeof、instanceof 和属性检查来收窄联合类型。

type StringOrArr = string | string[];
function flatten(val: StringOrArr): string[] {
  return Array.isArray(val) ? val : [val];
}

可辨识联合与类层次结构

可辨识联合是对类继承进行变体建模的一种函数式替代方案。它们更简单、可序列化，并且适合与模式匹配配合使用。

实际应用：HTTP 响应联合类型

将不同的 API 响应状态建模为可辨识联合。

type ApiState<T> =
  | { status: 'loading' }
  | { status: 'success'; data: T }
  | { status: 'error'; message: string };

快速检查

可辨识联合的每个成员必须具备什么，TypeScript 才能正确进行类型收窄？

在交互式课程中回答

回顾

可辨识联合使用共享的字面量属性作为判别属性。您可以使用 switch/case 进行类型收窄，并添加 never 穷尽性检查来发现未处理的情况。它们非常适合状态机、操作和 API 响应。

免费开始

用 AI 导师学习 TypeScript — 免费

在浏览器中编写并运行真实代码，获得全天候 AI 导师的即时帮助，并在网页或应用中继续学习。

课程: 101
课程: 352

免费开始学习查看完整课程

常见问题解答

「使用可辨识联合安全地进行模式匹配」课时是免费的吗？

是的 — 「使用可辨识联合安全地进行模式匹配」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 TypeScript Academy 课程的其余内容，请升级到 CoddyKit PRO。 TypeScript Academy 课程共包含 4 节课。

「使用可辨识联合安全地进行模式匹配」这节课中我会学到什么？

为联合成员添加公共字面量字段以确保类型安全你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 TypeScript Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。这是第 3 节课，共 4 节。

「使用可辨识联合安全地进行模式匹配」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 TypeScript Academy 课中编写并运行代码吗？

能。每节 TypeScript Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

← 返回 TypeScript Academy