从lambda表达式看final关键字

Variable used in lambda expression should be final or effectively final
想必大家在开发java程序的时候应该经常见到。

这是因为在lambda的匿名表达式里需要传入final的对象，那么这是为什么呢？
因为lambda是匿名表达式，它是在新开的一个线程中执行的，如果它能够修改局部变量的值，则会影响数据的一致性，所以必须传入final的值或者一个数据副本。
注意后面的or effectively final，只要数据在定义之后被有被修改引用地址，那么它也是允许在lambda表达式中被调用（具有final的语义）。
这里用例子区分一下final对象、局部变量、实例变量的区别：

/**
 * @author toryxu
 * @version 1.0
 * @date 2020/10/15 9:40 下午
 */
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修饰。
到了这里我有一个疑问🤔️，不是说对对象的引用都在栈里吗？那么实例对象的引用不应该也在栈里吗？
看了下面这位的解答，感觉能够理解了。

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

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