从lambda表达式看final关键字

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