JS-画图理解原型、原型链和原型实现的继承

不啰嗦，画图有个直观的印象。
吐槽：众说纷纭。

写几个要点：

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，作为原型链的终止。

绿色的箭头组成的就是原型链。

1

自己敲代码打印证明一下：

2

利用Object.definePrototype()方法在Person.prototype指向的原型对象中定义__proto__属性（将原型对象中原有的__proto__属性覆盖），然后通过实例对象 p 调用__proto__属性，可以根据打印出来的结果确定：实例对象所调用的__proto__是定义在原型对象上的。

---

二、利用原型实现继承

先看两个类的图示：老朋友 X 和新来的 A

3

1、让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实例对象的原型，也就实现了继承。（看图的绿色线路）

4

2、让X的prototype指向一个A相关的原型对象

X.prototype = A.prototype;

其实就是所有X的实例对象，所有A的实例对象，共享一个原型对象。

一看就明白这个方法很不好，任何一方修改原型对象的内容，另一方都会被影响。而且原型的constructor属性只指向A！

5

---

三、不同写法有区别

写法一

X.prototype.属性名=值;

X.prototype已经先为我们分配一个对象了，并且为我们在这个原型对象中加入了constructor属性。

写法二

X.prototype ={
    属性名：值
}；

这种写法相当于给构造函数的prototype属性重新指定一个原型对象，这个我们自己定义的原型对象是没有constructor属性的。

用Object.getOwnPropertyNames()方法打印原型对象的所有属性(不包括符号)，看对比：

6

如有必要，constructor需要自己指定，同时注意constructor是不可枚举的属性。

Object.defineProperty(X.prototype,'constructor',{
        enumerable:false,
        value:X
});

另外，
实例对象的[[prototype]]是在创建实例时，由构造函数的prototype属性指定的。

如果在创建实例对象后，给构造函数重新指定原型对象，以前创建的实例对象的[[prototype]]还是指向旧的原型对象。这点要特别注意。

7

---

反复推翻好几次笔记，目前认为这是最可靠的。
下次画Function和Object。