深入理解Java虚拟机学习笔记---类加载的时机

前言

    类在内存中生命周期包括：加载、验证、准备、解析、初始化、使用和卸载。其中验证、准备、解析三部分称为连接（此处不做过多说明，会单独在另外的文章中详细讲述）。

    那么，类在何时会被加载呢？

    Java虚拟机规范并没有强制约束类加载的第一个阶段“加载”何时进行，但它对于“初始化”做了严格的规定，那么也就间接地规定了“加载”类的时机，因为“加载”必须在要在初始化之前开始。

    本文中代码运行的JVM环境：Java HotSpot(TM) 64-Bit Server VM (build 24.45-b08, mixed mode)。

一、主动引用

    Java 虚拟机明确规定，有且仅有5种情况必须立即对类进行“初始化”：

    1. 遇到new、getstatic、putstatic、invokestatic这4种字节码指令时，对应于Java代码，即分别使用 new 关键字实例化对象、读取或者设置一个类的静态字段（被 final 修饰的除外，在编译器已经放入了常量池）、调用类的静态方法这4种情况，若类未初始化，则需要先触发其初始化。

    2. 使用 java.lang.reflect 包的方法对类进行反射调用时，若类未初始化，则需要先触发其初始化。

    3. 初始化一个类时，若其父类未初始化，要先触发父类的初始化。

    4. 虚拟机启动时，用户需要指定一个要执行的主类（main() 方法所在类），虚拟机会先初始化该主类。

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

    以上五种场景中触发类初始化的行为称为对一个类进行主动引用。

二、被动引用

    引用类的方式不会触发该引用类的初始化，这种情况统称为被动引用。

    1. 对于 static 字段，只有直接定义该字段的类才会被初始化

    即子类调用父类的 static 字段，子类不会被初始化，只有父类被初始化。（虚拟机规范并未明确规定要不要初始化子类，取决于虚拟机具体实现。）

    代码验证：

package com.test.passiveref;
public class SuperClass {
      public static int value = 23;
      
      static{
            System.out.println("This is super init...");
      }
}

package com.test.passiveref;
public class SubClass extends SuperClass{
      static{
            System.out.println("This is sub init...");
      }
}

package com.test.passiveref;
public class NotInitialization {
      public static void main(String[] args) {
            System.out.println(SubClass.value);
      }
}

    运行结果：

This is super init...
23

    从运行结果可以看出，通过子类调用父类的 static 变量 value 时，仅进行了父类的初始化。

   

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

    对于创建数组而言，虚拟机会自动生成一个直接继承于Object的类，类似于 [Lcom.test.passiveref.SuperClass，创建动作由字节码指令 newarray 触发。

    这个类代表了一个元素类型为 com.test.passiveref.SuperClass 的一维数组，数组中应有的属性和方法都实现在这个类里，封装了数组元素的访问方法。Java语言对数组的访问比 C/C++ 更安全也在于此，C/C++对元素访问是直接移动数组指针的。

   

    代码验证：

package com.test.passiveref;
public class SuperClass {
      public static int value = 23;
      
      static{
            System.out.println("This is super init...");
      }
}

package com.test.passiveref;
public class NotInitialization2 {
      public static void main(String[] args) {
            SuperClass[] sarr = new SuperClass[10];
      }
}

    运行结果：未输出This is super init... 即未初始化 SuperClass 类。

    3. 对类的常量的引用不会触发定义常量的类的初始化

    在编译阶段，常量已经通过常量传播优化进入了调用者类的常量池，以后调用者类对常量的引用实际上已经是对自身常量池中常量的引用，这两个类在编译成Class文件后不再有任何关联。

    代码验证：

package com.test.passiveref;
public class ConstantClass {
      static{
            System.out.println("This is Constant init...");
      }
      public static final String HELLOWORLD = "hello world";
}

package com.test.passiveref;
public class NotInitialization3 {
      public static void main(String[] args) {
            System.out.println(ConstantClass.HELLOWORLD);
      }
}

    运行结果：

    从运行结果可以看出 ConstantClass 类并没有初始化。

-------------------------------------------------------------------------------- END ------------------------------------------------------------------------