能够在Java 8 lambda表达式中有效地使用final变量有什么好处

Question

我已经理解了“有效最终”的含义，正如最终和有效最终之间的差异所解释的那样。

我不明白的是，为什么lambda表达式/烦人的内部类需要使用有效的最终变量？为什么Java 8会放宽变量必须声明为最终变量的限制？

仅仅是为了保存变量前的< code>final的键入吗？或者，能够有效地使用最终变量的能力是否有其他优势？

Answer 1

你可以认为这是扩展了Java中类型推断的范围，包括推断局部变量的终结性，以便在lambda表达式和内部类中进行捕获。规则没有改变——lambdas和内部类捕获值，而不是变量——但是符合规则的语法负担减轻了。

Answer 2

简单的回答是，因为除了声明中的关键字< code>final之外，< code>final和“effectively final”变量之间没有区别，唯一的目的是允许省略< code>final关键字。

但这可能比你意识到的影响更大。

对于 lambda 表达式，参数的整个声明可以简化为 x -

由于没有Java语法在不指定变量类型的情况下将变量声明为< code>final,因此要么需要规范向语言中添加更复杂的结构，要么强制我们向参数添加< code>final和类型声明，从而将简单表达式< code>x -

主要目标是为Java程序员提供一种简化(在添加新的编程语言特性时尽可能做到这一点)。当然，它没有为语言提供任何功能来解决以前没有它就无法解决的问题(这适用于整个lambda功能)，但在表达能力方面有显著的提高，这不仅是因为您可以省略< code>final修饰符，而且这很有帮助。它与改进的类型推断、新的编程API，当然还有lambda表达式和方法引用一起工作。