为什么局部内部类访问局部变量，局部变量必须声明为final？

今天在看AWT的事件处理机制的时候，突然对局部内部类中访问局部变量的情况有了一点小好奇，因为在java中规定，局部内部类访问外部类中方法的局部变量时，该局部变量必须定义为final。百度了老半天，发现说的都挺模糊的，结合查到 的结果再想了老半天，突然有所体会，现在将我认为合理的理由阐明如下，如有错误，还望各位大虾们给以纠正啊，呵呵。。。。。

首先来看一段代码：

public class MainClass {

public static void main(String[] args) {
A2 a2 = new A2();
A1 a1 = new A1();
a2.test(a1.getA1());

}

}

class A1 {
public void show() {
}

public A1 getA1() {
final int variable = 10;
class A2 extends A1 {
public void show() {
System.out.println(variable);
}
}

return new A2();
}
}

class A2 {

public void test(A1 a) {
a.show();
}
}

以上代码的输出结果是：10

流程如下：

先调用a1对象的getA1()方法，该方法返回一个A1类的子类（A2类），返回的A2类，作为a2.test(A1 a)方法的参数，在test方法中，再调用A2类中的show方法，输出variable变量的值。

仔细观察代码会发现一个奇怪的现象：在调用完getA1()方法之后，该方法内部定义的variable变量的内存单元应该已经被清空，可是getA1()方法的返回值A2对象，却在test方法中调用的show方法中再次使用了variable变量，这个看起来是不是怪怪的呢，这里的variable变量难道就是原来那个应该被清空的variable变量？

以上出现的情况即为：局部内部类的生命周期可能比其使用的局部变量的生命周期要长

所以为了保证在局部内部类中使用的局部变量不会找不到值（即即使局部变量被清空了还能访问到值），则必须将局部变量“拷贝”一份到局部内部类中作为自身的内部变量（这部分工作由编译器完成），这样局部内部类访问的局部变量实际上是访问自身的内部变量，这样即使原来的局部变量的内存单元被清空了，局部内部类依然可以使用局部变量的值（已经拷贝到内部类中）。

这里可以得出一个重要的结论：即局部内部类中使用的局部变量实际上是"拷贝"后的变量

在这个结论的作为条件的前提下，再接下来的分析：

现在换一种常见的情况进行分析,即局部内部类的声明周期短于局部变量的生命周期（大部分情况应该都属于这种）

如果是这种情况，那么可能出现在内部类中对变量进行更改后（实际的更改是拷贝后的那份变量了，所以对原来的变量并不会产生影响）在方法中会再一次使用这个变量，此时就会出现数据的不一致性，即不管内部类中对变量如何更改，因为其更改的始终是拷贝的那份变量，所以外部类的局部变量将一直保持不变，为了避免这种不符合逻辑的情况出现，所以java规定局部内部类使用的局部变量必须为final，这样内部类“拷贝”的那份也定义为final变量，即不可更改，这样就避免了在内部类中对变量进行更改，这样内部类和外部类的局部都不能对变量进行更改，也就避免了非逻辑情况的出现。