深入理解JAVA虚拟机——JVM的类加载时机

时间:2023-01-02 23:13:25

类加载过程中每个步骤的顺序

我们已经知道,类加载的过程包括:加载、连接、初始化,连接又分为:验证、准备、解析,所以说类加载一共分为5步:加载、验证、准备、解析、初始化。

其中加载、验证、准备、初始化的开始顺序是依次进行的,这些步骤开始之后的过程可能会有重叠。 
而解析过程会发生在初始化过程中。 

类加载过程中“初始化”开始的时机

JVM规范中只定义了类加载过程中初始化过程开始的时机,加载、连接过程都应该在初始化之前开始(解析除外),这些过程具体在何时开始,JVM规范并没有定义,不同的虚拟机可以根据具体的需求自定义。

初始化开始的时机:

  • 在运行过程中遇到如下字节码指令时,如果类尚未初始化,那就要进行初始化:new、getstatic、putstatic、invokestatic。这四个指令对应的Java代码场景是: 
    •   通过new创建对象;
    •   读取、设置一个类的静态成员变量(不包括final修饰的静态变量);
    •   调用一个类的静态成员函数。
  • 使用java.lang.reflect进行反射调用的时候,如果类没有初始化,那就需要初始化;
  • 当初始化一个类的时候,若其父类尚未初始化,那就先要让其父类初始化,然后再初始化本类;
  • 当虚拟机启动时,虚拟机会首先初始化带有main方法的类,即主类;

主动引用 与 被动引用

JVM规范中要求在程序运行过程中,“当且仅当”出现上述4个条件之一的情况才会初始化一个类。如果间接满足上述初始化条件是不会初始化类的。 
其中,直接满足上述初始化条件的情况叫做主动引用;间接满足上述初始化过程的情况叫做被动引用。 
那么,只有当程序在运行过程中满足主动引用的时候才会初始化一个类,若满足被动引用就不会初始化一个类。

接口的初始化

接口和类都需要初始化,接口和类的初始化过程基本一样,不同点在于:类初始化时,如果发现父类尚未被初始化,则先要初始化父类,然后再初始化自己;但接口初始化时,并不要求父接口已经全部初始化,只有程序在运行过程中用到当父接口中的东西时才初始化父接口(没用到父接口的变量或者方法时不需要初始化父接口)。


例子

被动引用的场景示例

public class Fu{
    public static String name = "test";
    static{
        System.out.println("父类被初始化!");
    }
}
public class Zi{
    static{
        System.out.println("子类被初始化!");
    }
}
public static void main(String[] args){
    System.out.println(Zi.name);
}
输出结果: 
父类被初始化! 
test
原因分析: 
    本示例看似满足初始化时机的第一条:当要获取某一个类的静态成员变量的时候如果该类尚未初始化,则对该类进行初始化。但由于这个静态成员变量属于Fu类,Zi类只是间接调用Fu类中的静态成员变量,因此Zi类调用name属性属于间接引用,而Fu类调用name属性属于直接引用,由于JVM只初始化直接引用的类,因此只有Fu类被初始化。 

public class A{
    public static void main(String[] args){
        Fu[] arr = new Fu[10];
    }
}
输出结果: 
并没有输出“父类被初始化!” 
原因分析: 
      这个过程看似满足初始化时机的第一条:遇到new创建对象时若类没被初始化,则初始化该类。 但现在通过new要创建的是一个数组对象,而非Fu类对象,因此也属于间接引用,不会初始化Fu类。
public class Fu{
    public static final String name = "test";
    static{
        System.out.println("父类被初始化!");
    }
}
public class A{
    public static void main(String[] args){
        System.out.println(Fu.name);
    }
}
输出结果: 
test 
原因分析: 
本示例看似满足类初始化时机的第一个条件:获取一个类静态成员变量的时候若类尚未初始化则初始化类。 
但是,Fu类的静态成员变量被final修饰,它已经是一个常量。
被final修饰的常量在Java代码编译的过程中就会被放入它被引用的class文件的常量池中(这里是A的常量池)。

所以程序在运行期间如果需要调用这个常量,直接去当前类的常量池中取,而不需要初始化这个类。