匿名内部类访问方法成员变量需要加final的原因及证明(转)

https://blog.csdn.net/wjw521wjw521/article/details/77333820

 

在java编程中,没用的类定义太多对系统来说也是一个负担,这时候我们可以通过定义匿名内部类来简化编程,但匿名内部类访问外部方法的成员变量时都要求外部成员变量添加final修饰符,final修饰变量代表该变量只能被初始化一次,以后不能被修改。但为什么匿名内部类访问外部成员变量就不允许他修改了呢?

接下来这个例子应该足够把这些说清楚了:

示例代码:

 

[java] view plain copy
 
  1. public class InnerFinalTest {  
  2.   
  3.     private static Test test0= null;  
  4.       
  5.     public static void main(String[] args) {  
  6.         new InnerFinalTest().method1();  
  7.         System.out.println("-------");  
  8.         test0.test();  
  9.     }  
  10.       
  11.     public void method1(){  
  12.           
  13.         final Test  test = new Test();    
  14.         test0 = new Test(){  
  15.             @Override  
  16.             public void test(){               
  17.                 System.out.println("匿名内部类:" + test);  
  18.                 Field[] field = this.getClass().getDeclaredFields();  
  19.                 for (int i = 0; i < field.length; i++) {  
  20.                     System.out.println(field[i].getName());  
  21.                 }     
  22.             }  
  23.           
  24.         };  
  25.           
  26.               
  27.         InnerFinalTest ift = new InnerFinalTest();  
  28.         ift.innerFinalTest(test0);  
  29.         System.out.println("外部直接访问变量:"+ test);  
  30.     }  
  31.     public void innerFinalTest(Test test){  
  32.         test.test();          
  33.     }  
  34. }  

 

 

 

Test类无关紧要,不过还是贴一下他吧

 

 

[java] view plain copy
 
  1. public class Test {  
  2.     public void test(){  
  3.         System.out.println("啊啊啊啊啊!" );  
  4.     }  
  5. }  


说明:

 

为什么我们要将被匿名内部类访问的变量定义成final呢?
首先,我们在InnerFinalTest类中定义了一个static变量test0:
private static Test test0= null;
该语句说明test0的生命周期和类一样
接下来在main方法中调用method1(),在method1()中将我们定义的匿名内部类赋给了test0,这说明如果test0不往别处指的话,我们匿名内部类将被一直引用着,
如同吃了九转大金丹,与天地同寿,与日月齐光,匿名内部类生命周期和InnerFinalTest类(匿名类的天地)相同了。
但是,method1()调用完了他要释放资源了,所以method1()方法中:

final Test  test = new Test();

test变量也要被释放了,test没了,但匿名内部类引用了test,如果java编译器不搞点小动作,他就没法玩儿了,因为匿名类的生命周期长,还使用着test,而外部变量先撤了,背后捅了匿名内部类一刀子。。。
匿名内部类说,就防着你这一招呢,所以叫编译器大哥帮忙搞了个小动作,明修栈道暗度陈仓,编译的时候,我自己把你给我的变量备份了一份,表面上看是我引用了你的变量,其实在运行期间我就用我自己备份的了。但是别人表面上看不知道我备份了一份,还以为我用的你的,如果不定义成final,变量在外面被修改了,我没改,那我的结果就会和预期不同,为了防止出现这种情况,所以要被定义成final。

 

上面实例代码运行结果:

匿名内部类:Test@40e455bf
this$0
val$test
外部直接访问变量:Test@40e455bf
-------
匿名内部类:Test@40e455bf
this$0
val$test

 

我用反射证明了匿名内部类存在外部变量的备份val$test,其中因为变量是默认类型,所以使用getDeclaredFields得到所有匿名内部类运行期间存在的成员属性,注意,该成员属性在编码期间是不存在的,
是编译器主动为匿名内部类添加的成员属性,所以可以通过反射在运行期间一窥究竟。

 

如果去掉匿名内部类对外部变量的引用,如去掉以下代码:
System.out.println("匿名内部类:" + test);
运行结果中会没有了val$test,这也再次证明了以上结论:匿名内部类备份了变量。

 

通过外部变量和内部变量打印内容相同,说明两个变量test和val$test的变量引用指向的内存区域是相同的,(这里可以参考一下原型模式浅克隆)。指向相同对象,虽然对象不能修改,但对象中的属性可以修改,而匿名内部类变量和外部变量指向相同,自然值也同步修改了。

总结一下,逻辑应该是这样的:为了解决生命周期不同的问题,匿名内部类备份了变量,为了解决备份变量引出的问题,外部变量要被定义成final
我们匿名内部类使用final不是怕修改,是怕不能同步修改

posted on 2018-03-24 00:25  devilwind  阅读(2025)  评论(0编辑  收藏  举报