深入解析JavaScript函数对象的创建机制与内部属性

函数对象的基本概念

函数对象

首先需要明确一个核心概念：在JavaScript中，函数本质上是一种对象，而代表函数的实体即为函数对象。既然函数属于对象范畴，那么它是由什么构造出来的呢？观察JavaScript代码，无论是通过常规方式定义函数，还是调用Function构造函数来创建函数，底层最终都会以类似 `var newFun = Function(funArgs, funBody);` 的形式调用Function函数。由此可见，所有的函数对象实际上都是由Function这个特殊的函数对象构造生成的。

需要注意的是，Function对象本身也是一个函数，因此它同时也具备函数对象的属性。关于Function对象的更深入特性，将在后续文章中展开讨论。

接下来通过一段代码示例进行直观展示：

 
//定义方式一
function func(x) {
alert(x);
} 
//定义方式二
var func = function(x) {
alert(x);
}; 
//实际执行
var func = new Function(“x”, “alert(x);”);

通过上述代码对比可以得出结论：函数func本质上是由Function对象接收参数后构造生成的实例。

注：关于定义方式一与定义方式二的具体区别，请见后续博文

函数对象的内部创建步骤

函数对象的创建过程

函数对象的详细创建步骤如下：

1. 创建一个内置对象（build-in object）fn

2. 将fn的内部[[Prototype]]属性设置为Function.prototype

3. 设置内部的[[Call]]属性，这是一个内部实现的方法，用于处理函数调用的逻辑（可简单理解为执行函数体）。

4. 设置内部的[[Construct]]属性，这也是一个内部实现的方法，其处理逻辑参考对象的创建过程（可简单理解为创建对象，详见《理解Javascript_06_理解对象的创建过程》一文）。

5. 将fn.length属性设置为funArgs.length；如果函数没有参数，则将fn.length设置为0。

6. 使用与 `new Object()` 相同的逻辑创建一个Object对象fnProto。

7. 将fnProto.constructor属性设置为fn。

8. 将fn.prototype属性设置为fnProto。

9. 返回fn。

步骤1与步骤6的区别在于：步骤1仅创建用于实现Object对象的数据结构（build-in object structure），并完成内部必要的初始化工作。此时，其[[Prototype]]、[[Call]]、[[Construct]]等属性应为null或内部初始值，即不指向任何具体对象（针对[[Prototype]]这类属性）或不包含任何处理逻辑（针对[[Call]]、[[Construct]]这类方法）。而步骤6则按照《理解Javascript_06_理解对象的创建过程》中的逻辑创建一个新的对象，其[[Prototype]]等属性已被正确设置。

从上述处理步骤可以了解到，任何时候定义一个函数，其prototype属性实际上是一个Object实例。因此，在默认情况下，当我们创建自定义函数的实例对象时，它们的原型链（Prototype chain）将指向Object.prototype。

注：Function的一个特殊之处在于，它的[[Call]]和[[Construct]]处理逻辑是相同的。深层次的原因将在后续博文中介绍。

函数对象创建的理论验证

下面我们编写一些用例脚本来测试上述理论：

 
function Animal(){
} 
alert(Animal.length);//0
var dog = new Animal();

这段JS代码证明了步骤5的正确性。最后，来看一下函数对象的内存图，为简化起见，内存图仅描述了Animal函数的构造过程：

来自于一个整体的分析图：

图片本身已经能解释很多很多的问题了，结合前面instanceof原理，对象构造原理，原型链原理，自已去体会吧，我就不多说什么了。

其实上Function对象是一个很奇妙的对象，它与Object的关系更是扑朔迷离,我将在《理解Javascript_09_Function与Object》中解释这一切。

最后的声明：理论过于复杂，我不改保证其正确性。但经过多方的测试，还未发现理论与实际冲突的地方。