嵌套函数、闭包和作用域

Question

我一直在尝试围绕范围，特别是闭包。 我知道有很多关于这个主题的帖子，而且我已经阅读了很多。但是大多数地方都将主题称为高级，并且使用相对难以掌握的术语。我想绝对确定我的基础知识是正确的，这样我就不会冒险进入更复杂的主题，而对函数的真正工作方式有错误的想法。

所以...我选择了一个基本功能，并且真的希望有人告诉我我认为它发生的幕后是否是实际发生的。

这是代码：

function sum(a) {


  return function(b) {  
    return a+b
  }
}

console.log( sum(1)(sum(2)))

（我知道它实际上并没有做总和，我对其进行了调整，试图了解每个步骤中发生了什么。）

所以，我的主要疑问是为什么 A 是 1，而不是 2。我得出的结论是，只要创建了 function(b) 以将 sum(2) 作为参数，就在被返回后立即创建了闭包sum(1)。因此，根据闭包的定义，我假设在创建函数时它还保存了词法环境（其中a = 1）。是这样吗？

我已经制作了一个步骤图。

Answer 1

无论我们使用什么工具将内部函数传输到其词法范围之外，它都会维护一个指向它最初声明位置的范围引用，并且无论我们在哪里执行它，都会执行该闭包。

在下一个函数中，您将看到 greet 将如何使用在 greeting 函数内声明的变量 salute，即使它不再被调用，这称为闭包。

function greeting(name) {
  var salute = "Hello "; // This is a closure

  return function() {
    console.log(salute + name);
  }
}

var greet = greeting("Dave");

greet();    // Hello Dave

您可以在 Kyle Simpson 的丛书You Don't Know JS 中了解更多关于闭包的信息，但对于这个特定主题，请查看You Don't Know JS: Scope & Closures。他使用一种简单而中肯的语言来解释像这样的困难概念。

Answer 2

这就是发生的事情

1) 如果一个函数返回一个函数并且该返回的函数被立即调用，则称为currying（函数式编程术语）。在此示例中，您混合了 currying 和 closure 这两个概念。

2) 首先你的sum(1) 部分被调用。这将返回 function(b) {return a+b} (让我们将其称为 #1st) ，但它将保持活动 a 为 1 仅用于 #1st 的上下文。

3) 由于函数参数本身是一个函数调用，因此该参数部分将被调用。例如sum(1)(sum(2))，这里sum(2) 部分将被调用并返回function(b) {return a+b}（我们将其称为#2nd），它也将保持活动a 作为2 仅用于#2nd 的上下文（闭包）。

4) 现在我们立即以 #2nd 作为参数，使用柯里化语法调用 #1st - #1st(#2nd)

5) 所以我们的 a 是未分配的变量并且具有值 1，b 变量具有值 function(b) {return a+b} 。由于我们将这两者连接起来，所以最终输出是1function(b) {return a+b}

注意- a）如果你想要 a+b 的总和而不是那个奇怪的输出，只需将你的最后一行更改为 console.log(sum(1)(2)) 。 b) 如果您注意到闭包 a 在称为 #2nd 的函数中的值为 2，则除了活着之外，永远不会在任何地方使用。

Answer 3

当sum 被调用时，它会创建一个作用域。在此范围内，有形参 a 和一个内部匿名函数，它会立即返回。这个匿名函数是一个闭包，因为它捕获了它的封闭函数 (sum) 的范围。因此这个内部函数可以访问a。

现在我们来到了一个明显让你感到困惑的地方：内部函数只获取 sum 范围的副本，而不是对原始范围的引用。这意味着如果我们从sum 返回并因此消除其范围，则此副本不受影响（内部函数的a 保持为1）。使用不同参数对sum 的进一步函数调用也不会影响闭包。

结论：闭包的存在时间可以长于其封闭函数。

从技术上讲，sum 的a 存储在堆栈中，而捕获的闭包a 存储在堆中，因此与sum 的生命周期无关。

顺便说一句，你在这里做的事情叫做柯里化。无需使用多个参数调用sum，而是在程序上调用它，每次调用只有一个参数：

sum(1, 2); // multi argument form
sum(1)(2); // curry form