0Pricing
TypeScript Academy · 课时

使用可区分联合进行全面错误处理

使用 switch+never、辅助工具以及跨模块的编译时覆盖检查，为可区分联合编写覆盖所有情况的处理程序。

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

简介

目标：确保处理联合类型的每个成员。您将使用分支语句 + never、一个小型 exhaustiveCheck 工具，并了解如何跨文件保持覆盖完整。

  • 判别字段（标签字段）
  • 完备的分支语句
  • 快速失败的默认分支

判别式联合类型

判别式联合类型具有一个共享标签（此处为 kind）。每个变体都携带自己的数据。

export type Payment =
  | { kind: "Card"; last4: string }
  | { kind: "Cash" }
  | { kind: "Wire"; iban: string }

分支语句与 never

default 会将 p 赋给 never。如果之后添加了新变体，编译器会报错，直到您处理它为止。

export function describe(p: Payment): string {
  switch (p.kind) {
    case "Card": return `Card ••••${p.last4}`
    case "Cash": return "Cash"
    case "Wire": return `Wire ${p.iban}`
    default: {
      const _exhaustive: never = p
      return _exhaustive
    }
  }
}

exhaustiveCheck 辅助函数

使用一个小型辅助函数，让意图更加清晰。never 参数会使未处理的情况成为类型错误，而不只是运行时抛出错误。

export function exhaustiveCheck(x: never): never {
  throw new Error(`Unhandled case: ${JSON.stringify(x)}`)
}

export function pay(p: Payment): string {
  switch (p.kind) {
    case "Card": return "charged card"
    case "Cash": return "took cash"
    case "Wire": return "initiated wire"
    default: return exhaustiveCheck(p)
  }
}

跨模块覆盖

当联合类型在一个文件中定义、在另一个文件中处理时，新增分支仍会导致构建失败，直到所有分支语句都更新——这正是我们想要的效果。

// errors.ts
export type AppError =
  | { tag: "Auth"; reason: "Unauthorized" | "Forbidden" }
  | { tag: "NotFound"; resource: string }
  | { tag: "Conflict"; resource: string }

// handler.ts
import type { AppError } from "./errors"
import { exhaustiveCheck } from "./exhaustive"

export function toStatus(e: AppError): number {
  switch (e.tag) {
    case "Auth": return e.reason === "Unauthorized" ? 401 : 403
    case "NotFound": return 404
    case "Conflict": return 409
    default: return exhaustiveCheck(e)
  }
}

提示与陷阱

提示：

  • 优先使用字符串字面量标签（例如 tag/kind）。
  • 让变体保持小巧，通过嵌套对象组合数据，而不是创建庞大的联合类型。
  • 不要在没有 never 守卫的情况下使用 default；它会掩盖遗漏的情况。

完备性检查

快速检查：什么可以强制确保所有情况都已处理？

回顾

回顾：使用判别字段，编写分支语句，并在 default 分支中将值赋给 never（或调用 exhaustiveCheck），从而确保联合类型不断演变时仍能完整覆盖。

常见问题解答

「使用可区分联合进行全面错误处理」课时是免费的吗？

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

「使用可区分联合进行全面错误处理」这节课中我会学到什么？

使用 switch+never、辅助工具以及跨模块的编译时覆盖检查，为可区分联合编写覆盖所有情况的处理程序。 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗？

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

「使用可区分联合进行全面错误处理」课时需要多长时间？

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

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

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

此课程中的所有课时

  1. Result/Either 风格的类型
  2. 使用可区分联合进行全面错误处理
← 返回 TypeScript Academy