1. 简介

JavaScript 具有自动垃圾收集机制。执行环境会负责管理代码执行过程中使用的内存。

垃圾收集机制的原理：找出那些不再继续使用的变量，然后释放其占用的内存。

垃圾收集器会按照固定的时间间隔（或代码执行中预定的收集时间），周期性地执行这一操作

2. 标记清除

JavaScript 最常见的垃圾收集方式是标记清除。

  • 当变量进入环境时，就将这个变量标记为“进入环境”。逻辑上讲，永远不会释放进入环境的变量占用的内存。

  • 当变量离开环境时，则将其标记为“离开环境”

  • 可以用任何方式标记变量，如翻转一个特殊的位，或者使用两个列表来记录进入环境和离开环境变量

垃圾收集器在运行的时候

  • 给存储在内的所有变量添加标记

  • 去掉环境中的变量以及被环境中的变量引用的变量的标记

  • 之后再被标记的变量将视为准备删除的变量，因为环境中的变量已经无法访问到这些变量了

  • 垃圾收集器完成内存清除工作，销毁那些带标记的值并回收它们所占用的内存

IE、FireFox、Opera、Chrome 和 Safari 的 JavaScript 实现使用的都是标记清除式的垃圾收集策略

3. 引用计数

引用计数的含义是跟踪记录每一个值被引用的次数。

  • 当声明了一个变量并将一个引用类型赋给该变量时，则这个值的引用次数加 1

  • 如果同一个值又被赋给另一个变量，则该值的引用次数加 1

  • 如果包含对这个值引用的变量又取得了另外一个值，则这个值的引用次数减 1

  • 当这个值的引用次数为 0 时，说明没有办法再访问这个值了，因而就可以将其占用的内存空间回收

  • 垃圾收集器下次再运行时，就会释放引用次数为 0 的值占用的内存

问题：
循环引用，对象 A 中包含指向对象 B 的指针，对象 B 包含指向对象 A 的指针。

  1. function problem() {
  2.   var objectA = new Object();
  3.   var objectB = new Object();
  4.   objectA.someOtherObject = objectB;
  5.   objectB.someOtherObject = objectA;
  6. }

两个对象的引用次数都是 2，但当函数执行之后，两个对象都离开了作用域，引用次数只是减 1，不会被回收。当这个函数重复调用多次，就会导致大量内存得不到回收。

解决方法是在不使用时，手动解除引用。

  1.  objectA.someOtherObject = null;
  2.  objectB.someOtherObject = null;

4. 性能问题

垃圾收集器是周期性运行的，如果为变量分配的内存数量大，那么回收的工作量也相当大。

IE 因此而声名狼藉的性能问题：IE 的垃圾收集器是根据内存分配量运行的，达到一定的临界值，垃圾收集器就会运行。如果一个脚本包含那么多变量，该脚本很可能在声明周期中一直保存那么多变量，垃圾收集器就不得不频繁运行。

IE 7 将临界值调整为动态修正。

手动触发垃圾收集过程：
IE 中，调用 window.CollectGarbage() 方法立即执行垃圾收集
Opera 7 及更高版本，调用 window.opera.collect() 启动垃圾收集例程

Chrome 采用计时查询的方式， 定期查询一遍，把没有被占用的堆内存销毁
IE 和火狐采用计数的方式； 当有一个变量占用这个地址时 我就计数加一；当有有一个变量不再占用这个堆内存，我就计数减一，当计数达到一定的数量就运行垃圾回收

5. 管理内存

分配给 Web 浏览器的可用内存数量通常比分配给桌面应用程序少，目的是出于安全方面的考虑，防止 JavaScript 的网页耗尽全部系统内存而导致系统崩溃。

内存限制问题不仅会影响给变量分配内存，同时还影响调用栈以及一个线程中能够同时执行的语句数量。

确保占用最少的内存可以让页面获得更好的性能，优化内存占用的最佳方式，就是为执行中的代码只保存必要的数据。

一旦数据不再使用，通过手动解除引用，将其值设置为 null 来释放引用，适合于大多数的全局变量和全局对象的属性，而局部变量会在离开执行环境时自动被解除引用。

解除一个值的引用并不意味着自动回收该值所占用的内存，解除引用真正的作用是让值脱离执行环境，以便垃圾收集器下次运行时将其回收。