方法中的内部类不能访问方法中的局部变量的 【真正原因】

package question6;

import java.lang.reflect.Field;

/*
* 方法中的内部类能不能访问方法中的局部变量，为什么？
*/
public class NoFinalFieldCnnotUsedInner
{
public static void main(String[] args)
{
Outer outer = new Outer();
SuperInner inner = outer.outer();
inner.inner();
}
}
/* 定义一个局部内部类的上层接口，用以允许返回局部内部类实例 */
interface SuperInner
{
void inner();
}
/* 定义一个外部类，包括一个outer方法，用以返回局部内部类实例 */
class Outer
{
int y = 0;
//out方法将返回inner实例
SuperInner outer()
{
//假设我们这里x可以被inner访问，那么outer函数返回之后
//x已经被销毁，inner对象就无法访问x

//换句话说就是Inner对象的生存周期超出了x的边界，而能保证
//生存周期一致的情况只有inner对象自己的成员，所以通过在
//inner里边复制一个x来保存这个局部变量x的值以达到目的
//就像val$x一样

//但这种办法有个致命点，如果在inner里对val$x进行赋值操作
//外边的x并不会被改变，所以为了保证两个对象的一致性，该变量
//x以及其复制变量val$x必须为终态的，也就是final，不能再次
//赋值

//反编译inner可以证明以上结论，在字节码里
//		question6.Outer$1Inner(question6.Outer, java.lang.String)
//这是构造方法，传outer不奇怪，内部类都需要外部类的引用指针
//这个String字符串就值得思考了

//4 getfield val$y
//在inner方法中可以看到这个字节码，是val$y 而不是y
int x = 4;
final String y = new String("asd");
class Inner implements SuperInner
{
//			int val$x = 4;
public void inner()
{
try
{
//这里通过反射，可以发现证明此y非彼y，因为我们并没有
//在inner里定义val$y变量，而我们却可以拿得到，没异常
//而我们改的是val$y的值为qqq,下边的syso(y)居然会输出
//qqq，结论可以证实

//通过代码也可以看出来，这个val$y肯定是private的，并且
//他也是final的
Field field = getClass().getDeclaredField("val$y");
field.setAccessible(true);
System.out.println(field.get(Inner.this));
field.set(Inner.this, "qqq");
}
catch (Exception e)
{
e.printStackTrace();
}
//				System.out.println(x);本行编译报错，提示局部内部类访问必须是终态的
System.out.println(y);//输出y的值
}
}
//当inner实例被返回时，x将被销毁
return new Inner();
}
}