Java lambdas 是否等同于 JavaScript 闭包？答案

【问题标题】：Is a Java lambdas equivalent to a JavaScript closures?Java lambdas 是否等同于 JavaScript 闭包？
【发布时间】：2017-10-14 19:57:11
【问题描述】：

我开始学习函数式编程，对此我有些困惑。

我的问题是： Java lambda 等同于 JavaScript 闭包吗？如果不是，它们有什么区别？

【问题讨论】：

“术语闭包经常被错误地用来表示匿名函数。” en.wikipedia.org/wiki/… - 不错的阅读材料
我不知道 Java lambda，但我猜它们与 Javascript 中的箭头函数“相似”：const flip f => y => x => f(x) (y)。 flip(someF) 返回一个关闭 f 的 lambda，并期望另一个参数 y 等。如您所见，您需要闭包才能在 Javascript 中进行柯里化。

标签： javascript java lambda functional-programming closures

【解决方案1】：

不，它们不相等。一个与语法有关，另一个与记忆有关。

Lambda 是一种用于声明匿名代码结构的简写语法。

闭包是指嵌套函数（命名或未命名）在外部范围内保存对来自函数的变量的引用。这本身并不是一个真正的问题。但是，当嵌套函数的持续时间长于外部作用域变量时，当外部作用域终止时，该变量不会被垃圾回收。那是闭包变得非常强大或非常烦人的时候。这完全取决于您是否有意使用它们。闭包可以允许共享访问私有数据。

【讨论】：

P.S.将变量视为“垃圾收集”通常会产生误导。附言在变量可能放弃它建立的任何强引用之前，外部作用域不需要“终止”。因为，这就像细节日。
"闭包可以允许共享访问私有数据" 嗯，函数式编程？

【解决方案2】：

它们“略有不同”，也“大致相同”。

tldr;访问外部范围变量¹ 的 Java lambda 也是一个闭包；而不访问外部范围变量的 JavaScript“闭包”不是严格意义上的闭包（可以更准确地称为匿名函数²）。

在 JavaScript 中，闭包通常意味着“能够在外部范围内重新分配变量” - 然而，对于匿名用户来说，访问或“关闭/绑定”变量就足够了函数是一个闭包³.

Java lambda 要求在 lambda 中访问的所有来自外部范围的变量实际上是最终的，这意味着它们不能被重新分配。

¹规则是 [Java] lambda 表达式只能从有效最终的封闭范围访问局部变量。一个有效的 final 变量永远不会被修改——它要么被声明为 final - http://www.informit.com/articles/article.aspx?p=2303960

但是，由于 Java lambda 可以捕获绑定到可变对象的只读变量，因此 Java lambda 可以间接修改外部上下文中的状态，因此可以模拟以下能力： “重新分配”值。

²在计算机科学中，闭包是一个拥有自己环境的函数。在这个环境中，至少有一个绑定变量[并且] 匿名函数有时被错误地称为闭包。这可能是因为大多数语言 [例如。具有匿名函数的 JavaScript] 也具有闭包，程序员通常会同时了解这两者。 - https://simple.wikipedia.org/wiki/Closure_(computer_science)

Java 对 this 在 lambda 和 JS 非函数/闭包中也有不同的语义；另请参阅 JavaScript "arrow functions"，它与传统匿名函数在 this 的行为方面具有不同的规则。

³ 琐碎的论点：

Haskell has closures。
Haskell does not allow variables to be re-assigned。
因此，重新分配（或可变性）不是闭包的要求。

【讨论】：

访问外部作用域变量 1 的 Java lambda 也是一个闭包； 但是，这根本不是问题所在。您正在创建 lambda 和闭包之间的关系，并将其传递为“大致等效”，而您真正想说的是，如果您使用 lambda 创建闭包，那么，是的，它们接近于同一件事。但是，lambdas 本身与闭包无关。
另外，当你说 在 JavaScript 中，闭包通常意味着“能够在外部范围内重新分配变量” - 但是，对于匿名函数来说，访问变量就足够了成为一个闭包3。，你暗示闭包和匿名函数有一些直接的关系，而事实上，闭包可以在没有匿名函数的情况下完全创建和使用。
@ScottMarcus 以上 cmets 已注明；但是，我觉得这个答案足够清楚地涵盖了 JavaScript“闭包”（或不建立这种绑定的匿名函数）和 Java lambdas（以及它们建立绑定的等效能力）之间的关键区别。我已经根据问题和特定语言概述了上述要点。