Java中局部内部类可以访问它所在方法中定义的final修饰的局部变量的合理解释

标题有点长，可能有点语病，先别管那么多！
首先看下面的这段代码：

public class LocalInnerClassTest{
      public static void main(String[] args){
         Outer obj=new Outer();          //生成一个外部类对象
         SuperInner si=obj.outer();        //调用外部类中的outer()方法，返回一个SuperInner类型对象赋值给si
        si.m1();             //调用被覆盖的方法m1(),输出：Inner's m1() 20
     }
}

/**
*定义一个接口SuperInner，内部定义一个抽象方法m1(),无返回类型
*/
interface SuperInner{
     public void m1();
}

/**
*定义一个类Outer，内部只定义一个方法outer()，返回类型为SuperInner
*/
class Outer{
     public SuperInner outer(){
        int a=10;                   //方法中定义一个局部变量a，并赋值为10
        final int b=20;          //再定义一个final局部变量b，初始化为20

        class Inner implements SuperInner{              //在outer()方法中定义一个局部内部类Inner,实现接口SuperInner
           public void m1(){    //类中只有一个覆盖接口SuperInner的方法m1()
              System.out.println("Inner's m1()"+a);    //编译报错
              System.out.println("Inner's m1() "+b);    //编译通过，输出：Inner's m1() 20
           }
        }
        return new Inner();
     }
}

 我们先从主方法开始看代码的执行顺序，先生成一个Outer类对象obj，obj调用本类 中方法outer()；程序开始跳到outer()方法内执行程序语句，先后生成局部变量a和b,再定义一个局部内部类Inner，返回一个 SuperInner类型的对象。将返回的SuperInner类型对象地址传给SuperInner类型对象si。si再调用m1()方法，因为已经在 局部内部类中覆盖了接口中的m1()方法，所以将调用局部内部类中的m1()方法，程序跳到局部内部类中m1()方法内执行程序语句，先输出一段字符串和 a，结果编译报错，先 将这条程序语句隐藏，执行下面的语句，你会发现编译通过而且输出Inner's m1() 20！

为 什么会这样呢？大家都知道局部变量仅仅在一个范围内有效，在方法调用完就被内存释放，在Outer类对象obj调用outer()方法时，a和b才产生， 调用结束后被内存释放，那么b这个值也就不复存在了，为什么还会输出20呢？难道局部变量被final修饰就不会被内存释放而保留？

其 实有部分操作对于程序员是透明的，那是JAVA语言开发者的小把戏，在定义a和b 时JVM(JAVA虚拟机)做了程序员看不到的操作，他将b拷贝了一份给局部内部类，也就是说JVM在局部内部类中定义了一个final int b=20；这个操作程序员是不知道的！当调用m1()方法时输出的20并不是原来outer()方法中定义的b，而仅仅是JVM拷贝的一个副本。那么为什 么a没被打印出呢？那是因为JVM并没有拷贝它，因为没有final修饰，说明它可以被修改，如果把a 改为 a++ ，此时JVM就不知道拷贝a还是a++了，所以对于无final修饰的局部变量JVM是不会拷贝传给局部内部类的，自然无法打输出！