JavaScript学习笔记（7）：垃圾回收

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

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

3，两种策略中最常用的一种是标记清除（mark-and-sweep）。当变量进入环境是，就将这个变量标记为“进入环境”。从逻辑上讲，永远不能释放进入环境的变量所占用的内存，因为只要执行流进入相应的环境，就可能会用到它们。而当变量离开环境时，则将其标记为“离开环境”。

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

5，另一种策略是引用计数（reference-counting）。这种不常用的垃圾回收策略会造成一个非常严重的问题：循环引用。循环引用指的是对象A中包含一个指向对象B的指针，而对象B中也包含一个指向对象A的引用。按照引用计数的规则，他们的引用次数永远不会是零。

6，小结

（1），js变量可以用来保存两种类型的值：基本类型和引用类型。

（2），基本类型值在内存中占据固定空间的大小，因此被保存在栈内存中。

（3），引用类型的值是对象，保存在堆内存中。

（4），从一个变量向另一个变量赋值基本类型的值，会创造这个值的一个副本。

（5），包含引用类型值得变量实际上包含的并不是对象本身，而是一个指向该对象的指针。

（6），从一个变量向另一个变量复制引用类型的值，复制的其实是指针，因此两个变量最终都指向同一个对象。

（7），确定一个值是那种基本类型可以使用typeof操作符，而确定一个值是那种引用类型可以使用instanceof操作符。

（8），所有变量都存在于一个执行环境中，这个执行环境决定了变量的生命周期，一起那一部分代码可以访问其中的变量。

（9），执行环境有全局执行环境和函数执行环境之分。

（10），每次进入一个新执行环境，都会创建一个用于搜索变量和函数的作用域链。

（11），函数的局部环境不仅有权访问函数作用域中的变量，而且有权访问其包含环境，乃至全局环境。

（12），全局环境只能访问在全局环境中定义的变量和函数，而不能直接访问局部环境中的任何数据。

（13），变量的执行环境有助于确定应该何时释放内存。

（14），js是一门具有自动垃圾回收机制的编程语言，开发人员不必关心内存分配和回收问题。

（15），离开作用域的值将被自动标记作为课回收，因此将在垃圾收集期间被删除。

（16），标记清楚是目前主流的垃圾收集算法。这种算法的思想是给当前不使用的值加上标记，然后再回收内存。

（17)，解除变量的引用不仅有助于消除循环引用现象，而且对垃圾收集也有好处。为了确保有效地回收内存，应该及时解除不再使用的全局对象，全局对象属性以及循环引用变量的引用。