让我们考虑一个简单的函数：
function f1(x) {
// ... something
}
该函数称为顶级函数，因为它没有嵌套在任何其他函数中。每个 JavaScript函数都会将自己的对象列表关联到一个“作用域链”。该作用域链是对象的有序列表。这些对象中的每一个都定义了一些变量。
在顶级函数中，作用域链由单个对象（全局对象）组成。例如，f1上面的函数有一个范围链，其中有一个定义所有全局变量的对象。（请注意，这里的“对象”一词并不表示JavaScript对象，它只是一个实现定义的对象，它充当变量容器，JavaScript可以在其中“查找”变量。）
调用此函数时，JavaScript创建一个称为“激活对象”的东西，并将其放在作用域链的顶部。该对象包含所有局部变量（例如x此处）。因此，现在我们在范围链中有两个对象：第一个是激活对象，而在其下方是全局对象。
请非常小心地注意，这两个对象在不同的时间被放入作用域链中。定义函数时（即JavaScript解析函数并创建函数对象时）放置全局对象，并且在调用函数时进入激活对象。
因此，我们现在知道这一点：
- 每个功能都有一个与其关联的作用域链
- 定义函数时（创建函数对象时），JavaScript会使用该函数保存作用域链
- 对于顶级功能，作用域链在功能定义时仅包含全局对象，并在调用时在顶部添加一个附加激活对象
当我们处理嵌套函数时，情况变得很有趣。因此，让我们创建一个：
function f1(x) {
function f2(y) {
// ... something
}
}
当f1被定义，我们得到了一个只包含全局对象是一个作用域链。
现在，当 f1被调用时，作用域链将f1获得激活对象。该激活对象包含变量x和f2作为函数的变量。并且，请注意f2正在定义。因此，此时JavaScript也为保存了一个新的作用域链f2。为此内部功能保存的作用域链是当前有效的作用域链。当前有效的作用域链是f1的。因此f2的范围链f1的电流范围链-其中包含的激活对象f1和所述全局对象。
当f2被调用时，它得到它自己的y包含激活对象，f1并添加到其作用域链中，该作用域已经包含和的激活对象。
如果在中定义了另一个嵌套函数f2，则它的作用域链在定义时将包含三个对象（两个外部函数的2个激活对象和全局对象），在调用时包含4个对象。
因此，现在我们了解范围链是如何工作的，但是我们还没有谈论闭包。
函数对象与范围（一组变量绑定）之间的组合（在该范围内解析函数的变量）在计算机科学文献中称为闭包-JavaScript，这是David Flanagan的权威指南
大多数函数是使用定义该函数时生效的作用域链来调用的，并且涉及闭包并不重要。当闭包在不同于定义时生效的作用域链下被调用时，它们变得很有趣。从定义嵌套函数的函数返回嵌套函数对象时，这种情况最常见。
函数返回时，该激活对象将从作用域链中删除。如果没有嵌套函数，则不会再有对激活对象的引用，它会被垃圾回收。如果定义了嵌套函数，则这些函数中的每一个都有对作用域链的引用，而该作用域链则指向激活对象。
但是，如果这些嵌套函数对象保留在其外部函数中，则它们本身将与所引用的激活对象一起被垃圾回收。但是，如果该函数定义了一个嵌套函数并将其返回或将其存储到某个位置的属性中，则将有对该嵌套函数的外部引用。它不会被垃圾收集，它所指向的激活对象也不会被垃圾收集。
在上面的示例中，我们没有f2从中返回f1，因此，当调用return 时f1，其激活对象将从其作用域链中删除并进行垃圾回收。但是，如果我们有这样的事情：
function f1(x) {
function f2(y) {
// ... something
}
return f2;
}
在这里，返回f2将具有范围链，该范围链将包含的激活对象f1，因此不会被垃圾回收。此时，如果我们调用f2，即使我们不在，它也将能够访问f1的变量。xf1
因此，我们可以看到一个函数保持了它的作用域链，并且作用域链伴随着外部函数的所有激活对象。这是关闭的本质。我们说JavaScript中的函数是“词法范围”的，这意味着它们保存了定义时处于活动状态的范围，而不是调用它们时处于活动状态的范围。
有许多强大的编程技术都涉及到闭包，例如近似私有变量，事件驱动的编程，部分应用程序等。
还要注意，所有这些都适用于所有支持闭包的语言。例如PHP（5.3 +），Python，Ruby等。