概述

虚拟机把描述类的数据从 Class 文件加载到内存，并对数据进行校验、转换解析和初始化，最终形成可以被虚拟机直接使用的 Java 类型，这就是虚拟机的类加载机制。

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

类加载的时机

类从被加载到虚拟机内存中开始，到卸载出内存为止，经过的生命周期包括：加载、验证、准备、解析、初始化、使用、卸载，其中验证、准备、解析三部分统称为连接，这七个阶段的开始顺序如图所示：

类的加载过程

加载、验证、准备、初始化和卸载这 5 个阶段的开始顺序是确定的，但解析阶段则不一定，它在某些情况下可以在初始化阶段之后再开始，这是为了支持 Java 的运行时绑定。注意，这里说的是 “开始” 顺序，而不是 “进行” 顺序，因为这些阶段通常是互相交叉地混合式进行的。

Java 虚拟机规范没有强制约束开始类加载过程的第一阶段，但对初始化阶段则明确规定有且只有 5 种情况必须立即对类进行初始化：

1) 遇到 new、getstatic、putstatic 或 invokestatic 这 4 条指令时，如果类没有进行过初始化，则必须触发其初始化。生成这 4 条指令的常见 Java 代码场景是：使用 new 关键字实例化对象、读取或者设置一个 static 变量（被 final 修饰，在编译期就把结果放入常量池的除外）、调用一个类的静态方法。

2) 使用 java.lang.reflect 包的方法对类进行反射调用的时候，如果类没有进行过初始化，则必须触发其初始化。

3) 当初始化一个类时，如果其父类没有进行过初始化，则必须触发其父类的初始化。

4) 当虚拟机启动时，用户需要指定一个执行的主类（包含 main 方法的那个类），虚拟机会先初始化这个类。

5) 当使用 JDK 1.7 的动态语言支持时，如果一个 java.lang.invoke.MethodHandle 要实例化最后的解析结果 REF_getStatic、REF_putStatic、REF_invokeStatic 的方法句柄，并且句柄所对应的类没有进行过初始化，则必须触发其初始化。

这 5 种行为称为对类的主动引用，除此之外，所有引用类的方式都是被动引用，都不会触发类的初始化。比如：

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

public class SuperClass {

    static {
        System.out.println("SuperClass init!");
    }

    public static int value = 123;
}

public class SubClass extends SuperClass {

    static {
        System.out.println("SubClass init!");
    }
}

public class NotInitialization {

    public static void main(String[] args) {
        System.out.println(SubClass.value);
    }

}

输出：

SuperClass init
123

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

public class NotInitialization {

    public static void main(String[] args) {
        SuperClass[] sca = new SuperClass[10];
    }

}

输出：无

虽然这里未触发 (package_name).SuperClass 的初始化阶段，但这里触发了另一个名为 “[L(package_name).SuperClass” 的（数组）类的初始化，它是由虚拟机自动生成的，直接继承 Object 的子类，创建动作由字节码指令 newarray 触发。这个类代表了元素类型为 SuperClass 的一维数组，数组应有的属性和方法都实现在这个类里。Java 中对数组的访问比 C++/C 相对安全就是因为这个类封装了数组元素的访问方法。

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

public class ConstClass {

    static {
        System.out.println("ConstClass init!");
    }

    public static final String HELLOWORLD = "hello world"; // 注意和 1) 不同的是，这里使用了 final 进行修饰，属于常量
}

public class NotInitialization {

    public static void main(String[] args) {
        System.out.println(ConstClass.HELLOWORLD);
    }
}

输出：

hello world

虽然源码中引用了 ConstClass 类中的常量 HELLOWORLD，但其实在编译阶段，经过常量传播优化，已经将此常量的值 “hello wrodld” 存储到了 NotInitialization 类的常量池中，以后 NotInitialization 对常量 HELLOWORLD 的引用实际上都会被转化为对 NotInitialization 类自身对常量池的引用。

接口的加载过程与普通类有所不同：

1) 接口不能使用 static 语句块，但编译期仍然会为接口生成 < clinit > 方法，用于初始化接口所定义的成员变量

2) 当一个普通类在初始化时，要求其父类都已经初始化，但一个接口在初始化时，不要求其父接口全部完成初始化，只有在真正用到父接口的时候才会初始化

深入理解 Java 虚拟机（五）类加载的时机

概述

类加载的时机

猜你喜欢