闭包的概念理解

闭包的定义

✅ 这里先来看一下闭包的定义，分成两个:在计算机科学中和在JavaScript中。
✅ 在计算机科学中对闭包的定义(维基百科):

闭包(英语:Closure)，又称词法闭包(Lexical Closure)或函数闭包(function closures);
是在支持头等函数的编程语言中，实现词法绑定的一种技术;
闭包在实现上是一个结构体，它存储了一个函数和一个关联的环境(相当于一个符号查找表);
闭包跟函数最大的区别在于，当捕捉闭包的时候，它的自由变量会在捕捉时被确定，这样即使脱离了捕捉时的上下文，它也能照常运行;

✅ 闭包的概念出现于6年代，最早实现闭包的程序是 Scheme，那么我们就可以理解为什么JavaScript中有闭包:

因为JavaScript中有大量的设计是来源于Scheme的;

✅ 我们再来看一下MDN对JavaScript闭包的解释:

一个函数和对其周围状态(lexical environment，词法环境)的引用捆绑在一起(或者说函数被引用包围)，这样的组合就是闭包(closure);
也就是说，闭包让你可以在一个内层函数中访问到其外层函数的作用域;
在JavaScript 中，每当创建一个函数，闭包就会在函数创建的同时被创建出来;

✅ 那么我的理解和总结:

一个普通的函数function，如果它可以访问外层作用域的自由变量，那么这个函数和周围环境就是一个闭包;
从广义的角度来说:JavaScript中的函数都是闭包;
从狭义的角度来说:JavaScript中一个函数，如果访问了外层作用域的变量，那么它是一个闭包;

闭包的访问过程

function createAdder(count) {
  function adder(num) {
    return num + count;
  }
  return adder
}

var adder5 = createAdder(5);
adder5(100)
adder5(55)
adder5(12)

var adder8 = createAdder(8);
adder8(22)
adder8(35)
adder8(7)

在这里插入图片描述

闭包的形成过程

在这里插入图片描述
那么函数继续执行呢?
 这个时候makeAdder函数执行完毕，正常情况下我们的AO对象会被释放;
 但是因为在0xb00的函数中有作用域引用指向了这个AO对象，所以它不会被释放掉;

闭包的内存泄露

**那么我们为什么经常会说闭包是有内存泄露的呢? **
在上面的案例中，如果后续我们不再使用add10函数了，那么该函数对象应该要被销毁掉，并且其引用着的父作用域AO也应该被销毁掉;
但是目前因为在全局作用域下add10变量对0xb00的函数对象有引用，而0xb00的作用域中AO(0x200)有引用，所以最终会造成这些内存都是无法被释放的;
所以我们经常说的闭包会造成内存泄露，其实就是刚才的引用链中的所有对象都是无法释放的;
那么，怎么解决这个问题呢?
因为当将add10设置为null时，就不再对函数对象0xb00有引用，那么对应的AO对象0x200也就不可达了；
在GC的下一次检测中，它们就会被销毁掉;

add10 = null
在这里插入图片描述