为什么从内部类访问局部变量，需要被声明为最终类型？

参考：http://www.cnblogs.com/ffxxbb/archive/2014/03/11/3594938.html

首先要明白：

一个完整的Java程序运行过程会涉及以下内存区域：

        寄存器：JVM内部虚拟寄存器，存取速度非常快，程序不可控制。

        栈：保存局部变量的值，包括：a.用来保存基本数据类型的值；b.保存类的实例，即堆区对象的引用(指针)。也可以用来保存加载方法时的帧。

        堆：用来存放动态产生的数据，比如new出来的对象。注意创建出来的对象只包含属于各自的成员变量，并不包括成员方法。因为同一个类的对象拥有各自的成员变量，存储在各自的堆中，但是他们共享该类的方法，并不是每创建一个对象就把成员方法复制一次。

        常量池：JVM为每个已加载的类型维护一个常量池，常量池就是这个类型用到的常量的一个有序集合。包括直接常量(基本类型，String)和对其他类型、方法、字段的符号引用(1)。池中的数据和数组一样通过索引访问。由于常量池包含了一个类型所有的对其他类型、方法、字段的符号引用，所以常量池在Java的动态链接中起了核心作用。常量池存在于堆中。

        代码段：用来存放从硬盘上读取的源程序代码。

        全局数据段：用来存放static定义的静态成员或全局变量。分配该区时内存全部清0，结果变量的初始化为0。

 

下图表示内存分配图：

 

内部类可以大致分为两类：成员内部类和局部内部类。
顾名思义，其中，定义在成员位置处的类为成员内部类，而定义在局部位置处的类为局部内部类。

当方法调用完以后，方法就会被当作垃圾而被回收，可是局部内部类创建的对象在堆内存，它并不会立即消失，相反，它仍存在，并且仍在调用局部变量，这显然与局部变量已被销毁矛盾。这时候Java语言提供了一个巧妙的解决办法，用状态修饰符final修饰该变量，从而该变量成了常量，解决了这个问题。