JVM之类加载机制（一）

最新推荐文章于 2024-07-27 07:00:00 发布

盈小盈*ZERO

最新推荐文章于 2024-07-27 07:00:00 发布

阅读量92

点赞数

分类专栏： JVM

本文链接：https://blog.csdn.net/qq_40384370/article/details/103008798

版权

JVM 专栏收录该内容

8 篇文章 0 订阅

订阅专栏

类加载机制（一）

类加载的时机
- 生命周期
- 初始化的时机
类加载的过程

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

类加载的时机

生命周期

类从被加载到虚拟机内存中开始，到卸载出内存为止，生命周期包括：

生命周期每个阶段的顺序并不全是确定的，加载、验证、准备、初始化和卸载五个阶段的顺序是确定的，类的加载过程必须按着这种顺序开始，然而解析阶段则不一定。
注意：开始≠进行|完成，这些阶段通常都是互相交叉地混合式进行的，通常会在一个阶段执行的过程中调用、激活另一个阶段

初始化的时机

①遇到new、getstatic、putstatic或者invokestatic这四条字节码指令时，如果类没有进行过初始化，则必须要先触发其初始化。例：使用new关键字实例化对象的时候，读取或设置一个类的静态字段（被final修饰、已在编译期把结果放入常量池的静态字段除外）的时候、调用一个类的静态方法的时候。
②使用java.lang.reflect包的方法对类进行反射调用的时候
③当初始化一个类的时候，如果发现其父类没有进行初始化，必须先要触发其父类的初始化。接口在初始化时，并不要求其父类的接口全部都完成初始化，只有在用到父接口的时候（如引用接口中定义的常量）才会初始化
④当虚拟机启动时，用户需要指定一个需要执行的主类（包含main()方法的那个类），虚拟机会先初始化这个主类。
⑤当使用JDK1,7的动态语言支持时，如果一个java.lang.invoke.MethodHandle实例最后的解析结果REF_getStatic、REF_putStatic、REF_invokeStatic的方法句柄，并且这个方法句柄所对应的类没有进行过初始化，需要先触发其初始化。
对于这五类初始化的情景，虚拟机规范了一个很强烈的限定语：“有且只有”，这五种场景中的行为称为一个类进行主动引用。而且，所有引用类的方式都不会触发初始化，成为被动引用。

例1：

public class SubClass extends SuperClass{
	static {
		System.out.println("SubClass init");
	}
}

public class SuperClass {
	static {
		System.out.println("SuperClass init!");
	}
	public static int value=123;
}


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

}

运行结果截图
输出结果只有SuperClass init!，并没有输出SubClass init!，对于静态字段，只有直接定义这个字段的类才会被初始化，因此通过其子类来引用父类中定义的静态字段，只会触发父类的初始化，不会触发子类的初始化。对于Sun HotSpot虚拟机来说可通过-XX:+TraceClassLoading参数观察到此操作会导致子类的加载

例2：

public static void main(String[] args) {
/**
*通过数组定义来引用类，不会触发此类的初始化
**/
		SuperClass[] scaClasses= new SubClass[10];
	}

将main函数进行更改之后，我们发现控制台并没有输出SuperCLass init!,说明并没有触发类org.fenixsoft.classloading.SuperClass的初始化。但是在这一段代码里触发了另一个名为[Lorg.fenixsoft.classloading.SuperClass（一个元素类型为org.fenixsoft.classloading.SuperClass的一维数组）的初始化，对于用户代码来说，这不是一个合法的类的名称，他是一个由虚拟机自动生成的、直接继承于java.lang.Object的子类，创建动作有字节码文件newarray触发。
Java语言中对数组的访问比C/C++相对安全：Java的类封装了数组元素的访问方法，C/C++直接翻译为对数组的移动，Java中越界会抛出异常，但是越界检查不是封装在数组元素访问的类中，而是封装在数组访问的xload、xastore字节码指令中

例三

public class ConstClass {
/**
*常量在编译阶段会存入调用类的常量池中，本质上并没有直接引用到定义常量的类，因此不会触发定义常量的类的初始化。
**/
	static {
		System.out.println("ConstClass init!");
	}
	public static final String HELLOWORD="hello word";

}

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

在这里插入图片描述
输出结果中并没有输出“ConstClass init!”,这是因为虽然在Java源码中引用了ConstClass类中的常量HELLOWORD，但是其实在编译阶段通过常量传播优化，已经将此常量的值“hello word"存储到了Test3类的常量池中，以后Test3对常量ConstClass.HELLOWORD的引用实际都转化为对Test3类对自身常量池的引用了，也就是说，实际上Test的Class文件中并没有ConstClass类的符号引用入口，这两个类在编译成Class后就不存在任何联系了。
接口的加载过程与类的加载过程稍有些不同，针对接口需要注意：接口也有初始化过程，接口中不能使用”static{}“语句块，但编译器仍然会为接口生成()类构造器，用于初始化接口中所定义的成员变量。

类加载的过程

加载

加载阶段需要完成的3件事情：
①通过一个类的全限定名来获取定义此类的二进制字节流
②将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构
③在内存中生成一个代表这个类的java.lang.Class对象，作为方法区这个类的各种数据的访问入口。

验证

目的：确保Class文件的字节流中的包含的信息符合当前虚拟机的要求，并且不会危害虚拟机自身的安全。

检验动作

文件格式验证： 验证字节流是否符合Class文件规范（常量索引值；是否以魔数0xCAFEBAB开头；主次版本号是否在处理范围内；常量类型；不符合编码）解析存储进方法区
元数据验证： 保证其描述的信息是否符合Java语言规范（是否有父类；是否继承了不该继承的类）个人觉得类似于语义分析
字节码验证： 通过数据流和分析流分析，确定语义的合法性
符号引用验证： 类自身以外（常量池中的各种符号引用）的信息进行匹配性校验；确保解析动作正常执行解析阶段：符号引用转化为直接引用时进行的验证

准备

正式为类变量（被static修饰的变量，不包括实例变量，实例变量被保存在Java堆中）分配内存，并设置类变量初始值的阶段。
注：准备阶段是在方法区中进行内存分配，所分配的类变量初始值通常情况下为数据类型零值

//一般情况
public static int value = 123 ;
//准备阶段value的值为0.在初始化阶段才会变为123


//特殊情况
public static final int value = 123 ;
//此时value的值就会被赋值为123，而不是数据类型的零值。

解析

将常量池内的符号引用替换为直接引用的过程

类或接口解析

1.数组类型：元素类型为对象，按照非数组类型加载数组元素类型，接着生成数组维度和数组对象
2.非数组类型：将代表N的全限定名传给D的类加载器去加载类C
类或接口解析无异常，会在解析全部完成之前进行符号引用验证

字段解析

解析字段，判断本身/接口/父类中是否包含了简单名称和字段描述符都与目标相匹配的字段（直接引用）
解析成功之后需要进行权限验证

类方法解析

解析类方法表
解析顺序:①接口，如果是接口，直接抛出异常，不是接口进行下一步解析②查本身是否含有直接引用 ③父类④接口
解析成功之后需要进行权限验证

接口方法解析

解析接口
解析顺序：①如果是类，抛出异常②查本身③查父接口
所有方法默认都是public，所以在接口方法解析的时候不存在访问权限的问题

初始化

初始化： 在初始化阶段才开始执行类中的Java程序代码，初始化阶段就是执行类构造器()方法的过程。
< clinit>()方法： 由编译器自动收集（收集顺序就是在源文件中出现的顺序）类中的所有变量的赋值动作和静态语句块中的语句合并产生的。
注：静态语句块中只能访问到定义在静态语句块之前的变量，定义在他之后的变量，在前面的静态语句块可以进行赋值，但是不能进行访问

< clinit>()：
1.()不需要显式调用父类构造器，会保证子类()执行之前父类已经执行完毕（优先级：父类的静态语句块>子类）
2.()对于类或接口都不是必需的。
类中无静态语句块，也无对变量的赋值操作，则不生成()。
接口中不能使用静态语句块，但仍有变量初始化操作，只有父接口中定义的变量被使用时，父接口才会进行初始化。
3.虚拟机会保证一个类的()方法在多线程环境中被正确加锁，同步。
注：< clinit>()方法中如果含有耗时操作，很有可能会造成多个进程的阻塞
===============================================

描述一个类的加载过程：
Person person = new Person()

1.查找Person.class，并加载到内存中。
2.执行类里的静态代码块。
3.在堆内存里开辟内存空间，并分配内存地址。
4.在堆内存里建立对象的属性，并进行默认的初始化。
5.对属性进行显示初始化。
6.对对象进行构造代码块初始化。
7.调用对象的构造函数进行初始化。
8.将对象的地址赋值给person变量。