方法中的内部类在引用方法中的成员变量时,为什么要定义为final?

Question

方法中的内部类在引用方法中的成员变量时,为什么要定义为final?
class A{
   public void f(final int v){
      private final int i = 0;
        class B{
           int b = i;
           int a = v;
            ...
            ...
   }
}
}

Answer 1

这是一个编译器设计的问题，如果你了解java的编译原理的话很容易理解。
首先，内部类被编译的时候会生成一个单独的内部类的.class文件，这个文件并不与外部类在同一class文件中。
当外部类传的参数被内部类调用时，从java程序的角度来看是直接的调用例如：
public void dosome(final String a,final int b){
     class Dosome{public void dosome(){System.out.println(a+b)}};
     Dosome some=new Dosome();
     some.dosome();
}
从代码来看好像是那个内部类直接调用的a参数和b参数，但是实际上不是，在java编译器编译以后实际的操作代码是
class Outer$Dosome{
       public Dosome(final String a,final int b){
       this.Dosome$a=a;
       this.Dosome$b=b;
}
       public void dosome(){
       System.out.println(this.Dosome$a+this.Dosome$b);
}
}}
从以上代码看来，内部类并不是直接调用方法传进来的参数，而是内部类将传进来的参数通过自己的构造器备份到了自己的内部，自己内部的方法调用的实际是自己的属性而不是外部类方法的参数。
这样理解就很容易得出为什么要用final了，因为两者从外表看起来是同一个东西，实际上却不是这样，如果内部类改掉了这些参数的值也不可能影响到原参数，然而这样却失去了参数的一致性，因为从编程人员的角度来看他们是同一个东西，如果编程人员在程序设计的时候在内部类中改掉参数的值，但是外部调用的时候又发现值其实没有被改掉，这就让人非常的难以理解和接受，为了避免这种尴尬的问题存在，所以编译器设计人员把内部类能够使用的参数设定为必须是final来规避这种莫名其妙错误的存在。