从lambda表达式看final关键字

x33g5p2x  于2021-12-25 转载在 其他  
字(1.6k)|赞(0)|评价(0)|浏览(419)

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修饰。
到了这里我有一个疑问???,不是说对对象的引用都在栈里吗?那么实例对象的引用不应该也在栈里吗?
看了下面这位的解答,感觉能够理解了。

引用类型的变量也可以是局部变量,局部变量保存在栈区,可它所引用的对象保存在堆中或者常量池中。
一个对象中的成员变量,也就是你说的实例变量,跟对象在一起,对象在堆中,那么它也在堆中。

已经说的不需要再补充了。
关于堆栈的理解又比以前深了一点呢~~

相关文章