Java8 lambda表达式使用局部变量final问题

在使用lambda表达式的时候，经常会遇到一个问题，那就是在lambda表达式内部修改局部变量的的值时候，编译器会报错，说变量类型必须为final才可以使用，也就是说不让我们修改，这是为什么呢？

Lambda可以没有限制地捕获(也就是在其主体中引用)实例变量和静态变量。但局部变量必须显式声明为final， 或事实上是final。换句话说，Lambda表达式只能捕获指派给它们的局部变量一次。 例如，下面的代码无法编译，因为portNumber 变量被赋值两次:

int portNumber = 1337;
Runnable r = () -> System.out.println(portNumber);
portNumber = 31337;

编译第二行报错：Variable used in lambda expression should be final or effectively final.

Lambda表达式规则

• 只能引用标记了 final 的外层局部变量，这就是说不能在 lambda 内部修改定义在域外的局部变量，否则会编译错误。
• 局部变量可以不用声明为 final，但是必须不可被后面的代码修改（即隐性的具有 final 的语义）
• 不允许声明一个与局部变量同名的参数或者局部变量。

根据lanbda表达式规则可知：lambda表达式内部引用的局部变量是隐式的final

所以无论Lambda表达式引用的局部变量无论是否声明final，均具有final特性！表达式内仅允许对变量引用（引用内部修改除外，比如list增删），禁止修改！

为什么局部变量有这些限制？

第一，实例变量和局部变量背后的实现有一个关键不同。实例变量都存储在堆中，堆是线程共享的。而局部变量则保存在栈上。如果Lambda可以直接访问局部变量，而且Lambda是在一个线程中使用的，则使用Lambda的线程，可能会在分配该变量的线程将这个变量收回之后，去访问该变量。因此，Java为避免这个问题，在访问自由局部变量时，实际上是在访问它的副本，而不是访问原始变量。为了保证局部变量和lambda中复制品 的数据一致性，就必须要这个限制。

第二，这一限制不鼓励你使用改变外部变量的典型命令式编程模式(这种模式会阻碍Java8很容易做到的并行处理)。

作者：沉默的风、

来源：CSDN