JavaScript学习：垃圾收集

JavaScript具有自动的垃圾收集机制，也就是说，执行环境会负责管理代码执行过程中使用的内存。而C和C++之类的语言中，开发人员的一项基本任务就是手工跟踪内存的使用情况，这是造成许多问题的一个根源。在编写JavaScript程序时，开发人员不再关心内存的使用问题，所需内存的分配以及内存的回收完全实现了自动管理。这种垃圾收集机制的原理其实很简单：找出那些不再继续使用的变量，然后释放其占有的内存。为此垃圾收集器会按照规定的时间间隔（或代码执行中预定的收集事件），周期性地执行这一操作。

局部变量只在函数执行的过程中存在。而在这个过程中，回为局部变量在栈内存上分配相应的空间，以便存储它们的值。然后在函数中使用这些变量，直至函数执行结束。此时，局部变量就没有存在的必要了，因此可以释放它们的内存以供将来使用。这种情况下，很容易判断变量是否还有存在的必要；但并非所有情况下都这么容易得出结论。垃圾收集器必须跟踪哪个变量有用哪个变量没用，对于不再有用的变量打上标记。以备将来收回其占有的内存。用于标识无用变量的策略可能会因为实现而异，但具体到浏览器中的实现，则通常有两个策略。

标记清除

JavaScript中最常用的垃圾收集方式是标记清除。当变量进入环境（例如，在函数中声明一个变量）时，就将这个变量标记为“进入环境”。从逻辑上讲，永远不能释放进入环境的变量所占有的内存，因为只要执行流进入相应的环境，就可能会用到它们。而当变量离开环境时，则将其标记为“离开环境”。

可以使用任何方式来标记变量。比如，可以通过翻转某个特殊的位置来记录一个变量何时进入环境，或使用一个“进入环境的”变量列表及一个“离开环境的”变量列表来跟踪那个变量发生了变化。所到底，如果标记变量其实并不重要，关键在于采取什么策略。

垃圾收集器在运行的时候会给存储在内存中的所有变量加上标记。然后，它会去掉环境中的变量以及被环境中的变量引用的变量的标记。而在此之后仍带有标记的变量将被视为准备删除的变量，原因是环境中的变量已经无法访问这些变量了。最后，垃圾收集器完成内存清除工作，销毁那些带标记的值并回收它们所占有的内存空间。

引用计数

另一种不太常见的垃圾收集策略叫做引用计数。引用计数的含义是跟踪记录每个值被引用的次数。当声明了一个变量并将一个引用类型的值赋给变量时，则这个值的引用次数就是1。如果同一个值又被赋给另一个变量，则该值的引用次数加1。相反，如果包含对这个值引用的变量又取得了另外一个值，则这个值的引用次数减1。当这个值的引用次数变为0时，则说明没有办法在访问这个值了，因而就可以将其占有的内存空间回收回来。这样，当垃圾收集器下次再运行时，它就会释放那些引用次数为0的值所占有的内存。