JavaScript垃圾收集机制原理与内存管理详解

JavaScript垃圾收集机制概述

前言

JavaScript内置了自动垃圾收集机制，执行环境负责管理代码运行时的内存分配。开发者无需手动干预内存使用，系统会自动完成内存分配与无用内存的回收。下文将深入剖析这一机制的具体实现。

垃圾收集核心原理

核心原理

垃圾收集的核心逻辑在于识别并释放不再使用的变量所占用的内存。垃圾收集器会按照固定的时间间隔，或在代码执行预定的收集时刻，周期性执行这一清理操作。

局部变量的生命周期仅限于函数执行期间。在栈或堆内存中，系统为局部变量分配空间以存储值。函数执行结束后，这些变量便失去存在意义，其内存可被释放供后续使用。判断局部变量是否需回收相对简单，但全局或复杂场景下的变量管理则更为复杂。

垃圾收集器需追踪变量的使用状态，区分有用与无用变量。对于不再被引用的变量，系统会打上标记以便后续回收。标识无用变量的主要策略包括标记清除（Mark-and-Sweep）和引用计数（Reference Counting）。

标记清除算法详解

标记清除算法

JavaScript中最主流的垃圾收集方式是标记清除。当变量进入执行环境（如在函数内声明）时，系统将其标记为“进入环境”。从逻辑上看，只要执行流处于该环境内，变量就可能被使用，因此不能释放其内存。当变量离开执行环境时，系统将其标记为“离开环境”。

标记方式可以灵活选择，例如通过翻转特定位或使用独立的“进入”与“离开”列表来跟踪变量状态。关键在于策略的有效性，而非具体的标记实现手段。

垃圾收集器运行时，首先为内存中所有变量加上标记。随后，移除当前环境中的变量及其引用链上变量的标记。剩余仍带有标记的变量被视为可删除对象，因为环境已无法访问它们。最后，垃圾收集器销毁这些带标记的值并回收内存空间。

大多数现代浏览器均采用标记清除策略，仅在触发收集的具体时机上存在差异。

引用计数策略与循环引用

引用计数策略

另一种较少见的垃圾收集策略是引用计数。

引用计数通过跟踪每个值被引用的次数来工作。当声明变量并赋值引用类型时，引用次数为1；若同一值赋给另一变量，引用次数加1；若原变量指向其他值，引用次数减1。当引用次数降为0时，表示无法再访问该值，系统可回收其内存。下次垃圾收集器运行时，将释放这些引用次数为0的值所占空间。

Netscape Navigator 3.0是最早采用引用计数的浏览器，但很快遭遇严重问题：循环引用。例如，对象A包含指向对象B的指针，同时对象B也包含指向对象A的指针。

function problem(){
 var objectA = new Object();
 var objectB = new Object();
 objectA.someOtherObject = objectB;
 objectB.anotherObject = objectA;
}

在此场景中，objectA与objectB通过属性相互引用，导致两者的引用次数均为2。在标记清除策略中，函数执行完毕后对象离开作用域，相互引用并非问题。但在引用计数策略下，即使函数执行完毕，由于引用次数永远不为0，objectA和objectB将一直驻留内存。若该函数被多次调用，将导致大量内存无法回收。

IE浏览器中部分对象并非原生JavaScript对象，如BOM和DOM对象以C++实现的COM（组件对象模型）形式存在，其垃圾回收机制采用引用计数。因此，即使IE的JavaScript引擎使用标记清除策略，通过JavaScript访问的COM对象仍受引用计数影响。这意味着在IE中涉及COM对象时，循环引用问题不可避免。

var element = document.getElementById('some_element');
var myObject = new Object();
myObject.element = element;
element.someObject = myObject;

上述示例在DOM元素（element）与原生JavaScript对象（myObject）间建立了循环引用：myObject的element属性指向element，而element的someObject属性指向myObject。由于存在循环引用，即使从页面移除该DOM元素，它也不会被回收。

为避免此类循环引用导致的内存泄漏，建议在不使用相关对象时，手动断开原生JavaScript对象与DOM元素之间的连接。

myObject.element = null;
element.someObject = null; 

将变量设置为null即可切断变量与之前引用值之间的连接。当垃圾收集器下次运行时，将删除这些值并回收其占用的内存。

为解决此问题，IE9将BOM和DOM对象转换为真正的JavaScript对象，从而摆脱了COM引用计数的限制。

垃圾收集性能与内存管理

性能考量

垃圾收集器周期性运行，若变量分配的内存量巨大，回收工作量也将显著增加。因此，确定垃圾收集的时间间隔至关重要。

IE浏览器的垃圾收集器基于内存分配量触发运行。具体阈值包括：256个变量、4096个对象（或数组）字面量及数组元素（slot），或64KB的字符串。达到任一临界值，垃圾收集器即启动运行。

这种实现的缺陷在于，若脚本包含大量变量，这些变量可能在脚本生命周期内持续存在。这导致垃圾收集器不得不频繁运行，引发严重的性能问题。为此，IE7重写了其垃圾收集例程。

IE7的JavaScript引擎改变了触发机制：变量分配、字面量和数组元素的临界值改为动态调整。初始临界值与IE6相同。若垃圾收集例程回收的内存分配量低于15%，则临界值加倍；若回收量达到85%，则临界值重置为默认值。这一改进显著提升了运行包含大量JavaScript页面时的性能。

值得注意的是，部分浏览器允许手动触发垃圾收集。在IE中，调用window.CollectGarbage()方法可立即执行垃圾收集。

内存管理策略

使用具备垃圾收集机制的JavaScript主要挑战在于：浏览器分配的可用内存通常少于桌面应用程序，旨在防止运行JavaScript的网页耗尽系统内存导致崩溃。内存限制不仅影响变量分配，还影响调用栈大小及单线程可同时执行的语句数量。

因此，确保占用最少内存是提升页面性能的关键。优化内存占用的最佳方式是仅保存执行代码所需的数据。一旦数据不再有用，应通过将其值设为null来释放引用，此做法称为解除引用（dereferencing）。该方法适用于大多数全局变量及全局对象属性，而局部变量在离开执行环境时会自动解除引用。

function createPerson(name){
 var localPerson = new Object();
 localPerson.name = name;
 return localPerson;
}
var globalPerson = createPerson('test');
globalPerson = null;

需注意，解除值的引用并不意味着立即回收其内存。解除引用的真正作用是使值脱离执行环境，以便垃圾收集器在下次运行时将其回收。

以上内容涵盖了JavaScript垃圾收集机制的核心原理与内存管理要点，希望能为您的学习与工作提供帮助。如有疑问，欢迎留言交流，感谢支持！