0Pricing
TypeScript Academy · 课时

断言函数与用户自定义类型守卫

编写断言函数（asserts x is T）和用户自定义类型守卫（x is T），安全地收窄 unknown 或联合类型的值。

断言函数与用户自定义类型守卫 是 CoddyKit 上的免费 TypeScript Academy 课时。 这是第 3 节课，共 3 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 TypeScript Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 TypeScript Academy 课程共包含 3 节课。

简介

目标：使用断言函数和用户自定义类型守卫，将运行时检查转换为类型细化，从而构建安全的接口。

断言函数

如果断言函数正常返回，它会为后续代码收窄类型；否则，它必须抛出异常。

function assertIsString(x: unknown): asserts x is string {
  if (typeof x !== "string") {
    throw new Error("Expected string");
  }
}

let v: unknown = Math.random() > 0.5 ? "ok" : 42;
assertIsString(v); // after this, v is string
console.log(v.toUpperCase());

类型守卫函数

类型守卫会返回 x is T，从而支持在分支和辅助函数中进行智能类型收窄。

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

type Shape = Circle | Square;

function isCircle(s: Shape): s is Circle {
  return s.kind === "circle";
}

function area(s: Shape): number {
  if (isCircle(s)) {
    return Math.PI * s.radius ** 2; // s is Circle here
  }
  return s.size * s.size; // s is Square here
}

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

筛选中的守卫

守卫可以作为数组方法（例如 filter）的谓词，以清晰地细化元素类型。

type Item = { id: number } | null | undefined;

function isPresent<T>(x: T | null | undefined): x is T {
  return x != null;
}

const items: Item[] = [{ id: 1 }, null, undefined, { id: 2 }];
const present = items.filter(isPresent);
// present has type { id: number }[]
console.log(present.map(i => i.id));

断言运行时数据

请将解析与断言结合起来，以便在值不是预期类型时快速失败。

function parseJson(s: string): unknown {
  return JSON.parse(s);
}

try {
  const data = parseJson("{\"name\":\"Ada\"}");
  assertIsString(data); // will throw, because data is object
} catch (e) {
  console.log("Handled:", e instanceof Error ? e.message : e);
}

指南

指南：

  • 断言失败时必须抛出异常。
  • 对于分支逻辑，请优先使用守卫（x is T）。
  • 请在接口边界（输入/输出、数据、DOM）使用断言。

断言函数检查

快速检查：带有 asserts x is string 的断言函数能够保证什么？

回顾

回顾：请使用断言函数在检查后强制执行类型约束，并使用用户自定义类型守卫收窄分支和集合中的类型。

常见问题解答

「断言函数与用户自定义类型守卫」课时是免费的吗？

是的 — 「断言函数与用户自定义类型守卫」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 TypeScript Academy 课程的其余内容，请升级到 CoddyKit PRO。 TypeScript Academy 课程共包含 3 节课。

「断言函数与用户自定义类型守卫」这节课中我会学到什么？

编写断言函数（asserts x is T）和用户自定义类型守卫（x is T），安全地收窄 unknown 或联合类型的值。 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗？

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

「断言函数与用户自定义类型守卫」课时需要多长时间？

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

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

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

此课程中的所有课时

  1. 函数重载与调用签名
  2. this 参数类型；void 与 never
  3. 断言函数与用户自定义类型守卫
← 返回 TypeScript Academy