用自己的方式（图）理解constructor、prototype、__proto__和原型链

② 可以通过对象.constructor拿到创建该实例对象的构造函数。

console.log(person1.constructor) // 结果输出: [Function: Person]

③ Function函数和Object函数是JS内置对象，也叫内部类，JS自己封装好的类，所以很多莫名其妙、意想不到的设定其实无需过分纠结，官方动作，神仙操作。

④ 原型对象即实例对象自己构造函数内的prototype对象。

一、先理解为什么“函数即对象”

先看以下代码：

function Person() {...}
console.log(Person.constructor) // 输出结果:[Function: Function]
// 上面是普通函数声明方法，生成具名函数，在声明时就已经生成对象模型。
console.log(Function.constructor) // 输出结果:[Function: Function]
console.log(Object.constructor) // 输出结果:[Function: Function]

上面的代码构造了一个Person函数，我们能看出那些信息？

1. Person虽被声明为一个函数，但它同样可以通过Person.constructor输出内容。输出内容说明Function函数是Person函数[普通声明的函数]的构造函数。
2. Function函数同时是自己的构造函数。
3. Function函数同样是Object这类内置对象的构造函数。

// 使用Function构造器创建Function对象
var Person = new Function('...')
// 几乎？因为这种方式生成的函数是匿名函数[anonymous]，并且只在真正调用时才生成对象模型。

在JS里，函数和对象包含关系如下：

总结：对象由函数创建，函数都是Function对象实例。

二、constructor其实很纯粹

先忽略__proto__和prototype，直接理解constructor，代码例子：

function Person() {}
var person1 = new Person()
var person2 = new Person()

下面一张图就画出了它们constructor的指向（忽略了__proto__和prototype）：

图中，蓝色底是Person的实例对象，而Person、Function是函数（也是对象）。

首先，我们已经知道每个对象都可以通过对象.constructor指向创建该对象的构造函数。我们先假设每个对象上都有这么个constructor属性，然后理解如下：

注意：constructor属性不一定是对象本身的属性，这里只为方便理解将其泛化成对象本身属性，所以用虚线框，第三大点细讲。

1. person1与person2是Person对象的实例，他们的constructor指向创建它们的构造函数，即Person函数；
2. Person是函数，但同时也是Function实例对象，它的constructor指向创建它的构造函数，即Function函数；
3. 至于Function函数，它是JS的内置对象，在第一点我们就已经知道它的构造函数是它自身，所以内部constructor属性指向自己。

所以constructor属性其实就是一个拿来保存自己构造函数引用的属性，没有其他特殊的地方。

在接下来的所有例子都将把Function对象视为Function对象自己的实例对象，通过去掉它的特殊性来更好理解相关概念。

三、prototype是为何而出现

上一步理解是很容易的，然后这时要求你去给Person的两个实例对象加上一个效果相同的方法，你写了以下代码：

// 下面是给person1和person2实例添加了同一个效果的方法sayHello
person1.sayHello = function() {
    console.log('Hello!')
}
person2.sayHello = function() {
    console.log('Hello!')
}
console.log(person1.sayHello === person2.sayHello) // false，它们不是同一个方法，各自占有内存

图示如下：

当你去对比这两个方法的时候，你会发现它们只是效果相同、名字相同，本质上却是各自都占用了部分内存的不同方法。这时候就出问题了，如果这时候有千千万万个实例（夸张）要这样效果同样的方法，那内存岂不是要炸。这时，prototype就出现解决问题了。

当需要为大量实例添加相同效果的方法时，可以将它们存放在prototype对象中，并将该prototype对象放在这些实例的构造函数上，达到共享、公用的效果。代码如下：

Person.prototype.sayHello = function() {
    console.log('Hello!')
}
console.log(person1.sayHello === person2.sayHello) // true，同一个方法

图示如下：

而之所以这种形式可以减少内存的浪费，是由于无需再拿出部分内存为同一类的实例单纯创建相关同一效果的属性或方法，而可以直接去构造函数的prototype对象上找并调用。

总结：prototype对象用于放某同一类型实例的共享属性和方法，实质上是为了内存着想。

讲到这里，你需要知道的是，所有函数本身是Function函数的实例对象，所以Function函数中同样会有一个prototype对象放它自己实例对象的共享属性和方法。所以上面的图示是不完整的，应改成下图：

其实里面的sayHello也是个函数，也有自己的prototype，但不画出来了，免得头疼。

注意：接下来的用【原型对象】表示【创建自己的构造函数内部的prototype】！

四、真正的constructor属性藏在哪

看到上面，有些小伙伴就头疼了，你说的constructor属性为什么我就没在console出来的对象数据中看到呢？

思考个问题：new Person( )出来的千千万万个实例中如果都有constructor属性，并且都指向创建自己的构造函数，那岂不又出现了第三点的问题，它们都拥有一个效果相同但却都各自占用一部分内存的属性？

我相信你们懂我的意思了，constructor是完全可以被当成一个共享属性存放在原型对象中，作用也依然是指向自己的构造函数，而实际上也是这么处理的。对象的constructor属性就是被当做共享属性放在它们的原型对象中，即下图：

总结：默认constructor实际上是被当做共享属性放在它们的原型对象中。

这时候有人会拿个反例来问：如果是共享属性，那我将两个实例其中一个属性改了，为啥第二个实例没同步？如下面代码：

function Person() {}
var person1 = new Person()
var person2 = new Person()
console.log(person1.constructor) // [Function: Person]
console.log(person2.constructor) // [Function: Person]
person1.constructor = Function
console.log(person1.constructor) // [Function: Function]
console.log(person2.constructor) // [Function: Person] ！不是同步为[Function: Function]

这个是因为person1.constructor = Function改的并不是原型对象上的共享属性constructor，而是给实例person1加了一个constructor属性。如下：

console.log(person1) // 结果：Function { constructor: [Function: Function] }

你可以看到person1实例中多了constructor属性。它原型对象上的constructor是没有改的。

嗯。嗯？嗯？！搞事？！! 这下共享属性能理解了，但上面的图解明显会造成很大的问题，我们根本不能通过一个对象.constructor找回创建自己的构造函数（之间没有箭头链接）！

好的，不急，第四点只是告诉你为什么constructor要待在创建自己的构造函数prototype上。接下来是该__proto__属性亮相了。

五、__proto__让实例能找到自己的原型对象

带着第四点的疑问，我们如果要去解决这个问题，我们自然会想到在对象内部创建一个属性直接指向自己的原型对象，那就可以找到共享属性constructor了，也就是下面的关系：

1. 实例对象.__proto__ = 创建自己的构造函数内部的prototype（原型对象）
2. 实例对象.__proto__.constructor = 创建自己的构造函数

上面说的__proto__属性实际上也的确是这样的设置的，对象的__proto__属性就是指向自己的原型对象。这里要注意，因为JS内所有函数都是Function函数的实例对象，所以Person函数也有个__proto__属性指向自己的原型对象，即Function函数的prototype。至于Function函数为何有个__proto__属性指向自己（蓝色箭头）也不用解释了吧，它拿自身作为自己的构造函数，反正就是个特例，不讲道理。

疑惑来了：实例对象.constructor 等于 实例对象.__proto__.constructor？

这个就是JS内部的操作了，当在一个实例对象上找不到某个属性时，JS就会去它的原型对象上找是否有相关的共享属性或方法，所以上面的例子中，person1对象内部虽然没有自己的constructor属性，但它的原型对象上有，所以能实现我们上面提到的效果。当然后面还涉及原型链，你只要知道上面一句话能暂时回答这个问题就好。

的确，它也是个对象，也的确有个__proto__指向自己的原型对象。那我们尝试用代码找出它的构造函数，如下：

function Person() {}
console.log(Person.prototype.__proto__.constructor) // [Function: Object]

因为__proto__指向原型对象，原型对象中的constructor又指向构造函数，所以Person.prototype.__proto__.constructor指向的就是Person中prototype对象的构造函数，上面的输出结果说明了prototype的构造函数就是Object函数（对象）。

总结：这么说的话其实函数内的prototype也不过是个普通的对象，并且默认也都是Object对象的实例。

下面一张图就画出了文章例子中所有__proto__指向，我们试试从中找出它的猫腻。

猫腻一、所有函数的__proto__指向他们的原型对象，即Function函数的prototype对象

function GrandFather() {
    this.name = 'GrandFather'
}
function Father() {
    this.age = 32
}
Father.prototype = new GrandFather() // Father函数改变自己的prototype指向
function Son() {}
Son.prototype = new Father() // Son函数改变自己的prototype指向

var son = new Son()
console.log(son.name) // 结果输出：GrandFather
console.log(son.age)  // 结果输出：32
console.log(Son.prototype.constructor) // 结果输出：[Function: GrandFather]

相关指向图如下：