闭包和一部电影的关系

闭包的定义

在网上，关于闭包的文章众多。

MDN文档中说：

闭包是函数和声明该函数的词法环境的组合

很多文章中说：

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

还有一篇文章，总结了闭包的四种定义。

最后，我决定去请教我的一个经验丰富的同事。

他说：

闭包就是闭着的包子

……

我发现闭包的最大难点，就是没有一个明确的定义。

于是，我去其精华、取其糟粕，写下这篇关于闭包但完全不去定义闭包的文章。

作用域和变量对象

function outter(){
    var name = '小强'
    function inner(){
        console.log(name)
    }
    return inner
}
var foo = outter()
foo()   // '小强'

上面这段代码，就是一个闭包。

（无论闭包的定义是什么，这段代码基本上是通行的）

首先，如果套用这个定义：

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

那么，函数 inner 就是闭包，因为我们知道：

定义在函数内部的函数，是可以访问外部函数的作用域的。

简写一下：

function outter(){
    var name = '小强'
    function inner(){
        console.log(name)
    }
    inner()
}

这种结构下， inner函数还是有权访问 outter 函数作用域中的变量的，所以这是不是闭包？

（欢迎讨论）

上面代码，是一种最常见的函数嵌套。

当 outter函数执行时，会创建一个属于 outter的执行环境及变量对象。

当 inner函数执行时，又会创建一个 inner的执行环境及变量对象。

它们的相同点是：

执行完毕之后，各自的执行环境及变量对象都会被销毁。

尽管函数是一等公民，但是它们执行完毕后、变得“没用”，JS很快将它们“灭门”，这就是JS垃圾回收机制。

它们的联系是：

inner函数可以访问到 outter函数的变量对象。

变量对象，顾名思义，就是保存该函数自身变量的一个对象。

内部函数保存所有外层函数的变量对象，形成了自己的作用域。

即 inner函数的作用域，包括自身的变量对象、 outter的变量对象和window的变量对象。

为什么要保存别人的变量对象？

因为对自己有用，自身没有的话就可以去用外层的。

可以说，外层函数的变量服务于内部函数。

闭包中的变量对象

再回到这种形式：

function outter(){
    var name = '小强'
    function inner(){
        console.log(name)
    }
    return inner
}
var foo = outter()
foo()   // '小强'

不同于普通嵌套，

这里当 outter函数执行到最后时，将 inner函数return了出去。

显然， outter已经执行完毕了，但是它的执行环境及变量对象都被销毁了吗？

并不是。

有一个幸存者，就是outter函数的变量对象。

虽然 outter函数在return之后，自身已经执行完毕。

但是，因为它return的是嵌套在自己内部的函数 inner，并赋值给全局变量 foo ，这就导致：

一方面， outter函数执行完毕， outter的变量对象理应被销毁
另一方面， inner函数被赋值给全局变量，随时有可能被调用，那它的作用域不应该被破坏，其中的 outter变量对象也就不该被销毁

上面已经说过：

内部函数保存所有外层函数的变量对象，形成了自己的作用域

所以，就是因为还有用，所以 outter函数的变量对象并没有在 outter执行后被销毁，成为幸存者。

最终，当我执行 foo() 的时候，

尽管 outter函数早已执行完毕，但依然可以打印出其变量name的值’帅哥小强’。