关于lamda表达式必须使用局部变量时需要时隐式final的一些理解

lamda表达式是会被编译器编译成一个内部类的，而内部类访问局部变量是必须要求变量不可变的，为什么呢？因为Java是可以支持一个类访问另一个类的成员变量，但是不支持一个类（包括内部类）访问另一个类的局部变量的，那么Java是怎么解决的呢，答案是编译器会将类中的局部变量拷贝出来一个副本，传入到内部类作为成员变量，因此，为了保证数据的一致性，该变量必须是不可变的。这也就解释了lamda必须使用隐式final局部变量了
那么还有一点，为什么Java内部类访问另一个类的局部变量呢？我的理解是：加入我们使用内部类来开启了一个线程，new Thread(() -> System.out.println("AAA")).start();
就像这个一段代码，我们使用lamda表达式开启了一个线程，假如我们在里面访问了局部变量，那么若是在此线程执行的过程中外界线程结束了，对应的栈空间也回收了（局部变量是存储在栈中的），那此时内部类的变量仍然存在就出现问题了，所以Java是将局部变量拷贝了一个副本传入到内部类中
而且，若是直接将局部变量传入到内部类中，会出现一个很大的问题，就是栈帧中的局部变量是线程私有的，而我们直接传入到了内部类中，内部类对变量进行修改，这简直是颠覆了Java对于栈是线程私有的这一观点，所以必须拷贝出一个副本传入到内部类中
仅仅是自己的一些理解，希望的到大家的指正