学以致用，通过字节码理解：Java的内部类与外部类之私有域访问

目录：

• 内部类的定义及用处
• 打开字节码理解内部类

 

一、内部类的定义及用处

内部类（inner class）是定义在另一个类中的类。使用内部类，我们可以：

• 访问该类定义所在的作用域中的数据，包括私有的数据
• 可以对同一个包中的其他类隐藏起来
• 当想要定义一个回调函数且不想编写大量代码时，使用匿名（anonymous）内部类比较便捷

本文旨在讲解内部类与外部类可以相互访问对方的私有域的原理，内部类的用法等大家可以自行查阅（官网介绍简单明了：Nested Class）；

 

二、打开字节码理解内部类

我们知道，内部类其实是Java语言的一种语法糖。经过编译会生成一个"外部类名$内部类名.class"的class文件。如下：

非常简单的一个类OuterCls，包含了一个InnerCls内部类。通过javac编译，我们可以看到列表中多了一个文件：OuterCls$InnerCls.class。

接着，我们通过javap -verbose查看生成的OuterCls.class：

 View Code

其中，我们发现OuterCls多了一个静态方法access$000：

我们看一下这个静态方法做了什么：

1. 缺省修饰符，表示这个方法的域是包可见
2. 这个静态方法只有一个参数：OuterCls
3. ACC_SYNTHETIC：表示这个方法是由编译器自动生成的
4. aload_0表示把局部变量表的第一个变量加载到操作栈
5. getfield 访问实例字段 outerField
6. ireturn 返回传参进来的OuterCls的outerFiled的值

好像发现了什么，对比代码，我们在内部类使用了外部类的私有域outerField，编译器就自动帮我们生成了一个仅包可见的静态方法来返回outerField的值。

接着，我们继续查看内部类InnerCls的字节码：

 View Code

首先，我们发现编译器自动生成了一个声明为final的成员：

我们知道，final修饰的成员都是编译器可以确定的常量。经过final修饰的变量，都会放到class的常量池。

然后再看一下编译器自动生成的构造函数：

具体的字节码指令我就不再一一贴出来，我简单解释一下，这个构造函数通过外部传参OuterCls实例，赋值给this$0（上面那个被final修饰的变量）

最后看一下我们的printOutField方法：

我们看到，原本调用outerField的地方，变成了OuterField.access$000(this$0)，意思就是，通过OuterField的静态方法，返回this$0的OuterField。

 

总的来讲，内部类访问外部类的私有成员的原理，是通过编译器分别给外部类自动生成访问私有成员的静态方法access$000及给内部类自动生成外部类的final引用、外部类初始化的构造函数及修改调用外部类私有成员的代码为调用外部类包可见的access$000实现的。同理，匿名内部类、静态内部类都可以通过这种方法分析实现原理