JS中的原型链与继承

原型链的类比

JS中原型链，本质上就是对象之间的关系，通过protoype和[[Prototype]]属性建立起来的连接。这种链条是动态的，可以随时变更。

这个就跟C/C++中通过指针建立的关系很相似，比如，通过指针建立一个链表，一个个地址就是通过指针串连起来，产生关系。指针指向变化，就是决定了链表的形态。

JS中原型链最大的作用就是模拟继承，达到代码复用的目的。

MDN上的这篇文章对JS中原型链和继承介绍的很详细

https://developer.mozilla.org/zh-CN/docs/Web/JavaScript/Inheritance_and_the_prototype_chain

但是读起来比较枯燥，尝试将总结下，加强理解。

原型链

对像与函数拥有的原型属性不同

尽管JS一切皆对象，但还是可以把对象细分下：

普通对象，包括自定义对象和内建对象(非new操作符创建的对象)。
new操作符创建的对象。
函数。

为什么这么分，因为它们所拥有的原型的属性有所不同。

如下代码，定义一个函数Person，用它创建一个对象person

javascript 复制代码

function Person() {}

let person = new Person();

函数Person和对象person它们所包含的原型属性不同。

函数Person

函数Person中包含prototype和[[Prototype]](__prototype__)属性，普通函数也是如此。

对象person

对象person中只包含[[Prototype]](__prototype__)属性，普通对象也是如此。

每个函数都一个prototype和[[Prototype]](__prototype__)属性，对象没有prototype，只有[[Prototype]](__prototype__)属性。

原型链的产生

通过new操作符，使对象和函数间产生了连接。这条链接就是原型链 ，它们通过原型属性 prototype和[[Prototype]]的指向产生链接。

上面的代码中，函数Person和对象person通过new操作符产生了链接，如下关系图：

person的__proto__属性指向了Person的prototype属性所指的对象，这个对象就是Person的原型对象。

javascript 复制代码

console.log(person.__proto__ == Person.prototype) //打印true

Person的原型对象(属性prototype的指向)是Person prototype，它也只有__proto__属性，它指向了Object的原型对象(属性prototype的指向)Object prototype。

javascript 复制代码

console.log(Person.prototype.__proto__ == Object.prototype) //打印true

Person属性__proto__指向Function的原型对象(属性prototype的指向)Function prototype。

javascript 复制代码

console.log(Person.__proto__ == Function.prototype) //打印true

Object对象的原型对象(属性prototype的指向)的__proto__对象指向null。

对象的constructor属性

每个对象中都有constructor属性，表示由谁创建。普通对象的constructor属性指向Object。

由new操作符创建的对象，constructor属性指向new操作符调用的函数，称为对象的构造函数。

可以看看上面的图，画出了constructor属性的指向。

继承

原型链将各个对象链接在一起，但试图访问对象的属性时，不仅在该对象上查找属性，还会在该对象的原型上查找属性，以及原型的原型，依此类推，直到找个一个名字匹配的属性或到达原型链的末尾。这就很像，在链表中查找值，一个一个的节点查找，直到末尾。

如下代码，通过原型建立继承:

javascript 复制代码

// 构造函数
function Box(value) {
  this.value = value;
}

// 使用 Box() 构造函数创建的所有盒子都将具有的属性
Box.prototype.getValue = function () {
  return this.value;
};

const boxes = [new Box(1), new Box(2), new Box(3)];

这种写法也很像为指针赋值，Box.prototype.getVale() = ... ，改变Box原型对象的内容，以达到代码复用的目的。

对我这样c++的程序员来说，这种形式的继承实现，感觉非常奇怪。它也叫继承，但是与java,c++中继承大相径庭，在c++中继承是语法层面，静态特性。

JS这种实现，以我C++的角度看来更像是"链表"模拟继承。它的原型属性的指向可以随时变更，constructor属性也可以随时变更。也就是原来的继承体系，可以任意更改。

这样的方式，只能说是写代码的约定(约定通过原型实现继承)，而不像c++中是语法层面的强约束。

在es6中继承的写法得到了改观，虽然只是个语法糖，本质没变，但是在写代码层，让人更容易理解，如下代码也是实现继承:

javascript 复制代码

class Base {}
class Derived extends Base {}

const obj = new Derived();
// obj ---> Derived.prototype ---> Base.prototype ---> Object.prototype ---> null

Derived继承Base，写法上不再去显示操作原型属性，这样也增强了约定的约束力。