详细说明ECMAScript7规范中instanceof设置符（附案例）

网页的本质就是超级文本标记语言，通过结合使用其他的Web技术（如：脚本语言、公共网关接口、组件等），可以创造出功能强大的网页。因而，超级文本标记语言是万维网（Web）编程的基础，也就是说万维网是建立在超文本基础之上的。超级文本标记语言之所以称为超文本标记语言，是因为文本中包含了所谓“超级链接”点。

本篇文章给大家带来的内容是关于详解ECMAScript7规范中instanceof操作符（附实例），有一定的参考价值，有需要的朋友可以参考一下，希望对你有所帮助。

本文主要讲解ECMAScript7规范中的instanceof操作符。

预备知识

有名的Symbols

“有名”的Symbols指的是内置的符号，它们定义在Symbol对象上。ECMAScript7中使用了@@name的形式引用这些内置的符号，比如下面会提到的@@hasInstance，其实就是Symbol.hasInstance。

InstanceofOperator(O, C)

O instanceof C在内部会调用InstanceofOperator(O, C)抽象操作，该抽象操作的步骤如下：

如果C的数据类型不是对象，抛出一个类型错误的异常；

让instOfHandler等于GetMethod(C, @@hasInstance)，大概语义就是获取对象C的@@hasInstance属性的值；

如果instOfHandler的值不是undefined，那么：

返回ToBoolean(? Call(instOfHandler, C, ? O ?))的结果，大概语义就是执行instOfHandler(O)，然后把调用结果强制转化为布尔类型返回。

如果C不能被调用，抛出一个类型错误的异常；

返回OrdinaryHasInstance(C, O)的结果。

OrdinaryHasInstance(C, O)

OrdinaryHasInstance(C, O)抽象操作的步骤如下：

如果C不能被调用，返回false；

如果C有内部插槽[[BoundTargetFunction]]，那么：

让BC等于C的内部插槽[[BoundTargetFunction]]的值；

返回InstanceofOperator(O, BC)的结果；

如果O的类型不是对象，返回false；

让P等于Get(C, "prototype")，大概语义是获取C.prototype的值；

如果P的数据类型不是对象，抛出一个类型错误的异常；

重复执行下述步骤：

让O等于O.[[GetPrototypeOf]]()的结果，大概语义就是获取O的原型对象；

如果O等于null，返回false；

如果SameValue(P, O)的结果是true，返回true。

SameValue抽象操作参见JavaScript中的==，===和Object.js()中的Object.is()，Object.is()使用的就是这个抽象操作的结果。

由上述步骤2可知，如果C是一个bind函数，那么会重新在C绑定的目标函数上执行InstanceofOperator(O, BC)操作。

由上述步骤6可知，会重复地获取对象O的原型对象，然后比较该原型对象和C的prototype属性是否相等，直到相等返回true，或者O变为null，也就是遍历完整个原型链，返回false。

Function.prototype[@@hasInstance](V)

由上面的InstanceofOperator(O, C)抽象操作的步骤2和3可以知道，如果C上面定义或继承了@@ hasInstance属性的话，会调用该属性的值，而不会走到步骤4和5。步骤4和5的目的是为了兼容没有实现@@hasInstance方法的浏览器。如果一个函数没有定义或继承@@hasInstance属性，那么就会使用默认的instanceof的语义，也就是OrdinaryHasInstance(C, O)抽象操作描述的步骤。

ECMAScript7规范中，在Function的prototype属性上定义了@@hasInstance属性。Function.prototype[@@hasInstance](V)的步骤如下：

让F等于this值；

返回OrdinaryHasInstance(F, V)的结果。

所以，你可以看到在默认情况下，instanceof的语义是一样的，都是返回OrdinaryHasInstance(F, V)的结果。为什么说默认情况下？因为你可以覆盖Function.prototype[@@hasInstance]方法，去自定义instanceof的行为。

例子

function A () {}
function B () {}

var a = new A
a.__proto__ === A.prototype // true
a.__proto__.__proto__ === Object.prototype // true
a.__proto__.__proto__.__proto__ === null // true

a instanceof A // true
a instanceof B // false

对于a instanceof A，P是A.prototype，在第一次循环的时候，a的原型对象a._proto__是A.prototype，也就是步骤中的O是A.prototype，所以返回了true；

对于a instanceof B，P是B.prototype，在第一次循环的时候，a的原型对象a._proto__是A.prototype，不等于P；执行第二次循环，此时O是a.__proto__.__proto__，也就是Object.prototype，不等于P；执行第三次循环，此时O是a.__proto__.__proto__.__proto__，也就是null，也就是原型链都遍历完了，所以返回了false。