随笔-128  评论-55  文章-5  trackbacks-0
内部类有两种情况:

(1) 在类中定义一个类(私有内部类,静态内部类)

(2) 在方法中定义一个类(局部内部类,匿名内部类)

1、揭露类中内部类

      我们首先看看类中内部类的两个特点:

     (1) 在外部类的作用范围内可以任意创建内部类对象,即使内部类是私有的(私有内部类)。即内部类对包围它的外部类可见。

//代码2:内部类对外部类可见   
  1. class Outer{   
  2.      //创建私有内部类对象   
  3.      public Inner in=new Inner();   
  4.      //私有内部类   
  5.      private class Inner{   
  6.           ...   
  7.      }   
  8. }   


(2) 在内部类中可以访问其外部类的所有域,即使是私有域。即外部类对内部类可见。

//代码3:外部类对内部类可见   
  1. class Outer{   
  2.        //外部类私有数据域   
  3.        private int data=0;   
  4.        //内部类   
  5.        class Inner{   
  6.            void print(){   
  7.                  //内部类访问外部私有数据域   
  8.                  System.out.println(data);   
  9.            }    
  10.        }   
  11. }  

       问题来了:上面两个特点到底如何办到的呢?内部类的"内部"到底发生了什么?

      其实,内部类是Java编译器一手操办的。虚拟机并不知道内部类与常规类有什么不同。编译器是如何瞒住虚拟机的呢?


     对内部类进行编译后发现有两个class文件:Outer.classOuter$Inner.class。这说明内部类Inner仍然被编译成一个独立的类(Outer$Inner.class),而不是Outer类的某一个域。虚拟机运行的时候,也是把Inner作为一种常规类来处理的。

        但问题来了,即然是两个常规类,为什么他们之间可以互相访问私有域那(最开始提到的两个内部类特点)?这就要问问编译器到底把这两个类编译成什么东西了。

        我们利用reflect反射机制来探查了一下内部类编译后的情况(关于探查类内部机制的代码提供在下面的附件里Reflect.java)。

        (1)、编译代码2生成Outer$Inner.class 文件后使用ReflectUtil.reflect("Outer$Inner")对内部类Inner进行反射。运行结果发现了三个隐含的成分:          

class Outer$Inner   
  1. {   
  2.         Outer$Inner(Outer,Outer$Inner);  //包可见构造器   
  3.         private Outer$Inner(Outer);   //私有构造器将设置this$0域   
  4.         final Outer this$0;   //外部类实例域this$0   
  5. }  

      好了,现在我们可以解释上面的第一个内部类特点了:为什么外部类可以创建内部类的对象?

     首先编译器将外、内部类编译后放在同一个包中。

        然后在内部类中附加一个包可见构造器。

        这样,虚拟机运行Outer类中Inner in=new Inner();实际上调用的是包可见构造: new Outer$Inner(this,null)。

        因此即使是private内部类,也会通过隐含的包可见构造器成功的获得私有内部类的构造权限。

     (2)、编译代码3生成Outer.class文件,然后使用ReflectUtil.reflect("Outer")对外部类Outer进行反射。 运行结果发现一个隐含成分如下:

 
  1. class Outer   
  2. {   
  3.           static int access$0(Outer);  //静态方法,返回值是外部类私有域 data 的值。   
  4. }  

      现在可以解释第二个特点了:为什么内部类可以引用外部类的私有域?

        原因的关键就在编译器在外围类中添加了静态方法access$0。 它将返回值作为参数传递给他的对象域data。这样内部类Inner中的打印语句:

                     System.out.println(data);

         实际上运行的时候调用的是:

                 System.out.println(access$0(Outer));

总结一下编译器对类中内部类做的手脚吧:

(1)  在内部类中偷偷摸摸的创建了包可见构造器,从而使外部类获得了创建权限。

(2)  在外部类中偷偷摸摸的创建了访问私有变量的静态方法,从而使内部类获得了访问权限。

这样,类中定义的内部类无论私有,公有,静态都可以被包围它的外部类所访问。

 

2、方法中内部类的特点

      方法内部类也有两个特点

      (1)  方法中的内部类没有访问修饰符,即方法内部类对包围它的方法之外的任何东西都不可见。

      (2)  方法内部类只能够访问该方法中的局部变量,所以也叫局部内部类。而且这些局部变量一定要是final修饰的常量。

class Outter{   
  1.       public void outMethod(){   
  2.              final int beep=0;   
  3.              class Inner{   
  4.                    //使用beep   
  5.              }   
  6.              Inner in=new Inner();   
  7.       }   
  8. }  

      这又是为什么呢?

      (1) 我们首先对Outter类进行反射发现,Outter中再也没有返回私有域的隐藏方法了。

      (2) 对Inner类的反射发现,Inner类内部多了一个对beep变量的备份隐藏域:final int val$i;

      我们可以这样解释Inner类中的这个备份常量域,首先当JVM运行到需要创建Inner对象之后,Outter类已经全部运行完毕,这是垃圾回收机制很有可能释放掉局部变量beep。那么Inner类到哪去找beep变量呢?

      编译器又出来帮我们解决了这个问题,他在Inner类中创建了一个beep的备份,也就是说即使Ouuter中的beep被回收了,Inner中还有一个备份存在,自然就不怕找不到了。

      但是问题又来了。如果Outter中的beep不停的在变化那。那岂不是也要让备份的beep变量无时无刻的变化。为了保持局部变量与局部内部类中备份域保持一致。编译器不得不规定死这些局部域必须是常量,一旦赋值不能再发生变化了。

      所以为什么局部内部类应用外部方法的域必须是常量域的原因所在了。



Author: orangelizq
email: orangelizq@163.com

欢迎大家访问我的个人网站 萌萌的IT人
posted on 2010-04-21 15:00 桔子汁 阅读(491) 评论(1)  编辑  收藏 所属分类: J2SE

评论:
# re: [转]领略内部类的“内部”[未登录] 2010-04-21 23:04 | zhrb
所谓的包可见构造器到底是个什么东西?  回复  更多评论
  

只有注册用户登录后才能发表评论。


网站导航:
博客园   IT新闻   Chat2DB   C++博客   博问