Java中为什么匿名对象中方法，调用局部变量必须加final呢，求详解

Question

Java中为什么匿名对象中方法，调用局部变量必须加final呢，求详解。在网上找了很久，基本没看到想要的答案，最好从Java虚拟机内存分配角度讲一讲，其他角度亦可。

老师只告诉这么用就好了，问了也说不知道，匿名对象在哪没研究过

求大神回复

Answer 1

先插一句，java8开始匿名内部类使用的外部变量不再被强制用final修饰。外部变量要么是final的，要么自初始化后值不会被改变，这两种都是可以在匿名内部类中使用且编译通过。否则就编译报错：error: local variables referenced from an inner class must be final or effectively final。
我觉得类似“final增强内部变量的生存期”这样的说法不完全准确。
先说一下final的外部变量。匿名内部类编译后，final的外部变量（就是常量了），存储到常量池中的，编译期间，匿名内部类使用到该常量的地方都会被替换为对应的“常量值”，比如使用了外部的String str = "java" , 匿名内部类所有用到str的地方都会被替换为"java" 。这样一来，从字节码级别看，内部类引用外部变量的痕迹被抹得一干二净。
再说一下非final的外部变量。当一个匿名内部类被创建时，其构造函数是自动生成的，如果有在内部类中使用到外部变量（非final修饰），那么这种外部变量是作为匿名内部类构造函数的参数，传递到内部类中使用的。当然，这种参数传递是一种传值传递（实际上所有java的参数传递都传值的，基本类型自不必说，Object及其子类作为函数参数，实际上传的值，就是对象在内存的存储地址），因此在内部类中对该外部变量的“值”修改是无效的；另外，如果外部变量在外部类中有修改，那么内部类使用该变量时可能值已经不是预期的那个“数”了。所以内部类使用的外部变量，不允许有任何的修改才能避免上述问题。
所以java编译器会检查匿名内部类使用的变量值有没有修改过，当然对于final的编译器就不用检查了，因为是常量嘛。java8之前的版本为了省事，就干脆强制是final的才能给匿名内部类用。