ICode9

精准搜索请尝试: 精确搜索
首页 > 其他分享> 文章详细

lambda 表达式为什么不能修改局部变量

2021-09-19 19:02:58  阅读:217  来源: 互联网

标签:变量 ++ 局部变量 value forEach 表达式 lambda


代码示例

public static void main(String[] args) {
	int value = 0;
	IntStream.range(0, 10).forEach(i -> value++);
	System.out.println(value);
}

这段代码中第三行的 value 会出现以下的错误提示:

Variable used in lambda expression should be final or effectively final

原因分析

首先,我们明确以下几点内容:

  1. value 是一个局部变量。
  2. forEach(i -> value++) 中的 value++ 属于在 lambda 表达式中修改局部变量。
  3. 我们可以把 lambda 表达式看作是一个匿名内部类实例化出来的对象。

一、
在Java的线程模型中,栈帧中的局部变量是线程私有的,永远不需要进行同步。但是如果允许通过匿名内部类把栈帧中的变量地址泄漏出去(逃逸),那么就会引发非常可怕的后果:一份“本来被 Java 线程模型规定为永远是线程私有的数据”将可能被并发访问!哪怕它不被并发访问,栈中变量的内存地址泄漏到栈帧之外这件事本身已经足够危险了,这是Java这种内存安全的语言绝对无法容忍的。

二、
其实这段代码中的局部变量 valueforEach(i -> value++) 中的 value 实际上是两个名字和值相同的变量而已,只是在 lambda 表达式中隐式创建了一个名为 value 的变量,并且将局部变量 value 的值 copy 了过去,因此它们是两个不同的"符号"。同时 Java 为了防止我们在 lambda 中修改其隐式创建出来的变量时,将内外的这两个同名"符号"误以为是同一个变量,就规定这种变量必须是 final 或 等效于 final 的,不能修改。

解决方案

如果我们就是想将这两个变量作为同一个变量使用,可以借助于在堆中创建的对象来实现。

public static void main(String[] args) {
	int[] value = new int[1];
	IntStream.range(0, 10).forEach(i -> value[0]++);
	System.out.println(value[0]);
}

未解决的疑问

既然可以通过上面的方法借助堆中的对象可以实现在 lambda 中修改外部的变量,那么为什么下面的代码依然报错?

public static void main(String[] args) {
	Integer value = new Integer(0);
	IntStream.range(0, 10).forEach(i -> value++);
	System.out.println(value);
}

标签:变量,++,局部变量,value,forEach,表达式,lambda
来源: https://www.cnblogs.com/xtyuns/p/15312370.html

本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享;
2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关;
3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关;
4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除;
5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有