JavaScript 函数执行机制：作用域链与活动对象详解

JavaScript函数实例与内部属性[[Scope]]

在JavaScript中，每个函数本质上都是Function对象的一个实例。该实例包含一个名为[[Scope]]的内部属性，此属性仅供JavaScript引擎访问。[[Scope]]存储了一个作用域集合，该集合被称为“作用域链”。在这个集合中，保存着“可变对象”（VO）或“活动对象”（AO）。需要注意的是，AO与VO的主要区别在于AO额外包含了this和arguments属性。

当函数被创建时，其父级作用域的作用域链中的所有可变对象会被纳入当前函数的[[Scope]]中。如果父作用域为全局作用域，则当前函数的作用域链中仅包含一个全局对象。

函数执行环境栈与活动对象AO构建

当函数开始执行时，其执行环境会被压入一个环境栈中。

函数执行初期进入变量初始化阶段。此阶段需确定函数内部的this值、函数参数、函数声明、变量声明以及arguments对象。基于这些值构建当前函数的活动对象（AO），随后将AO对象置于当前函数作用域链的首位。

活动对象AO的填充优先级规则

需注意，AO的填充遵循特定顺序：

作用域链中的变量查找机制

1. 函数参数（若传递参数则赋值，未传递则初始化为undefined），优先级为第二。 2. 函数声明（若发生命名冲突，函数声明会覆盖参数），优先级最高。 3. 变量声明（变量初始化为undefined，若发生命名冲突则忽略），优先级为第三。 随后进入函数执行阶段。在此阶段，当前函数中使用的变量和函数声明将从当前函数的[[Scope]]作用域链中进行查找。查找顺序首先针对当前函数的AO对象，若未找到则向上层对象查找，直至全局对象。若全程未找到，则抛出变量未定义的错误。

以上即为JavaScript函数执行过程的完整解析，旨在为读者提供参考。