0Pricing
TypeScript Academy · 课时

抛出错误的问题

了解为什么异常会让类型系统无法发现失败。

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

异常不可见

函数执行 throw 时,其签名并不会说明这一点。类型系统无法看出哪些函数可能失败,因此调用方不会得到编译器提示去处理错误。

一个会抛出异常的函数

这个函数看起来总是返回一个数字,但实际上可能抛出异常。返回类型 number 完全隐藏了失败的情况。

function parsePort(s: string): number {
  const n = Number(s);
  if (Number.isNaN(n)) throw new Error("bad port");
  return n;
}
console.log(parsePort("8080")); // 8080

调用方忘记捕获异常

没有任何机制强制调用方将调用包装在 try/catch 中。这类错误可以顺利通过编译,直到运行时才会以崩溃的形式出现。

const port = parsePort("oops");
// No compile error; throws at runtime, possibly crashing the app.

try/catch 会丢失类型

即使您进行了捕获,被捕获的值也会被标记为 unknown(或 any)。错误的结构没有被跟踪,因此处理它只能靠猜测。

try {
  parsePort("x");
} catch (e) {
  // e: unknown -> you must narrow it manually
}

将错误作为值

另一种做法是让失败成为函数返回的普通值,而不是它抛出的异常。这样,返回类型就能如实展示两种结果。

返回值的示意

不要抛出异常,而是返回一个描述成功或失败的带标签对象。调用方必须先检查这个对象,才能使用其中的值。

type ParseResult =
  | { ok: true; value: number }
  | { ok: false; error: string };

类型现在如实表达了结果

返回 ParseResult 的函数明确表示它可能失败。这样,编译器就会要求调用方处理失败分支。

function parsePort(s: string): ParseResult {
  const n = Number(s);
  return Number.isNaN(n)
    ? { ok: false, error: "bad port" }
    : { ok: true, value: n };
}

强制处理

由于这个值可能属于任一分支,因此您必须先检查 ok,才能读取 value。只有检查完成后,编译器才会收窄类型。

const r = parsePort("oops");
if (r.ok) console.log(r.value);
else console.log("failed:", r.error);

异常仍有其适用场景

真正意外且无法恢复的失败(程序员错误、内存不足)仍然可以抛出异常。对于解析和验证这类预期中的失败,将错误作为值处理更有优势。

显式胜过隐式

返回错误会让失败路径在类型中明确体现,在调用位置清晰可见,并且不会像隐藏的 throw 那样被意外忽略。

迈向结果类型与选项类型

这种带标签的成功或失败结构可以泛化为可复用的结果类型,而有无值的情况可以泛化为选项类型,接下来将分别介绍这两种类型。

快速检查

快速检查本课内容。

回顾

抛出的错误对类型来说是不可见的:签名隐藏了失败,调用方也容易忘记捕获异常。将失败作为显式值返回(即带标签的成功或错误对象),可以让失败路径在类型中清晰可见且无法被忽略,并由此引出结果类型和选项类型。

常见问题解答

「抛出错误的问题」课时是免费的吗?

是的 — 「抛出错误的问题」的完整文本可在网页上免费阅读。要进行交互式练习(内置代码编辑器和全天候 AI 导师)并解锁 TypeScript Academy 课程的其余内容,请升级到 CoddyKit PRO。 TypeScript Academy 课程共包含 4 节课。

「抛出错误的问题」这节课中我会学到什么?

了解为什么异常会让类型系统无法发现失败。 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy,全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗?

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

「抛出错误的问题」课时需要多长时间?

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

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

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

此课程中的所有课时

  1. 抛出错误的问题
  2. 结果类型建模
  3. Option 与 Maybe 类型
  4. 铁路导向编程
← 返回 TypeScript Academy