Javascript new关键字的玄机 以及其它

  (接上)先看张对老手不新鲜但对菜鸟很有趣的图:

      

Javascript new关键字的玄机 以及其它

  

  What the heck is that? 简直是luan lun。

  new

  抛开上面的图,先看看上篇文章留下的第二个问题,让我们在构造器的函数体内加点东西,看会发生什么。

function A(){this.p = 1}

  var a = new A()

  会得到如下结果:

    

Javascript new关键字的玄机 以及其它

  为什么用new关键字构造出来的a,会获得p这个属性?new A()这行代码做了什么事情?根据上篇文章中Function的创建过程第4步,A这个对象会有一个Construct属性(注意不是constructor,Consturct是ECMAScript标准里的属性,好像对外不可见),该属性的值是个函数,new A()即会调用A的这个Construct函数。那么这个Construct函数会做些啥呢?

  1, 创建一个object,假设叫x。

  2, 如果A.prototype是个object(一般都是),则把A.prototype赋给x.__proto__;否则(不常见),请大老板Object出马,把Object.prototype赋给x.__proto__。

  3, 调用A.call(x),第一个参数传入我们刚刚创建的x。这就妥了,A的函数体里this.p = 1,这个this,就成了x。因此x就有了p这个属性,并且x.p = 1。

  4, 一般情况下,就返回x了,这时a就是x了。但也有特殊情况,如果A的函数体里返回的东西,它的类型(typeof)是个object。那么a就不是指向x了,而是指向A函数返回的东西。

  伪代码如下:

var x = new Object(); //事实上不一定用new来创建,我也不清楚。

  x.__proto__ = A.prototype

  var result = A.call(x)

  if (typeof(result) == "object"){

  return result;

  }

  return x;

  

  在我们的例子里,A函数返回undefined(因为没有return字眼),所以a就是x。但我们举个例子,验证下上面第4步里的特殊情况:

    

Javascript new关键字的玄机 以及其它

  果然。

  对象的constructor属性

  再看看上篇文章留下的第一个问题

function Base(){}

  Base.prototype.a = 1

  var base = new Base();

  function Derived(){}

  Derived.prototype = base;

  var d = new Derived()

  执行完上面的代码,mybase.constructor很容易猜到是Base,那么d.constructor呢?是Derived吗?

     

Javascript new关键字的玄机 以及其它

  不对,也是Base,怎么回事?很简单,复习下上篇的内容就知道:由于d本身没有constructor属性,所以会到d.__proto__上去找,d.__proto__就是Derived.prototype,也就是base这个对象,base也没constructor属性,于是再往上,到base.__proto__上找,也就是Base.prototype。它是有constructor属性的,就是Base本身。事实上,就我目前所知,只有构造器(function类型的object)的prototype,才真正自己拥有constructor属性的对象,且“构造器.prototype.constructor === 构造器”。

  Instanceof

  那么,instanceof怎么样?

    

Javascript new关键字的玄机 以及其它

  从图中可以看出,d是Base、Derived和Object的实例。很合理,但这是怎么判断的呢?是这样的:对于x instanceof constructor的表达式,如果constructor.prototype在x的原型(__proto__)链里,那么就返回true。很显然,d的__proto__链往上依次是:Derived.prototype, Base.prototype, Object.prototype,得到图中结果就毫无疑问了。所以,instanceof跟对象的constructor属性无关。

  Function and Object

  最后解答一下文章开头的图。

  Function和Object本身也是function类型的对象,因此可以说都是Function()构造出来的东西(自己构造自己,我不知道具体是不是这样,但就这么认为,挺合理的。)

  也就是说,可以设想如下代码:

var Function = new Function()

  var Object = new Function()

  根据上篇文章的规律,会有Function.__proto__ === Function.prototype,以及Object.__proto__ === Function.prototype,验证一下:

    

Javascript new关键字的玄机 以及其它

  Function instanceof Object,这是显然为true的,万物归Object管,Function的__proto__链依次指向:Function.prototype,Object.prototype。

  Object instanceof Function,因为Function.prototype在Object的__proto__链中,所以也为true。