闭包指有权访问另一个函数作用域中的变量。

    1. var x = 10
    2. function fn(y) {
    3. var z = 20
    4. function sum() {
    5. return x + y + z
    6. }
    7. return sum
    8. }
    9. fn(1)()

    分析:

    1. 开始执行代码,创建全局执行上下文,推入执行上下文栈。
    2. 执行函数 fn,创建 fn 的执行上下文,推入执行上下文栈。
    3. 执行完 fn,返回函数 sum
    4. 执行栈弹出 fn 的执行上下文,并销毁。
    5. 继续执行 sum, 创建 sum 的执行上下文,推入执行上下文栈
    6. 在代码中,需要拿到变量 x, y, z,且在当前执行上下文中并没有该变量,zy 需要在上级函数 fn 中查找,而 x 需要在全局环境中找。
    7. 但上级执行上下文已经被弹出栈且销毁了,实际上因为上级的执行上下文的活动对象中有被引用,该活动对象不会被销毁,还存留在内存中。所以这时候就可以通过作用域链找到上级执行上下文的活动对象(fnContext.VO)和上上级的活动对象(globalContext.VO)。就可以拿到对应的变量。
      此时的作用域链为: sumContext.Scope = [sumContext.VO, fnContext.VO, globalContext.VO],通过该作用域链就可以找到对应值。
    8. 找到变量后进行计算后返回,函数执行完毕,弹出执行上下文,销毁。
    9. 接着销毁 fnContext.VO 活动对象。

    闭包与变量

    闭包只能取得包含(外部)函数中任何变量的最后一个值。原因是当外部函数执行时会对该活动对象进行修改,所以当执行完后就是最后的值。

    1. function fn() {
    2. var result = []
    3. for(var i=0; i<10; i++){
    4. result[i] = function() {
    5. return i
    6. }
    7. }
    8. return result
    9. }

    该函数看起来会返回一个数组,并且每个索引对应的函数返回当前的索引的值。但实际上每个函数返回的都是10。

    原因是每个函数都保存对着外部函数 fn 的活动对象的引用,而 fn 执行完毕后,i 的值是10,在数组中的匿名函数拿到的 i 值就是外部函数 fn 的活动对象里的变量 i = 10,所以最后都返回10。

    将代码修改成如下:

    1. function fn() {
    2. var result = []
    3. for(var i=0; i<10; i++){
    4. result[i] = (function(num) {
    5. return function() {
    6. return num
    7. }
    8. })(i)
    9. }
    10. return result
    11. }

    此时,得到了我们想要的结果,在中间加了一个自执行匿名函数并将索引 i 传递给函数,函数的参数都是值传递的,所以在最终返回的数组函数中的外部函数里拿到的就是每个循环的索引值。