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是不会拷贝传给局部内部类的，自然无法打输出！