java套娃_Java也有俄罗斯套娃，内部类剖析

在我们日常Java编程中，内部类用到的相对比较少，但是也有必要了解下。注：本篇测试Jdk版本为1.7

1、内部类简述

在Java中，可以将一个类定义在另一个类里面或者一个方法里面，这样的类称为内部类。内部类一般来说分为四种：成员内部类、局部内部类、匿名内部类和静态内部类。

(1)成员内部类

类Inner位于类Outter的内部，像是类Outter的一个成员，Outter称为外部类，Inner成为内部类。成员内部类可以无条件访问外部类的所有成员属性和成员方法(包括private成员和静态成员)。

注意：当成员内部类拥有和外部类同名的成员变量或者方法时，会发生隐藏现象，即默认情况下访问的是成员内部类的成员。如果要访问外部类的同名成员，需要以下面的形式进行访问：

虽然成员内部类可以无条件地访问外部类的成员，而外部类想访问成员内部类的成员却不是这么随心所欲了。在外部类中如果要访问成员内部类的成员，必须先创建一个成员内部类的对象，再通过指向这个对象的引用来访问。

成员内部类是依附外部类而存在的，也就是说，如果要创建成员内部类的对象，前提是必须存在一个外部类的对象。

创建成员内部类对象的一般方式如下：

内部类可以拥有private、protected、public访问权限及包访问权限。比如上面的例子，如果成员内部类Inner用private修饰，则只能在外部类Outter的内部访问，如果用public修饰，则任何地方都能访问；如果用protected修饰，则只能在同一个包下或者继承外部类的情况下访问；如果是默认访问权限，则只能在同一个包下访问。

(2)局部内部类

局部内部类是定义在一个方法或者一个作用域里面的类，它和成员内部类的区别在于局部内部类的访问仅限于方法内或者该作用域内。

注意：局部内部类就像是方法里面的一个局部变量一样，是不能有public、protected、private以及static修饰符的。

(3)匿名内部类

匿名内部类应该是平时我们编写代码时用得最多的，比如多线程编程时：

匿名内部类不能有访问修饰符和static修饰符的。匿名内部类是唯一一种没有构造器的类。正因为其没有构造器，所以匿名内部类的使用范围非常有限。匿名内部类在编译的时候由系统自动起名为Outter$1.class。一般来说，匿名内部类用于继承其他类或是实现接口，并不需要增加额外的方法，只是对继承方法的重写或是实现。

(4)静态内部类

静态内部类也是定义在另一个类里面的类，只不过在类的前面多了一个关键字static。静态内部类是不需要依赖于外部类的，这点和类的静态成员属性有点类似，并且它不能使用外部类的非static成员变量或者方法，这点很好理解，因为在没有外部类的对象的情况下，可以创建静态内部类的对象，如果允许访问外部类的非static成员就会产生矛盾，因为外部类的非static成员必须依附于具体的对象。

2、内部类剖析

(1)为什么成员内部类可以无条件访问外部类的成员？

在此之前，我们已经讨论过了成员内部类可以无条件访问外部类的成员，那具体究竟是如何实现的呢？下面通过反编译字节码文件看看究竟。事实上，编译器在进行编译的时候，会将成员内部类单独编译成一个字节码文件，看下面代码：

编译后出现三个class文件：

反编译Outter$Inner.class文件得到下面信息：

这行是一个指向外部类对象的指针。也就是说编译器会默认为成员内部类添加了一个指向外部类对象的引用，那么这个引用是如何赋初值的呢？下面接着看内部类的构造器：

从这里可以看出，我们定义的内部类没有定义构造器，默认应该提供一个无参的，但是我们看到编译器会默认添加一个参数，该参数的类型为指向外部类对象的一个引用，所以成员内部类中的Outter this&0 指针便指向了外部类对象，因此可以在成员内部类中随意访问外部类的成员。从这里也间接说明了成员内部类是依赖于外部类的，如果没有创建外部类的对象，则无法对Outter this&0引用进行初始化赋值，也就无法创建成员内部类的对象了。

(2)为什么局部内部类和匿名内部类只能访问局部final变量？

在讨论这个问题之前，先看下面这段代码：

这段代码会被编译成两个class文件：Test.class和Test $ 1.class。默认情况下，编译器会为匿名内部类和局部内部类起名为Outter $ x.class(x为正整数)。

当test方法执行完毕之后，变量a的生命周期就结束了，而此时Thread对象的生命周期很可能还没有结束，那么在Thread的run方法中继续访问变量a就变成不可能了，但是又要实现这样的效果，怎么办呢？Java采用了 复制 的手段来解决这个问题。javap -v Test$1将这段代码的字节码反编译可以得到下面的内容：

我们看到在run方法中有一条指令：

编译器默认进行，如果这个变量的值在编译期间可以确定，则编译器默认会在匿名内部类(局部内部类)的常量池中添加一个内容相等的字面量或直接将相应的字节码嵌入到执行字节码中。这样一来，匿名内部类使用的变量是另一个局部变量，只不过值和方法中局部变量的值相等，因此和方法中的局部变量完全独立开。

我们看到匿名内部类Test$1的构造器含有两个参数，一个是指向外部类对象的引用，一个是int型变量，很显然，这里是将变量test方法中的形参b以参数的形式传进来对匿名内部类中的拷贝(变量b的拷贝)进行赋值初始化。

也就说如果局部变量的值在编译期间就可以确定，则直接在匿名内部里面创建一个拷贝。如果局部变量的值无法在编译期间确定，则通过构造器传参的方式来拷贝进行初始化赋值。

从上面可以看出，在run方法中访问的变量b根本就不是test方法中的局部变量b。这样一来就解决了前面所说的生命周期不一致的问题。但是新的问题又来了，既然在run方法中访问的变量b和test方法中的变量b不是同一个变量，当在run方法中改变变量b的值的话，会出现什么情况？

对，会造成数据不一致性，这样就达不到原本的意图和要求。为了解决这个问题，java编译器就限定必须将变量b限制为final变量，不允许对变量b进行更改(对于引用类型的变量，是不允许指向新的对象)，这样数据不一致性的问题就得以解决了。

到这里，想必大家应该清楚为何方法中的局部变量和形参都必须用final进行限定了。

(3)静态内部类有特殊的地方吗？

从前面可以知道，静态内部类是不依赖于外部类的，也就说可以在不创建外部类对象的情况下创建内部类的对象。另外，静态内部类是不持有指向外部类对象的引用的。编译下面代码：

反编译字节码文件Outter$Inner可以看到内部类的构造器参数是没有Outter this&0引用的，也就是说静态内部类的实例化不依赖外部类对象。

3、内部类的使用场景和好处

主要有四点：

① 每个内部类都能独立的继承一个接口的实现，所以无论外部类是否已经继承了某个(接口的)实现，对于内部类都没有影响。内部类使得多继承的解决方案变得完整

② 方便将存在一定逻辑关系的类组织在一起，又可以对外界隐藏

③ 方便编写事件驱动程序

④ 方便编写线程代码

4、常见的与内部类相关的笔试面试题

① 根据注释填写(1)，(2)，(3)处的代码

对于成员内部类，必须先产生外部类的实例化对象，才能产生内部类的实例化对象。而静态内部类不用产生外部类的实例化对象即可产生内部类的实例化对象。

创建静态内部类对象的一般形式为： 外部类类名.内部类类名 xxx = new 外部类类名.内部类类名()

创建成员内部类对象的一般形式为： 外部类类名.内部类类名 xxx = 外部类对象名.new 内部类类名()

② 下面这段代码的输出结果是什么？

输出：

5、Jdk1.8的不同

看下面代码，Jdk1.8引入了effectively final事实上的final，局部变量和形参不再强制需要声明为final了，只要不修改的变量的值是事实上的final，就可以。如果修改变量的值，则提示下图错误，编译不过去。

欢迎小伙伴们留言交流~~