写给自己的Object和Function的3个灵魂拷问

最近在研究函数和原型链这块内容时，我遇到了不少疑惑，对自己而言，这些疑惑可以算得上是灵魂拷问吧。在一步步探究和查证的过程中，我也许理解了一部分，也许还是什么都没懂吧，以文记之，只求能收获二三分。不知这里面有没有你遇到的疑惑呢？一起来看下吧！

Object和Function谁是谁的实例

Object instanceof Function

instanceof检查的是右操作数的prototype属性是否在左操作数的原型链上。

首先Object是一个对象类型的构造函数，而函数的构造函数是谁，当然是函数的鼻祖Function。所以Object是Function的实例这一点还是比较容易理解的。

1 2	Object.__proto__ === Function.prototype; // true

其实通过下面的代码也可以侧面证明Object是Function的实例。

1 2	Object.constructor === Function; // true

Function instanceof Object

Function反过来又是Object的实例，这又该如何理解呢？我们知道，除去null这种情况，原型链的顶端是Object.prototype，这一定程度上说明了javascript中所有的引用类型都是由Object.prototype构造而来。

按照我们一般的思路来看，实例的原型可以通过构造函数的prototype属性来访问。那么这里的实例主角是谁？没错，是Function，那么Function有构造函数吗？显然，在我们认知的javascript中，Function本身就是函数的构造器，自然是没有Function的构造函数的，有的话，那也是V8引擎干的事了吧。

那么没有构造函数就不配有原型了吗？答案是否定的。还记得我在「思维导图学前端」6k字一文搞懂Javascript对象，原型，继承中提到的Object.create()方法吗？通过Object.create()可以直接创建一个新对象，并可以指定现有的对象作为这个新对象的原型，此过程并没有构造函数参与进来。你想啊，连ES5暴露给我们的API都能这么做，那么在实现V8等js引擎的过程当然也可以这么做。

所以，Function也有原型，也就是Function.__proto__。那么Function.__proto__到底指向哪里？我们可以从下面这个语句中发现端倪。

1 2	Function.__proto__ === Function.prototype; // true

上面的表达式的结果是true。震惊，Function.__proto__竟然是Function.prototype！

而Function.prototype的原型就是Object.prototype。这一点可以从下面的语句中得到验证！

1 2	Function.prototype.__proto__ === Object.prototype; // true

由于从Function到Object.prototype存在这样一段原型链关系，所以Function instanceof Object也是成立的。

原型链

Object instanceof Object

从上面我们已经知道Object instanceof Function和Function instanceof Object都是成立的。根据这些已知结果，我们很容易推断出Object instanceof Object也是成立的。这是因为Object是Function的实例，Function是Object的实例，显然Object也是Object的实例。

1	Object instanceof Object; // true

Function instanceof Function

有了以上的推论过程，我们自然也能理解Function instanceof Function是成立的。

Function.prototype是一个函数？

Function.prototype;
// ƒ () { [native code] }

// 以下代码可以正常执行
Function.prototype();

Function.prototype()可以执行，不会报错，说明Function.prototype真的是一个函数。

1	typeof Function.prototype; // "function"

还有个有意思的地方，就是：

1 2	Function.prototype.constructor === Function; // true

666，Function的原型指向Function.prototype，而Function.prototype的构造器反过来又是Function，有内味了！

回头想了一下，这是原型三角关系，思考这部分的时候有点被绕进去了，小题大做了。

Function和Object鸡生蛋蛋生鸡？

有了上面这些复杂的关系，我们不免要问问自己，到底是先有Object还是Function？

我也尝试从V8源码去找一些线索，但是恕我太菜，学校教的C++基本忘光了，从源码中完全找不到思路。V8的官方文档也没有说这些东西（可能是我没找到吧）。

于是我找了一些分析这个问题的文章，大概有了一些认知。重要的事情说三遍：

只是认知，不是答案！

毕竟我也没找到直接甩V8源码进行分析的文章，如果有大佬知道这方面资源，还望分享一下链接，感谢！

OK，总体的认知是这样的，加了一些我的理解在里面，希望对你有所帮助！

V8先构造了Object的原型[[Prototype]]，简称OP，初始化其内部属性，但不包括其行为。这里有必要猜想一下，这里说的“内部属性”应该是OP在V8引擎中的属性，因为我看Object.prototype基本上是没有属性的，只有方法。而行为，则代表方法。
基于OP构造了Function的原型[[Prototype]]，简称FP，初始化其内部属性，但不包括其行为。
将FP的原型[[Prototype]]指向OP。
创建各种内置引用类型如Object, Function, Array, Date等。
将各个内置引用类型的[[Prototype]]指向FP。
将Function的prototype属性指向FP。
将Object的prototype属性指向OP。
用Function实例化OP，FP，Object的行为并挂载。这里别看错了，是实例化行为，也就是把OP，FP，Object的方法创建好，然后挂载到相应对象上。
用Object实例化除了Object及Function之外的其他内置引用类型的prototype属性对象。除了之外这四个字是一个要关注的重点，另一个重点就是要理解prototype是一个对象，所以用Object实例化。
用Function实例化除了Object及Function之外的其他内置引用类型的prototype属性对象的行为并挂载。我们知道，prototype是一个对象，在上一步被创建了，prototype对象下会有很多方法，比如数组的push()方法，就是在这个时候被创建的。而方法当然是用Function实例化。
实例化内置对象Math以及Global对象。