从js原型继承深入理解instanceof操作符

[shiiiiiiji]

在学习js原型继承时，有如下代码：

function SuperType(){
	this.property = true;
}

SuperType.prototype.getProperty = function(){
	return this.property;
}


function SubType(){
	this.subProperty = false;
}

SubType.prototype = new SuperType();

SubType.prototype.getSubProperty = function(){
	return this.subProperty;
}

var instance = new SubType();

然后，再执行instance instanceof SubType时，得到的结果的true。

最开始了解instanceof操作符时，会认为这个操作符的含义是是否是XX的实例的含义。

但在理解js的原型继承时，构造函数（引用类型）的原型对象被重写为另外一个引用类型（构造函数）的实例，这里新的原型对象并没有包含指向构造函数的constructor属性，所以我就会误认为“新创建的实例并不是原引用类型（构造函数）的实例”，认为上面应该返回false。

这样的理解其实是片面的，虽然在代码原理层面，原型链和原构造函数已经没有了任何关系（因为重写的原型对象没有构造函数属性了）。但是，继承的含义却保证了“实例是原引用类型（构造函数）的实例”。

再从instanceof操作符的原理上看，深入可参见这篇文章JavaScript instanceof 运算符深入剖析，可以了解到其本质含义是：“沿着原型链来查找是否包含指定构造函数（引用类型）的原型对象”，而构造函数到原型对象的单向引用还是保持的。

综上，instance instanceof SubType返回true就不难理解了。