JavaScript作用域链机制详解：定义时与运行时差异

JavaScript作用域链的基本构成

JavaScript函数的作用域链机制包含两个关键阶段：定义时作用域链和运行时作用域链。

当函数被定义时，其内部会生成一个名为[[scope]]的属性，用于记录该函数的定义作用域链。根据规则，一个函数的定义时作用域链[[scope]总是指向其所在外部函数的执行时作用域链。

对于全局函数而言，其定义作用域链仅包含全局对象window的属性。

在函数执行阶段，系统会在定义时作用域链的头部压入当前活动对象。该活动对象包含this指针、arguments参数、函数参数以及局部变量。

函数执行期间进行变量寻址时，总是从作用域链的顶端开始向下查找。因此，全局变量的查找路径最长，寻址速度相对最慢。

当内部函数被执行时，它依然能够访问完整的作用域链。这正是闭包机制的核心：内部函数可以在运行时访问已经结束的外部函数定义的变量。

函数执行过程中若遇到with语句，系统会临时将with指定对象的所有属性压入作用域链的顶端，使其成为作用域链的最顶层部分。

同理，当函数执行遇到catch语句时，系统会临时将catch指定的错误对象压入作用域链的顶端，作为当前作用域链的最顶层。

作用域链示例与闭包分析

为了加深理解，下面提供一个具体示例并绘制对应的作用域链图。

参考以下代码片段：

function assignEvents(){
var id = "xdi9592";
document.getElementById("save-btn").onclick = function(event){
saveDocument(id);
    };
}

将上述代码产生的匿名闭包称为Closure，下图展示了assignEvents执行时的作用域链以及Closure的定义时作用域链：