JavaScript 闭包原理与执行机制详解

正文

闭包的核心概念

闭包的核心概念：

闭包是指一个包含众多变量以及绑定这些变量环境的表达式（通常表现为函数），使得这些变量成为该表达式不可分割的一部分。

闭包的典型应用场景

闭包的典型应用场景：

 
function a() {
var i=0;
return function(){
alert(i++);
} 
} 
var b=a();
for(var i=0;i<3;i++){
b();
} 

函数执行与垃圾回收机制

在解析上述代码之前，需要先理解函数的创建与执行流程。

第一步：定义函数时，系统会建立环境并创建作用域链（scope chain）。由于a被定义为全局变量，因此a的作用域链中仅包含window对象。

第二步：执行函数a时，首先创建作用域（a.scope=a），随后创建活动对象（callObject），并将该对象置于a的作用域链顶端。此时，a的作用域链中包含两个对象：a和window。

第三步：在活动对象上添加arguments属性，用于保存调用a时传入的参数值。

第四步：将形参和内部变量赋值到活动对象a上。

JavaScript垃圾回收（GC）机制：若一个对象不再被任何引用指向，它将被GC回收。即使两个对象互相引用且无其他外部引用，它们也会被回收。

总结分析：

1、在定义函数a时，系统创建了a的作用域链（scope chain）。

2、当执行语句（var b=a())调用a时，创建了作用域a.scope=a，并生成callObject对象加入a的作用域中。

3、a对象上添加了arguments属性，并将变量i和返回的函数赋值给活动对象。

4、执行a时将b指向了a的return函数值。由于b中引用了a中的局部变量i，这不符合GC的回收标准，因此活动对象a未被回收。这意味着b访问i时，访问的是首次创建的对象，且该变量仅在b的作用域内可被访问。