Java中为什么内部类对外部类局部变量有引用时，外部类局部变量一定要有final？

如果没有final的话，那么内部类使用的外部类局部变量要用哪个值呢？
使用内部类经常是用在Listener这样的。
而Listener中的监听函数被调用时，大部分情况，new内部类所在的函数早就执行完了，此时外部类局部变量早就不存在了。

而加上final后，编译器是这样处理内部类的。如果这个外部局部变量是常量，则在内部类代码中直接用这个常量。如果是类的实例，则编译器将产生一个内部类的构造参数，将这个final变量传到内部类里，这样即使外部局部变量无效了，还可以使用。

例如：
import java.util.*;

public class Test{
    public void run() {
        final List a=new ArrayList();
        class B{
            public int c;
            public void run(){
                List b;
                b=a;
                System.out.println(b);
            }
        };

        B b=new B();

        b.c=0;
    }
}

使用javap -private Test$1B将看到
Compiled from "Test.java"
class Test$1B extends java.lang.Object{
    public int c;
    private final java.util.List val$a;
    private final Test this$0;
    Test$1B(Test,java.util.List );
    public void run();
}

而下面是使用常量的例子：
public class Test{
    public void run() {
        final int a=100;
        class B{
            public int c;
            public void run(){
                int b;
                b=a;
                System.out.println(b);
            }
        };

        B b=new B();

        b.c=0;
    }
}

javap -private Test$1B：

Compiled from "Test.java"
class Test$1B extends java.lang.Object{
    public int c;
    private final Test this$0;
    Test$1B(Test);
    public void run();
}

javap -private -c Test$1B：

Compiled from "Test.java"
class Test$1B extends java.lang.Object{
public int c;

private final Test this$0;

Test$1B(Test);
Code:
   0:   aload_0
   1:   invokespecial   #1; //Method java/lang/Object."<init>":()V
   4:   aload_0
   5:   aload_1
   6:   putfield        #2; //Field this$0:LTest;
   9:   return

public void run();
Code:
   0:   bipush 100
   2:   istore_1
   3:   getstatic       #3; //Field java/lang/System.out:Ljava/io/PrintStream;
   6:   iload_1
   7:   invokevirtual   #4; //Method java/io/PrintStream.println:(I)V
   10: return

}

另外引用别人的一段话：
内部类并不是直接调用方法传进来的参数，而是内部类将传进来的参数通过自己的构造器备份到了自己的内部，自己内部的方法调用的实际是自己的属性而不是外部类方法的参数。
这样理解就很容易得出为什么要用final了，因为两者从外表看起来是同一个东西，实际上却不是这样，如果内部类改掉了这些参数的值也不可能影响到原参 数，然而这样却失去了参数的一致性，因为从编程人员的角度来看他们是同一个东西，如果编程人员在程序设计的时候在内部类中改掉参数的值，但是外部调用的时 候又发现值其实没有被改掉，这就让人非常的难以理解和接受，为了避免这种尴尬的问题存在，所以编译器设计人员把内部类能够使用的参数设定为必须是 final来规避这种莫名其妙错误的存在。

 

如果熟悉JavaScript的朋友，可以想想JavaScript的闭包特性。