JavaScript闭包的概念理解

◼ 在前面我们说过，JavaScript是支持函数式编程的

◼ 在JavaScript中，函数是非常重要的，并且是一等公民：
    那么就意味着函数的使用是非常灵活的；
    函数可以作为另外一个函数的参数，也可以作为另外一个函数的返回值来使用；
◼ 所以JavaScript存在很多的高阶函数：
    自己编写高阶函数
    使用内置的高阶函数
◼ 目前在vue3+react开发中，也都在趋向于函数式编程：
    vue3 composition api: setup函数-> 代码（函数hook，定义函数）；
    react：class-> function-> hooks

◼ 这里先来看一下闭包的定义，分成两个：在计算机科学中和在JavaScript中。

◼ 在计算机科学中对闭包的定义（维基百科）：

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

◼ 闭包的概念出现于60年代，最早实现闭包的程序是Scheme，那么我们就可以理解为什么JavaScript中有闭包：
     因为JavaScript中有大量的设计是来源于Scheme的；

◼ 我们再来看一下MDN对JavaScript闭包的解释：

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

◼ 那么我的理解和总结：

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

闭包的内存泄漏

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

    return adder
  }

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

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

  console.log(adder5(24))
  console.log(adder8(30))

  // 永远不会再使用adder8
  // 内存泄漏: 对于那些我们永远不会再使用的对象, 但是对于GC来说, 它不知道要进行释放的对应内存会依然保留着
  adder8 = null

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