TypeScript Academy · 课时

instanceof 与 in 收窄

收窄类实例和对象结构

第 2 / 4 课13 个步骤

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

欢迎

`instanceof` 可以收窄类实例,`in` 可以根据属性是否存在来收窄对象类型。二者对于处理复杂联合类型都非常重要。

instanceof 类型收窄

使用 `instanceof` 检查某个值是否为某个类的实例。TypeScript 会将类型收窄为该类。
function handle(err: Error | string) {
  if (err instanceof Error) {
    console.log(err.message); // err: Error
  } else {
    console.log(err); // err: string
  }
}

instanceof 与自定义类

instanceof 同样适用于您自己定义的类。
class Dog { bark() { return 'Woof'; } }
class Cat { meow() { return 'Meow'; } }
function speak(pet: Dog | Cat) {
  if (pet instanceof Dog) pet.bark();
  else pet.meow();
}

instanceof 不适用于接口

接口在运行时会被擦除。您不能对接口使用 instanceof,只能对类使用。

in 运算符

使用 `in` 检查对象上是否存在某个属性。TypeScript 会将联合类型收窄为具有该属性的成员。
type Fish = { swim(): void };
type Bird = { fly(): void };
function move(animal: Fish | Bird) {
  if ('swim' in animal) animal.swim();
  else animal.fly();
}

使用 in 收窄可选属性

`in` 也可以收窄可选属性,即将类型收窄为属性可能存在的联合成员。
type A = { x?: number };
type B = { y: number };
function process(v: A | B) {
  if ('x' in v) {
    // v: A (has optional x)
  }
}

组合使用 instanceof 和 in

您可以组合这两种类型收窄技术,以处理复杂的类型区分。
function describe(v: Error | { message: string }) {
  if (v instanceof Error) console.log('Error:', v.stack);
  else if ('message' in v) console.log('Object:', v.message);
}

使用 in 处理可辨识联合

当联合成员没有判别属性时,`in` 检查可以发挥相同的类型收窄作用。
type Square = { side: number };
type Circle = { radius: number };
function area(s: Square | Circle): number {
  return 'side' in s ? s.side ** 2 : Math.PI * s.radius ** 2;
}

catch 代码块中的 instanceof

在 catch 代码块中使用 instanceof 来区分错误类型。
try {
  await fetchData();
} catch (err) {
  if (err instanceof NetworkError) { /* retry */ }
  else if (err instanceof AuthError) { /* redirect */ }
  else throw err;
}

Object.prototype 检查与 in 的比较

`key in obj` 和 `Object.prototype.hasOwnProperty.call(obj, key)` 都会检查属性是否存在,但 `in` 还会匹配继承的属性。

类型收窄的优先级

当多个类型收窄检查同时适用时,TypeScript 会对收窄后的类型进行交叉,从而得到可能的最具体类型。

快速检查

为什么不能在 TypeScript 中使用 `instanceof` 来收窄接口类型?

回顾

`instanceof` 会在运行时收窄类实例。`in` 会根据属性是否存在来收窄对象联合类型。处理类层次结构和结构化对象联合时,请同时使用二者。
免费开始

用 AI 导师学习 TypeScript — 免费

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

课程
101
课程
352

常见问题解答

「instanceof 与 in 收窄」课时是免费的吗?

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

「instanceof 与 in 收窄」这节课中我会学到什么?

收窄类实例和对象结构 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy,全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗?

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

「instanceof 与 in 收窄」课时需要多长时间?

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

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

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

此课程中的所有课时

  1. typeof 与真值收窄
  2. instanceof 与 in 收窄
  3. 用户自定义类型守卫函数
  4. 使用 never 检查完整性
← 返回 TypeScript Academy