深入理解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的常量池)。

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


标签：

相关文章