理解js闭包

总结：闭包的核心是[[scope]]属性，在函数解析过程中，如果函数引用了外层函数的变量，那么外层函数（即使自身被销毁）的活动对象带着对应变量将会被保留，并且记录在scope属性中，作为作用域链的第二层，如果还引用了外层函数的外层函数的变量，那么对应的活动对象与变量也会被保留，并记录，将会作为作用域链的第三层，依次类推...。当函数被调用时，所取到的外部变量的值将会是调用时各个变量的值。即当前值。

闭包调用时也是普通函数，只不过作用域链多了闭包Closure的成分

闭包的用途：1.模仿块级作用域，在立即调用函数中声明内部需要使用的变量；2.管理私有变量和方法；3.函数柯里化

来个极端的例子

function closure() {
    let result = [], count = 1
    setInterval(() => {count++}, 1000)
    function outer() {
        let doufu = 'wu'
        return function inner() {
            let foo = 'foo'
            return function closureCallback() {
                let bar = {bar: 'bar'}, bar1 = 'bar'
                result[i] = function () {
                    console.log(count)
                    let b = doufu
                    return bar.bar + i
                }
            }
        }
    }
    let inner = outer()
    let closureCallback = inner()
    for (var i=0; i<10; i++) {
        // [[scope]]包含closure{result, i}
        // 函数在这里立即调用
        // i为实时值0,1,2,3...
        closureCallback()
    }
    return result
}

调用结果图

从图中可以看到，最终返回结果分别引用了closureCallback, outer，closure中的变量，所以，在作用域链中会保存这三个函数的活动对象，不同时间调用，返回的count值不同，说明引用的是当前值。
以下是手工示意图

scope构成示意图

---

以下是我的学习过程
JavaScript里面的闭包，指的是函数与声明该函数的词法环境的组合。
一般在函数里面声明函数，并且引用外面函数的变量，就会产生闭包。定义在全局的时候，默认不产生闭包(所谓闭包，就是当内部函数引用了外部函数中的变量时，会在函数的作用域上面添加一层，这一层包含了函数所引用的外部函数的变量，存放在scope属性里面，在调用时，用于形成作用域链)
函数在执行时，会在内存中创建一个活动对象，该活动对象包含arguments以及一些参数。并通过复制[[scope]]属性中的对象构建起执行环境的作用域链。

var bar = 'zoo'
function Foo() {
    this.bar = bar
}

全局

function foo() {
    let bar = 'zoo'
    function zoo() {
        let zoo = bar
    }
}
foo()

函数内

function closure() {
    let result = []
    for (var i=0; i<10; i++) {
        result[i] = function () {
            return i
        }
    }
    return result
}
let arr = closure()

主要体现在函数返回函数，函数A在调用函数B时被创建并从B函数的内部返回。当我们调用A函数的时候，B函数的作用域链已经从内存中销毁，但是我们仍然可以在A中访问B中存在的变量。因为B中的变量仍然保存在A的活动对象中（作用域链中[[scope]]对象里面）
此时，函数A与A的scope构成closure函数的闭包实例

scope

从图中可以看到，ar[0](以下称为函数A)函数的作用域链最顶层为自身活动对象（arguments， caller, length, name等等构成）再往上则是由一个Closure对象实例构成，可以看到这一层里面只包含一个变量i,即创建A时外层函数里面声明的变量i。当我们调用A时，我们在第二层作用域链上面找到的这个i变量。
为什么arr数组每一项都返回的是10，而不是对应的下标值的原因就在这里：当我们调用数组项函数时，遇到变量i，并且在第二层作用域链读取到i，这里面保存的i就是closure函数里面定义的i。在A调用时，closure已经执完毕，在closure执行的过程中i的值从0变到了10。这个性质类似于把原本存在于closure函数中的变量，在closure函数执行完毕后（从内存中移除）我们可以在A自身的scope属性里访问到。
简单一点说就是我们在调用A函数的时候，访问到的i变量，是函数closure（虽然它不在了但是它的变量还在，仍然被scope属性引用。）的当前值（实时值）

所以要达到预期目标，我们只需要保证它的scope对象中保存的这个‘i’值是正确的就可以了。
这里面的思路就是，函数A被当做普通函数调用时，非闭包情况下，作用域就是自身（没有i变量）+ 全局作用域（也没有）,所以这里还是需要借助闭包。即需要保证A上一层作用域的i是正确的值

1.创建另外一个闭包,每个i的值都会创建一个闭包

function closureCallback(i) {
    // 返回函数里面的i变量就是closureCallback函数的参数i
    return function() {
        return i
    }
}

function closure() {
    let result = [], b = 'closure'
    for (var i=0; i<10; i++) {
                // 这里的closureCallback作为普通函数调用
                // 且没有引用closure函数的变量，
                // 函数作用域内的变量，无法直接在函数外取得
                // 所以作用域链不包含closure
                // 所以在closureCallback函数[[scope]]中不会有closure函数
        result[i] = closureCallback(i)
    }
    return result
}

2.使用匿名闭包

function closure() {
    let result = [], b = 'closure'
    for (var i=0; i<10; i++) {
        result[i] = (function (i) {
            return () => i
        })(i)
    }
    return result
}
let arr = closure()

3.使用let，减少闭包，let具有块级作用域的效果

function closure() {
    let result = [], b = 'closure'
    for (var i=0; i<10; i++) {
        let j = i
        result[i] = function () {
            return j
        }
    }
    return result
}
let arr = closure()

let形成块级作用域