本文共 1109 字，大约阅读时间需要 3 分钟。

JavaScript是一种优秀的脚本语言，既具备脚本语言的灵活性，又拥有许多高级语言的特性。其中一个重要的特性是对象的构建与实例化，以及垃圾回收机制(GC: Garbage Collection)。我们通过new操作符创建对象，而垃圾回收机制负责回收这些对象占用的内存区域。深入了解GC，不仅有助于更好地掌握JavaScript的垃圾回收机制，还能提升我们对内存管理的理解。

在内存回收过程中，GC的核心任务是判断对象是否仍被其他对象引用。如果GC确定一个对象没有被其他对象引用，它就会释放该对象占用的内存区域。因此，如何准确判断一个对象是否还被引用，是GC工作的关键所在。

为了更直观地理解这个过程，我们可以通过以下代码示例来分析：

在上述代码中，执行cc()函数后，a1被回收了。然而，当我们通过b1.rr弹出文字窗口时，依然能看到"弹窗"，这说明b1并未被GC回收。很多基础书籍可能会这样解释：a1是局部变量，b1是全局变量。局部变量在函数执行完毕后会被GC回收。但实际上，并非所有局部变量都能被回收。

接下来，我们来分析一下为什么会出现这种情况。为了更好地理解这个问题，我们需要了解一些核心概念：双向链表、作用域链和活动对象。

双向链表描述了复杂对象在内存中的上下层级关系。作用域链则是双向链表中的一个节点，它表示变量在内存中的引用关系。活动对象是作用域链中的一个节点，它表示当前执行环境中变量的管理者。

以cc()函数为例，变量的引用关系可以表示为：

window -> cc -> a1 -> rr       -> b1 -> rr

在执行cc()函数时，内存中的变量引用关系如上图所示。文字解释如下：

• cc的活动对象包括a1和b1，其作用域链是window。
• a1的活动对象包括rr，其作用域链是cc。
• b1的活动对象包括rr，其作用域链是cc。

当cc()函数执行完毕后，执行环境会尝试回收活动对象占用的内存。然而，由于b1被cc()函数的返回语句返回给了window作用域链（window -> b1 -> rr），因此GC无法回收b1。要使局部变量或函数被提升为全局变量，只需为其增加一条作用域链即可。

此外，控制好对象的作用域链同样至关重要。一个不经意的作用域链可能导致GC无法回收目标对象。例如：

在上述代码中，cat1的活动对象包括zhangsan，作用域链是window。由于cat1.getZhuRen()返回了一个引用，zhangsan不会被回收。这种设计虽然方便了我们对对象的操作，但也增加了内存占用的风险。因此，在实际开发中，我们需要谨慎管理对象的生命周期，避免不必要的内存泄漏。