TypeScript Academy · 课时

使用 never 实现穷尽检查（入门）

Q: 「使用 never 实现穷尽检查（入门）」这节课中我会学到什么？

使用 never 强制联合类型的 switch 覆盖所有情况，并尽早发现遗漏的分支。 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

使用 never 强制联合类型的 switch 覆盖所有情况，并尽早发现遗漏的分支。

第 3 / 3 课8 个步骤

使用 never 实现穷尽检查（入门） 是 CoddyKit 上的免费 TypeScript Academy 课时。这是第 3 节课，共 3 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 TypeScript Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 TypeScript Academy 课程共包含 3 节课。

简介

目标：确保您的switch处理联合类型的所有成员。never类型可以帮助编译器在遗漏新情况时发出提醒。

设置联合类型

请使用字面量标签（例如 kind）创建可辨识联合类型，以便稍后根据它进行 switch。

type Circle = { kind: "circle"; radius: number };
type Square = { kind: "square"; size: number };

type Shape = Circle | Square;

非穷尽式 switch

缺少分支仍然可以编译，但逻辑并不完整。我们需要一种方法，在缺少某种情况时强制产生编译时失败。

function areaBad(s: Shape): number {
  switch (s.kind) {
    case "circle":
      return Math.PI * s.radius ** 2;
    // OOPS: forgot "square" -> no compile error yet
  }
  return 0; // silently wrong
}

console.log(areaBad({ kind: "circle", radius: 2 }));

assertNever 辅助函数

请定义assertNever：它只接受 never。如果某个值到达这里，说明 switch 并未覆盖所有情况，编译器会将其标记出来。

function assertNever(x: never): never {
  throw new Error("Unhandled case: " + JSON.stringify(x));
}

穷尽式 switch

请添加调用 assertNever 的default。出现新的联合类型成员时，编译器会强制您处理它。

function area(s: Shape): number {
  switch (s.kind) {
    case "circle":
      return Math.PI * s.radius ** 2;
    case "square":
      return s.size * s.size;
    default:
      return assertNever(s); // compiler error if a member is unhandled
  }
}

console.log(area({ kind: "square", size: 3 }));

指导原则

指导原则：

请在联合类型成员上使用辨识字段（例如 kind）。
保留default + assertNever模式。
优先使用清晰的返回类型，以便显现遗漏的情况。

穷尽性检查

快速检查：如何让针对可辨识联合类型的 switch 覆盖所有情况？

在交互式课程中回答

回顾

回顾：never表示不可能出现的值。请在 default 分支中使用assertNever，以强制 switch 完整覆盖，并为未来的扩展做好准备。

免费开始

用 AI 导师学习 TypeScript — 免费

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

课程: 101
课程: 352

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

常见问题解答

「使用 never 实现穷尽检查（入门）」课时是免费的吗？

是的 — 「使用 never 实现穷尽检查（入门）」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 TypeScript Academy 课程的其余内容，请升级到 CoddyKit PRO。 TypeScript Academy 课程共包含 3 节课。

「使用 never 实现穷尽检查（入门）」这节课中我会学到什么？

使用 never 强制联合类型的 switch 覆盖所有情况，并尽早发现遗漏的分支。你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗？

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

「使用 never 实现穷尽检查（入门）」课时需要多长时间？

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

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

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

此课程中的所有课时

typeof、相等性与真值收窄
in、instanceof 与可辨识联合
使用 never 实现穷尽检查（入门）

← 返回 TypeScript Academy