javascript instanceof 内部机制探析

  比如:

  

复制代码 代码如下:

  // 代码 1

  function Pig() {}

  var pig = new Pig();

  alert(pig instanceof Pig); // => true

  function FlyPig() {}

  FlyPig.prototype = new Pig();

  var flyPig = new FlyPig();

  alert(flyPig instanceof Pig); // => true

  来看另一段代码:

  

复制代码 代码如下:

  // 代码 2

  function Pig() { Pig.prototype = {/* some code */} }

  var pig = new Pig();

  alert(pig instanceof Pig); // => false

  为何上面的猪 pig 不再是猪 Pig 了呢?

  当一个对象是某个类的实例时,意味着这个对象具有该类的方法和属性。在 JavaScript 中,一个猪类的特性体现在原型中:

  

复制代码 代码如下:

  // 代码 3

  function Pig() {}

  Pig.prototype = {

  "吃猪食": function() {},

  "睡觉": function() {},

  "长膘": function() {}

  };

  var pig = new Pig();

  alert(pig instanceof Pig); //=> true

  如果动态改变了猪的特性,让猪变成了牛:

  

复制代码 代码如下:

  // 代码 4

  Pig.prototype = {

  "吃草": function() {},

  "犁田": function() {}

  };

  var niu= new Pig();

  alert(pig instanceof Pig); //=> false

  alert(niu instanceof Pig); //=> true

  当未改变 Pig 的 prototype 时,猪还是猪,因此代码 3 中 pig 是 Pig 的实例。当改变 prototype 后,猪已经不是猪,而是披着猪皮的牛了。因此代码 4 中 pig 不再是 Pig 的实例,niu 反而是 Pig 的实例。

  进一步分析前,先回顾一下 new 的内部机制。代码 2 中的 new Pig() 实际上等价为:

  

复制代码 代码如下:

  // var pig = new Pig() 的等价伪代码:

  var pig = (function() {

  var o = {};

  o.__proto__ = Pig.prototype; // line 2

  Pig.call(o);

  Pig.prototype = {/* some code */}; // line 4

  return o; // line 5

  })();

  可以看出,在 line 2 时,o.__proto__ 指向了 Pig.prototype 指向的值。但在 line 4 时,Pig.prototype 指向了新值。也就是说,在 line 5 返回时,pig.__proto__ !== Pig.prototype. 正是这个变化,导致了代码 2 中的 pig 不是 Pig.

  已经可以大胆推论出:instanceof 判断 pig 是不是 Pig 的依据是:看隐藏的 pig.__proto__ 属性是否等于 Pig.prototype !

  为了进一步确认,我们可以在 Firefox 下模拟 instanceof 的内部实现代码:

  

复制代码 代码如下:

  /**

  * Gecko 引擎下,模拟 instanceof

  */

  function _instanceof(obj, cls) {

  // instanceof 的左操作数必须是非null对象或函数对象

  if((typeof obj !== "object" || obj === null)

  && typeof obj !== "function") {

  return false;

  }

  // instanceof 的右操作数必须是函数对象

  if(typeof cls !== "function") {

  throw new Error("invalid instanceof operand (" + cls + ")");

  }

  // 向上回溯判断

  var p = obj.__proto__, cp = cls.prototype;

  while(p) {

  if(p === cp) return true;

  p = p.__proto__;

  }

  return false;

  }

  测试页面:simulate-intanceof.html

  最后考考大家:

  

复制代码 代码如下:

  function Bird() {}

  var bird = new Bird();

  var o = {};

  bird.__proto__ = o;

  Bird.prototype = o;

  alert(bird instanceof Bird); // true or false?