文章目录
- 1. 哪些类需要加载
- 2. 类加载步骤
- 2.1 装载
- 2.1.1 这个过程都做了什么事
- 2.1.2 类的模板对象
- 2.1.3 二进制流获取方式
- 2.1.4 Class 实例的位置
- 2.1.5 数组类的加载有什么不同
- 2.2 链接
- 2.2.1 验证
- 2.2.2 准备
- 2.2.3 解析
- 2.3 初始化
1. 哪些类需要加载
在 Java 中数据类型分为 基本数据类型 和 引用数据类型 。基本数据类型由虚拟机预先定义,引用数据类型则需要进行类的加载。
2. 类加载步骤
类的加载步骤分为 : ①装载 ②链接 ③初始化
2.1 装载
所谓装载,简而言之就是将 Java 类的 字节码文件加载到机器内存中,并在内存中构建出Java类的原型——类模板对象。
2.1.1 这个过程都做了什么事
装载完成的操作
装载阶段,简言之,查找并加载类的二进制数据,生成Class的实例。
在加载类时,Java虚拟机必须完成以下3件事情:
- 通过类的全名,获取类的二进制数据流。
- 解析类的二进制数据流为方法区内的数据结构(Java类模型)。
- 创建 java.lang.Class 类的实例,表示该类型。作为方法区这个类的各种数据的访问入口。
2.1.2 类的模板对象
所谓类模板对象,其实就是Java类在JVM内存中的一个快照,JVM将从字节码文件中解析出的常量池、类字段、类方法等信息存储到类模板中,这样JVM在运行期便能通过类模板而获取Java类中的任意信息,能够对Java类的成员变量进行遍历,也能进行Java方法的调用。
反射的机制即基于这一基础。如果JVM没有将Java类的声明信息存储起来,则JVM在运行期也无法反射。
2.1.3 二进制流获取方式
对于类的二进制数据流,虚拟机可以通过多种途径产生或获得。(只要所读取的字节码符合 JVM 规范即可)
● 虚拟机可能通过文件系统读入一个 .class 后缀的文件(最常见)
● 读入 jar、zip 等归档数据包,提取类文件。
● 事先存放在数据库中的类的二进制数据。
● 使用类似于 HTTP 之类的协议通过网络进行加载。
● 在运行时生成一段 Class 的二进制信息等。
2.1.4 Class 实例的位置
类将 .class 文件加载至元空间后,会在堆中创建一个 Java.lang.Class 对象,用来封装类位于方法区内的数据结构,该 Class 对象是在加载类的过程中创建的,每个类都对应有一个Class类型的对象。(instanceKlass -->mirror :Class的实例)
举例:
外部可以通过访问代表 Order 类的 Class 对象来获取 Order 的类数据结构。
2.1.5 数组类的加载有什么不同
创建数组类的情况稍微有些特殊,因为 数组类本身并不是由类加载器负责创建,而是由 JVM 在运行时根据需要而直接创建的,但数组的元素类型仍然需要依靠类加载器去创建。
创建数组类(下述简称A)的过程:
- 如果数组的元素类型是引用类型,那么就遵循定义的加载过程递归加载和创建数组A的元素类型;
- JVM使用指定的元素类型和数组维度来创建新的数组类。
- 如果数组的元素类型是引用类型,数组类的可访问性就由元素类型的可访问性决定。否则数组类的可访问性将被缺省定义为public。
int[] arr
String[] arr
Object[] arr
2.2 链接
链接 分为三部分: 验证 准备 解析
2.2.1 验证
当类加载到系统后,就开始链接操作,验证是链接操作的第一步。
它的目的是保证加载的字节码是合法、合理并符合规范的。
验证的步骤比较复杂,实际要验证的项目也很繁多,大体上Java虚拟机需要做以下检査,如下图所示。
整体说明:
验证的内容则涵盖了类数据信息的格式验证、语义检查、字节码验证,以及符号引用验证等。
- 其中格式验证会和装载阶段一起执行。验证通过之后,类加载器才会成功将类的二进制数据信息加载到方法区中。
- 格式验证之外的验证操作将会在方法区中进行。
2.2.2 准备
简言之,为类的静态变量分配内存,并将其初始化为默认值。
在这个阶段,虚拟机就会为这个类分配相应的内存空间,并设置默认初始值。Java虚拟机为各类型变量默认的初始值如表所示。
注意:
这里不包含基本数据类型的用 static final 修饰的情况,因为 final 在编译的时候分配了,准备阶段会显示赋值。
在这个阶段并不会像初始化阶段中那样会有初始化或者代码被执行。
2.2.3 解析
简言之,将类、接口、字段和方法的符号引用转为直接引用。
1.具体描述:
符号引用就是一些字面量的引用,和虚拟机的内部数据结构和和内存布局无关。比较容易理解的就是在Class类文件中,通过常量池进行了大量的符号引用。但是在程序实际运行时,只有符号引用是不够的,比如当如下 println() 方法被调用时,系统需要明确知道该方法的位置。
举例:输出操作 System.out.println()
对应的字节码:
invokevirtual #24 <java/io/PrintStream.println>
以方法为例,Java虚拟机为每个类都准备了一张方法表,将其所有的方法都列在表中,当需要调用一个类的方法的时候,只要知道这个方法在方法表中的偏移量就可以直接调用该方法。通过解析操作,符号引用就可以转变为目标方法在类中方法表中的位置,从而使得方法被成功调用。
2.小结:
所谓解析就是将符号引用转为直接引用,也就是得到类、字段、方法在内存中的指针或者偏移量。因此,可以说,如果直接引用存在,那么可以肯定系统中存在该类、方法或者字段。但只存在符号引用,不能确定系统中一定存在该结构。
不过Java虚拟机规范并没有明确要求解析阶段一定要按照顺序执行。在HotSpot VM中,加载、验证、准备和初始化会按照顺序有条不紊地执行,但链接阶段中的解析操作往往会伴随着JVM在执行完初始化之后再执行。
2.3 初始化
初始化阶段,简言之,为类的静态变量赋予正确的初始值。(显式初始化)
具体描述
类的初始化是类装载的最后一个阶段。如果前面的步骤都没有问题,那么表示类可以顺利装载到系统中。此时,类才会开始执行Java字节码。(即:到了初始化阶段,才真正开始执行类中定义的 Java 程序代码。)
初始化阶段的重要工作是执行类的初始化方法:<clinit>()方法。
- 该方法仅能由Java编译器生成并由JVM调用,程序开发者无法自定义一个同名的方法,更无法直接在Java程序中调用该方法,虽然该方法也是由字节码指令所组成。
- 它是由类静态成员的赋值语句以及static语句块合并产生的。
-
子类加载钱先加载父类
在加载一个类之前,虚拟机总是会试图加载该类的父类,因此父类的<clinit>总是在子类<clinit>之前被调用。也就是说,父类的 static 块优先级高于子类。
口诀:由父及子,静态先行。 -
哪些类不会生成 <clinit> 方法
Java编译器并不会为所有的类都产生 <clinit> ()初始化方法。哪些类在编译为字节码后,字节码文件中将不会包含 <clinit> ()方法?
● 一个类中并没有声明任何的类变量,也没有静态代码块时
● 一个类中声明类变量,但是没有明确使用类变量的初始化语句以及静态代码块来执行初始化操作时
● 一个类中包含 static final 修饰的基本数据类型的字段,这些类字段初始化语句采用编译时常量表达式 -
代码举例 static 与 final 搭配问题
略 -
<clinit>() 的调用会死锁吗
对于<clinit>()方法的调用,也就是类的初始化,虚拟机会在内部确保其多线程环境中的安全性。
正是因为函数 <clinit>() 带锁线程安全的,因此,如果在一个类的()方法中有耗时很长的操作,就可能造成多个线程阻塞,引发死锁。并且这种死锁是很难发现的,因为看起来它们并没有可用的锁信息。 -
类的初始化情况(主动使用 被动使用)
略