JavaScript中闭包的本质

---

一、闭包的定义

1. 一个普通的函数function，如果它可以访问外层作用于的自由变量，那么这个函数就是一个闭包；
2. 从广义的角度来说：JavaScript中的函数都是闭包；
3. 从狭义的角度来说：JavaScript中一个函数，如果访问了外层作用于的变量，那么它是一个闭包；

二、闭包的访问过程

1. 代码编译时首先会在GlobalObject中创建 foo() 和 fn()
2. 在初始化foo()时, 其AO中包含属性name,bar()
3. bar()是高级数据类型, 编译时会在堆内存中开辟一个存储空间
4. bar()在初始化时会自动创建 parentScope 来指向父级作用域链
5. bar()函数执行体引用foo()的属性形成了闭包

function foo() {
  var name = "foo"

  function bar() {
    console.log(name) // 引用外层作用域的变量形成闭包, 
  }
  return bar
}

var fn = foo()
fn() // foo, 18

fn = null //制空后会销毁内存

三、内存回收机制(Garbage Collection)

1. 因为内存的大小是有限的，所以当内存不再需要的时候，我们需要对其进行释放，以便腾出更多的内存空间。
2. 常见的垃圾回收机制(GC): 引用计数, 标记清除。
3. 引用计数
   • 当一个对象有一个引用指向它时，那么这个对象的引用就+1，当一个对象的引用为0时，这个对象就可以被销毁掉；
   • 这个算法有一个很大的弊端就是会产生循环引用;
     
4. 标记清除：
   • 这个算法是设置一个根对象（root object），垃圾回收器会定期从这个根开始，找所有从根开始有引用到的对象，对于哪些没有引用到的对象，就认为是不可用的对象；
   • 这个算法可以很好的解决循环引用的问题；
     
   • JS引擎比较广泛的采用的就是标记清除算法，当然类似于V8引擎为了进行更好的优化。

四、闭包的内存泄漏

• 闭包内存泄漏的原因
  • 在上述案例中如果我们不在使用fn(), 那么该函数对象就应该被销毁, 并且引用的父作用域AO也应该被销毁
  • 但目前全局作用域下的fn属性对 bar()有引用, 且bar()的作用域中引用了foo(), 所以最终导致这些内存都无法被释放, 导致出现内存泄漏问题
• 解决内存泄漏
  • 当我们将fn设置为null时, 就不会对其内存进行引用, 那么对应的AO对象也就不可达了;
  • JS采用的标记清除垃圾回收机制, 则会在下次执行时对其进行销毁;

四、AO不使用的属性

被引用函数的AO对象不会被销毁时, 里面未被引用的属性是否会被释放?

1. 此函数属性有被其他函数所引用,所以GC不会对此函数进行回收, 则其它属性应该存在。
2. 但浏览器为了优化性能, 对其他属性进行了优化删除。

function foo() {
  var name = "foo"
  var arr = new Array(1024 * 1024).fill(1) //未对其引用检测是否会被销毁

  function bar() {
    debugger
    console.log(name) 
  }
  return bar
}

var fn = foo()
fn()

---