类加载的时机

以下内容来自《深入理解 Java 虚拟机》（第二版）——周志明

在 Class 文件中描述的各种信息，最终都需要加载到虚拟机中之后才能运行和使用。虚拟机把描述类的数据从 Class 文件加载到内存，并对数据进行校验、转换解析和初始化，最终形成可以被虚拟机直接使用的 Java 类型，这就是虚拟机的类加载机制。

与那些在编译时需要进行连接工作的语言不同，在 Java 语言里面，类型的加载、连接和初始化都是在程序运行期间完成的，这种策略虽然会令类加载时稍微增加一些性能开销，但是会为 Java 应用程序提供高度的灵活性，Java 里天生可以动态扩展的语言特性就是依赖于运行期动态加载和动态连接这个特点实现的。例如，如果编写一个面向接口的应用程序，可以等到运行时再指定其实际的实现类；用户可以通过 Java 预定义的和自定义的类加载器，让一个本地的应用程序可以在运行时从网络或其他一个地方加载一个二进制流作为程序代码的一部分，这种组装应用程序的方式目前已广泛应用于 Java 程序之中。从最基础的 Applet、JSP 到相对复杂的 OSGi 技术，都使用了 Java 语言运行期类加载的特性。

关于类加载部分的内容，书的作者为了避免语言表达的偏差，设立了两个语言上的约定：第一，每个 Class 文件都有可能代表着 Java 语言中的一个类或者接口，后文中直接对 “类” 的描述都包括了类和接口的可能性，而对于类和接口需要分开描述的场景会特别指明；第二，与前面介绍 Class 文件格式时的约定一致，本章所提到的 “Class 文件” 并非特指某个存在于具体磁盘中的文件，这里所说的 “Class 文件” 应当是一串二进制的字节流，无论以何种形式存在都可以。

类从被加载到虚拟机内存中开始，到卸载出内存为止，它的整个生命周期包括：加载、验证、准备、解析、初始化、使用和卸载 7 个阶段。其中验证、准备、解析三个部分统称为连接，如下图。

其中，加载、验证、准备、初始化和卸载这 5 个阶段的顺序是确定的，类的加载过程必须按照这种顺序按部就班地开始，而解析阶段则不一定：它在某些情况下可以在初始化阶段之后再开始，这是为了支持 Java 语言的运行时绑定（也称动态绑定或晚期绑定）。

对于何时需要开始类加载的第一个阶段：加载。Java 虚拟机规范中并没有强制约束。但是对于初始化阶段，虚拟机规范严格要求了有且只有 5 种情况必须立刻对类进行 “初始化”。

1. 遇到 new、getstatic、putstatic 或 invokestatic 这 4 条字节码指令时，如果类没有进行过初始化，则需要先触发其初始化。生成这四条指令的最常见的 Java 代码场景是：使用 new 关键字实例化对象的时候、读取或设置一个类的静态字段（被 final 修饰、已在编译期把结果放入常量池的静态字符除外）的时候，以及调用一个类的静态方法的时候。
2. 使用 java.lang.reflect 包中的方法对类进行反射调用的时候，如果类中没有进行过初始化，则需要先触发其初始化。
3. 当初始化一个类的时候，如果发现其父类还没有进行过初始化，则需要先触发其父类的初始化。
4. 当虚拟机启动时，用户需要指定一个要执行的主类（包含 main() 方法的那个类），虚拟机会先初始化这个主类。
5. 当使用 JDK 1.7 的动态语言支持时，如果一个 java.lang.invoke.MethodHandle 实例最后的解析结果 REF_getStatic、REF_putStatic、REF_invokeStatic 的方法句柄，并且这个方法句柄所对应的类没有进行过初始化，则需要先触发其初始化。

这 5 种场景中的行为称为对一个类进行主动引用。除此之外，所有引用类的方式都不会触发初始化，称为被动引用。被动引用的三个例子：

System.out.println(SubClass.value);  // value 字段在 SuperClass 中定义

通过子类引用父类的静态字段，不会导致子类初始化。

SuperClass[] sca = new SuperClass[10];

通过数组定义来引用类，不会触发此类的初始化。

System.out.println(ConstClass.HELLOWORLD);

常量在编译阶段会存入被调用类的常量池中，本质上并没有直接引用到定义常量的类，因此不会触发定义常量的类的初始化。

接口的加载过程与类加载过程稍有一些不同，针对接口需要做一些特殊说明：接口也有初始化过程，这点与类是一致的，编译器会为接口生成 “ ()” 类构造器，用于初始化接口中所定义的成员变量。接口与类真正有所区别的是前面 5 种中的第 3 种：接口在初始化时，不需要所有的父接口都完成初始化，只有在真正的使用到了父接口的时侯（如引用接口中定义的常量）才会初始化。