攻克javascript闭包面试难点

闭包的定义

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

• 闭包（英文：Closure），又称词法闭包（Lexical Closure）或函数闭包（function closure）。

在解析阶段有一个词法解析，是在编译之前进行的，也就意味着在解析阶段已经确定了闭包的执行上下文

• 是在支持头等函数的编程语言中，实现词法绑定的一种技术。

像javascript这样的编程语言，在函数中能够声明函数，称为头等函数

• 闭包在实现上是一个结构体，它存储了一个函数和一个关联的环境（相当于是一个符号查找表）
• 闭包跟函数最大的区别是，当捕捉闭包的时候，它的自由变量会在捕捉的时候被确定，这样即使脱离了捕捉时的上下文，他也能照常运行。

MDN中对javascript闭包的解释

javascript中闭包的起源：
最早实现闭包程序是Scheme，而javascript中有大量设计来源于Scheme

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

简单闭包实例解释闭包形成过程

  function foo(){
    var yy='yy'
    function bar(){
      console.log(yy)
    }
    return bar
  }
  var fn=foo()
  fn()
  /*函数内层作用域中访问到了外层作用域，显然形成了闭包*/

V8引擎执行javascript代码过程

(不了解可以看一下之前我写的文章哦)

• 代码解析过程
  
• 执行到 var fn = foo() 时候，（也就是foo函数执行时候）
• 
• var fn = foo() 执行结束 函数执行上下文消失，fn=x0b00

• 代码执行到fn()时候（相当于bar函数执行），同样创建属于bar函数的AO，和执行上下文函数
  

执行bar函数的时候，console.log(yy) 语句执行，根据作用域链，会先在bar的AO里边找yy变量，发现没有，找到了父级作用域（parent scope）的指向 foo 的AO,然后输出结果“yy”

• 代码全部执行完毕

这时候bar的函数执行上下文消失，由于AO（bar）没有根管理，所以最后所占内存也会被自动销毁掉

总结

通过上边演示闭包内存变化状态，我们可以看出，代码执行结束，内存是这样的样子

由于AO（foo）有根管理着（fn:指向的 x0b00是关键），所以内存也处于未被清理状态，如果我们不再使用这些内存（bar函数只被调用一次），而这些所占的空间也没有被清理掉，那么我们就称之为内存泄漏