0Pricing
TypeScript Academy · 课时

in、instanceof 与可辨识联合

使用 in 属性检查、用于类的 instanceof，以及可辨识联合来安全地进行分支处理。

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

简介

目标：练习三种强大的类型守卫：使用in检查属性，使用instanceof检查类，以及使用可辨识联合类型实现清晰的分支处理。

in 运算符

in通过在运行时测试属性名称来收窄类型。它非常适合对象字面量联合类型。

type HasLength = { length: number };

function print(v: string | HasLength) {
  if ("length" in v) {
    // v is HasLength
    console.log("len:", v.length);
  } else {
    // v is string
    console.log(v.toUpperCase());
  }
}

print({ length: 3 });
print("ts");

instanceof

instanceof会检查基于类的值的原型。构造函数在运行时可用时即可正常工作。

class Person {
  constructor(public name: string) {}
}

function hello(x: Person | Date) {
  if (x instanceof Person) {
    console.log("Hi", x.name);
  } else {
    console.log("Year", x.getFullYear());
  }
}

hello(new Person("Ada"));
hello(new Date(2024, 0, 1));

可辨识联合类型

可辨识联合类型使用字面量标签（例如 kind），从而可以通过 switch 清晰地进行分支处理，并针对每种情况实现完整收窄。

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

type Shape = Circle | Square;

function area(s: Shape): number {
  switch (s.kind) {
    case "circle":
      return Math.PI * s.radius ** 2;
    case "square":
      return s.size * s.size;
  }
}

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

组合类型守卫

请将标签检查与in组合起来，以收窄嵌套结构，并只访问安全的成员。

type FetchOk = { status: "ok"; data: { length: number } };
type FetchErr = { status: "error"; message: string };

type Result = FetchOk | FetchErr;

function handle(r: Result) {
  if (r.status === "ok" && "length" in r.data) {
    console.log("items:", r.data.length);
  } else {
    console.log("error:", r.message);
  }
}

handle({ status: "ok", data: { length: 5 } });
handle({ status: "error", message: "oops" });

指导原则

指导原则：

  • 基于属性的联合类型应使用in。
  • 类应使用instanceof。
  • 清晰的控制流应使用可辨识联合类型。

in 运算符检查

快速检查：哪个运算符会在运行时检查属性并收窄类型？

回顾

回顾：in会测试属性，instanceof会检查类，而可辨识联合类型可以提供清晰且类型安全的 switch。

常见问题解答

「in、instanceof 与可辨识联合」课时是免费的吗？

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

「in、instanceof 与可辨识联合」这节课中我会学到什么？

使用 in 属性检查、用于类的 instanceof，以及可辨识联合来安全地进行分支处理。 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗？

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

「in、instanceof 与可辨识联合」课时需要多长时间？

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

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

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

此课程中的所有课时

  1. typeof、相等性与真值收窄
  2. in、instanceof 与可辨识联合
  3. 使用 never 实现穷尽检查（入门）
← 返回 TypeScript Academy