【JAVA基础】从内部类引用的局部变量必须是final或有效的final

public class Main {
	public static void main(String[] args) {
		test();
	}
	
	public static void test(){
    int a=1;
    class InnerTest{
        private void t(){
        System.out.println(a);
		// 在这里改变a的值是不对的
        a=2;
        }
    }
    
    new InnerTest().t();
}
}

运行报错
Main.java:13: error: local variables referenced from an inner class must be final or effectively final
a=2;
^

原因是内部类引用的局部变量必须是final或者有效的final
虽然没有主动声明a为final，但是编译的时候认为a就是final的

为什么局部内部类 和 匿名内部类只能使用final 的变量？

首先需要知道的一点是:
内部类和外部类是处于同一个级别的，内部类不会因为定义在方法中就会随着方法的执行完毕就被销毁。这里就会产生问题：当外部类的方法结束时，局部变量就会被销毁了，但是内部类对象可能还存在(只有没有人再引用它时，才会死亡)。
这里就出现了一个矛盾：内部类对象访问了一个不存在的变量。为了解决这个问题，就将局部变量复制了一份作为内部类的成员变量，这样当局部变量死亡后，内部类仍可以访问它，实际访问的是局部变量的"copy"。这样就好像延长了局部变量的生命周期将局部变量复制为内部类的成员变量时，必须保证这两个变量是一样的，也就是如果我们在内部类中修
改了成员变量，方法中的局部变量也得跟着改变，怎么解决问题呢？就将局部变量设置为
final，对它初始化后，我就不让你再去修改这个变量，就保证了内部类的成员变量和方法的局部变量的一致性。这实际上也是一种妥协。使得局部变量与内部类内建立的拷贝保持一致。