从lambda表达式看final关键字

我会带着你远行 2023-10-01 10:40 8阅读 0赞

Variable used in lambda expression should be final or effectively final  
想必大家在开发java程序的时候应该经常见到。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM3NzAxMzcy_size_16_color_FFFFFF_t_70_pic_center]  
这是因为在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修饰。  
到了这里我有一个疑问???，不是说对对象的引用都在栈里吗？那么实例对象的引用不应该也在栈里吗？  
看了下面这位的解答，感觉能够理解了。

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

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

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM3NzAxMzcy_size_16_color_FFFFFF_t_70_pic_center]: https://img-blog.csdnimg.cn/20201015215637398.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM3NzAxMzcy,size_16,color_FFFFFF,t_70#pic_center
[Link 1]: https://bbs.csdn.net/topics/392061855?page=1