instanceof 递归判断原理及应用解析

本文深入剖析了 JavaScript 中 `instanceof` 操作符的本质原理与实际应用，明确指出它并非“递归判断”，而是沿对象原型链向上进行线性、单向的严格相等比对；只有当左侧为有效对象、右侧为具 `prototype` 的函数，且前者原型链中某级恰好等于后者 `prototype` 时，判定才成立。文章通过典型示例（如数组、类继承）揭示其执行路径，直击跨 iframe、原型篡改、`Object.create(null)` 等易误判场景，并给出 `Array.isArray`、`Object.prototype.toString` 和自定义 `isInstance` 等更鲁棒的替代方案；最后以手写简易实现收尾，帮助读者穿透语法糖，真正掌握其边界条件与底层逻辑——读懂它，才能在复杂类型判断中既准确又可靠。

instanceof 判定成立的三个必要条件

只有同时满足以下三点，A instanceof B 才返回 true：

• A 必须是一个对象（原始值如 "abc"、42、null、undefined 均直接返回 false）
• B 必须是一个函数（且拥有 prototype 属性；箭头函数、普通函数均可，但若被篡改过 prototype 可能失效）
• A 的原型链中（即 A.__proto__ → A.__proto__.__proto__ → ...）某一级严格等于 B.prototype

原型链比对的实际执行路径

以 const arr = [1, 2]; arr instanceof Array 为例，引擎内部等效执行类似逻辑：

1. 取 arr.__proto__ → 得到 Array.prototype
2. 比较 arr.__proto === Array.prototype → true，立即返回 true

再看继承场景：class Animal {} class Dog extends Animal {}; const d = new Dog(); d instanceof Animal

• 先查 d.__proto__ → Dog.prototype（不等于 Animal.prototype）
• 再查 Dog.prototype.__proto__ → Animal.prototype（相等）→ 返回 true

这个过程会持续向上，直到遇到 null（即 Object.prototype.__proto__）为止。

容易误判的典型场景与规避方式

以下情况看似合理，但 instanceof 会意外返回 false：

• 跨 iframe 或 window 环境：不同全局环境中的 Array 构造函数彼此独立，iframe.contentWindow.Array !== Array，导致数组在父页用 instanceof Array 检测失败
• 手动修改原型链：如 obj.__proto__ = null 或 SomeCtor.prototype = {} 后，原有继承关系断裂
• 使用 Object.create(null) 创建的对象没有原型链，任何 instanceof 都为 false

此时应改用更鲁棒的方法：

• 数组检测 → Array.isArray(obj)
• 通用类型识别 → Object.prototype.toString.call(obj) === '[object Date]'
• 自定义类兼容判断 → 在类上定义静态 isInstance 方法，封装原型链逻辑

手写简易 instanceof 的意义不在替代，而在验证理解

下面这段代码不是为了生产使用，而是帮你确认是否真正掌握其行为：

function myInstanceof(obj, constructor) {
  if (obj == null || typeof obj !== 'object') return false;
  if (typeof constructor !== 'function') return false;
  
  let proto = Object.getPrototypeOf(obj);
  while (proto !== null) {
    if (proto === constructor.prototype) return true;
    proto = Object.getPrototypeOf(proto);
  }
  return false;
}

它清晰暴露了两个关键点：

• 原始值被提前拦截，不进入循环
• 循环终止于 null，不会无限进行

运行 myInstanceof(new Date(), Date) 或 myInstanceof([], Object) 都会得到与原生一致的结果。

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《instanceof 递归判断原理及应用解析》文章吧，也可关注golang学习网公众号了解相关技术文章。