1
总结:闭包的核心是[[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形成块级作用域


吴霸霸
300 声望14 粉丝