Javascript垃圾回收机制

垃圾回收

基本思路：确定哪个变量不会再使用，然后释放它占用的内存。这个过程是周期性的，即垃圾回收程序每隔一定时间（或者说在代码执 行过程中某个预定的收集时间）就会自动运行。

以函数中局部变量的正常生命周期为例：

1. 函数中的局部变量会在函数执行时存在，此时，栈（或 堆）内存会分配空间以保存相应的值
2. 函数在内部使用了变量，然后退出
3. 局部变量不再需要，它占用的内存可以释放，供后面使用

但并不是所有时候都会这么明显，垃圾回收程序必须跟踪记录哪个变量还会使用，以及哪个变量不会再使用，以便回收内存。如何标记未使用的变量也有不同的实现方式。

标记清理(常用)

当变量进入上下文，比如在函数内部声明一个变量时，这个变量会被加上存在于上下文中的标记。而在上下文中的变量，逻辑上讲，永远不应该释放它们的内存，因为只要上下文中的代码在运行，就有可能用到它们。当变量离开上下文时，也会被加上离开上下文的标记。

JavaScript 中有个全局对象，浏览器中是 window。定期的，垃圾回收期将从这个全局对象开始，找所有从这个全局对象开始引用的对象，再找这些对象引用的对象… … 对这些活着的对象进行标记，这是标记阶段。清除阶段就是清除那些没有被标记的对象。

引用计数

思路：对每个值都记录它被引用的次数。

声明变量并给它赋一个引用值时，这个值的引用数为 1。如果同一个值又被赋给另一个变量，那么引用数**加 1。类似地，如果保存对该值引用的变量被其他值给覆盖了，那么引用数减 1**。当一 个值的引用数为 0 时，就说明没办法再访问到这个值了，因此可以安全地收回其内存了。垃圾回收程序下次运行的时候就会释放引用数为 0 的值的内存。

let obj1 = { a: 1 }; // 一个对象（称之为 A）被创建，赋值给 obj1，A 的引用个数为 1 
let obj2 = obj1; // A 的引用个数变为 2

obj1 = 0; // A 的引用个数变为 1
obj2 = 0; // A 的引用个数变为 0，此时对象 A 就可以被垃圾回收了

但是引用计数有个最大的问题： 循环引用。

function func() {
    let obj1 = {};
    let obj2 = {};

    obj1.a = obj2; // obj1 引用 obj2
    obj2.a = obj1; // obj2 引用 obj1
}

当函数 func 执行结束后，返回值为 undefined，所以整个函数以及内部的变量都应该被回收，但根据引用计数方法，obj1 和 obj2 的引用次数都不为 0，所以他们不会被回收。

要解决循环引用的问题，最好是在不使用它们的时候手工将它们设为空。

obj1 = null;
obj2 = null;

内存泄漏

内存泄漏是指计算机可用的内存越来越少，主要是因为程序不能释放那些不再使用的内存。

• 循环引用

• 无意的全局变量

  function foo(arg) {
      bar = "";
  }
  
  foo();
  

  上面的代码就无意中声明了一个全局变量，会得到 window 的引用，bar 实际上是 window.bar，它的作用域在 window 上，所以 foo 函数执行结束后，bar 也不会被内存收回。

  function foo() {
      this.bar = "";
  }
  

  在 foo 函数中，this 指的是 window。

• 被遗忘的计时器和回调函数

  let someResource = getData();
  setInterval(() => {
      const node = document.getElementById('Node');
      if(node) {
          node.innerHTML = JSON.stringify(someResource));
      }
  }, 1000);
  

  每隔一秒就将得到的数据放入到文档节点中去，但在 setInterval 没有结束前，回调函数里的变量以及回调函数本身都无法被回收，需要调用clearInterval才能结束。