Variable used in lambda expression should be final or effectively final
想必大家在开发java程序的时候应该经常见到。
这是因为在lambda的匿名表达式里需要传入final的对象,那么这是为什么呢?
因为lambda是匿名表达式,它是在新开的一个线程中执行的,如果它能够修改局部变量的值,则会影响数据的一致性,所以必须传入final的值或者一个数据副本。
注意后面的or effectively final,只要数据在定义之后被有被修改引用地址,那么它也是允许在lambda表达式中被调用(具有final的语义)。
这里用例子区分一下final对象、局部变量、实例变量的区别:
/** * @version 1.0 */
public class LambdaTest {
Person person3 = new Person("实例变量");
public void test() {
List<String> list = new ArrayList<>();
Person person1 = new Person("局部变量", "Male", new Date());
person1 = new Person("ToryXu", "FeMale", new Date());
//局部变量,并在定义之后修改了引用地址,报错
CompletableFuture.runAsync(() -> {
System.out.println(person1);
});
Person person2 = new Person("局部变量", "Male", new Date());
//局部变量,并在定义之后没有修改引用地址,具有final的语义,编译器自动加上final修饰符
CompletableFuture.runAsync(() -> {
System.out.println(person2);
});
//实例变量
CompletableFuture.runAsync(() -> {
System.out.println(person3);
});
final Person person4 = new Person("局部变量", "Male", new Date());
//局部变量,本身就通过final修饰
CompletableFuture.runAsync(() -> {
System.out.println(person4);
});
}
public static void main(String[] args) {
new LambdaTest().test();
}
}
首先可以看到局部变量一定要用final修饰。
其次来看一下局部变量和实例变量到区别:
可以看到实例变量不用final修饰也是可以在lambda中被使用的。
个人理解:
这是因为局部变量其引用地址存放在栈中,而栈是线程私有的,是不允许在lambda新开的线程里去使用方法线程里的局部变量的。
而实例变量存放在堆中,是线程公有的,允许被不同个线程使用。
同时可知!
不是说lambda表达式里的变量一定要被final修饰,而是表达式里的局部变量一定要被final修饰。
到了这里我有一个疑问???,不是说对对象的引用都在栈里吗?那么实例对象的引用不应该也在栈里吗?
看了下面这位的解答,感觉能够理解了。
引用类型的变量也可以是局部变量,局部变量保存在栈区,可它所引用的对象保存在堆中或者常量池中。
一个对象中的成员变量,也就是你说的实例变量,跟对象在一起,对象在堆中,那么它也在堆中。
已经说的不需要再补充了。
关于堆栈的理解又比以前深了一点呢~~
版权说明 : 本文为转载文章, 版权归原作者所有 版权申明
原文链接 : https://blog.csdn.net/qq_43842093/article/details/122141027
内容来源于网络,如有侵权,请联系作者删除!