不啰嗦,画图有个直观的印象。
吐槽:众说纷纭。
写几个要点:
prototype属性是构造函数才有的。
[[Prototype]]属性是所有对象都有的。(构造函数是Function的实例对象)
constructor属性是原型对象才有的。(这个真说法不同,以红宝书为准,chrome打印也印证了)
__proto__是定义在原型对象上的访问器属性!(需要提前知道构造器属性)
原型是一种对象和对象之间的关系,如A对象是B对象的原型。
字面量生成的对象,如let a={},a的[[prototype]]指向Object相关的原型对象。经常的,我们通过:类名.prototype={ ... } 生成的原型对象属于字面量定义形式。
一、图解原型,原型链和__proto__
如图1,__proto__属性实际上是定义在原型对象上的构造器属性,当调用 x_obj.__proto__ 时,实际调用的是它原型对象的访问器属性__proto__中的get方法,再通过规范调用Object.getPrototypeOf(this)返回 x_obj 的原型对象。
最后Object相关的原型对象的[[prototype]]指向NULL,作为原型链的终止。
绿色的箭头组成的就是原型链。
自己敲代码打印证明一下:
利用Object.definePrototype()方法在Person.prototype指向的原型对象中定义__proto__属性(将原型对象中原有的__proto__属性覆盖),然后通过实例对象 p 调用__proto__属性,可以根据打印出来的结果确定:实例对象所调用的__proto__是定义在原型对象上的。
二、利用原型实现继承
先看两个类的图示:老朋友 X 和新来的 A1、让X的prototype指向一个A的实例对象
X.prototype = new A();
X.prototype.constructor = X;
对比图三可以看到,通过构造函数A new 出来的实例对象 a_obj 的原型的constructor属性是指向A的构造函数的(这句话好绕,但是看图就很清楚)。
所以图四中,若将A的一个实例对象 a_obj 作为 X构造的实例对象的原型,必须在 a_obj 对象中添加一个 constructor属性,让它指向 X 构造函数,以覆盖 a_obj 的原型中的constructor。找一个属性会先查找该对象本身,找不到才会顺着原型链去找, x_obj 的原型链包括A实例对象的原型,也就实现了继承。(看图的绿色线路)
2、让X的prototype指向一个A相关的原型对象
X.prototype = A.prototype;
其实就是所有X的实例对象,所有A的实例对象,共享一个原型对象。
三、不同写法有区别
写法一
X.prototype.属性名=值;
X.prototype已经先为我们分配一个对象了,并且为我们在这个原型对象中加入了constructor属性。
写法二
X.prototype ={
属性名:值
};
这种写法相当于给构造函数的prototype属性重新指定一个原型对象,这个我们自己定义的原型对象是没有constructor属性的。
用Object.getOwnPropertyNames()方法打印原型对象的所有属性(不包括符号),看对比:
如有必要,constructor需要自己指定,同时注意constructor是不可枚举的属性。
Object.defineProperty(X.prototype,'constructor',{
enumerable:false,
value:X
});
另外,
实例对象的[[prototype]]是在创建实例时,由构造函数的prototype属性指定的。
如果在创建实例对象后,给构造函数重新指定原型对象,以前创建的实例对象的[[prototype]]还是指向旧的原型对象。这点要特别注意。
反复推翻好几次笔记,目前认为这是最可靠的。
下次画Function和Object。