什么是类加载机制?
虚拟机把描述类的数据(比如字节码文件)加载到内存,并对数据进行校验,转换,解析,初始化,最终形成可以被虚拟机直接使用的java类型,这就是java的类加载机制。
在java语言中,类型的加载,连接和初始化都是在程序运行期间完成的。这种策略给性能带来了一定的开销,但是给为java程序提供了高度的灵活性,动态扩展的语言特性就是依赖运行期间的动态加载和连接实现的,例如面向接口编程可以等到运行时才指定其实现类,也可以通过类加载器在运行时从网络或者其他地方加载一个二进制流作为代码的一部分。
类加载的时机
它的生命周期是从被加载到虚拟机开始直到被卸载出内存为止。他的生命周期如下图包含了7个阶段。
什么时候需要类加载?
- 遇到 new ,getstatic,putstatic,invokestatic指令时,如果类没有被初始化,那么需要先触发其初始化。四个指令对应着的场景为[new 关键字实例化对象、读取或者设置一个类的静态字段(不含final静态字段已经被放入常量池的部分)、调用类的静态方法。]
- 使用java.lang.reflect包的方法进行反射调用,如果类没有初始化,则需要先进行初始化。
- 当初始化一个类时如果父类未初始化,则会先触发初始化父类。
- 虚拟机启动时指定的main类。
- 动态语言静态调用的支持。
上面的五种方式被称为对类的主动引用,除此之外所有引用类的方式都不会触发初始化,称为被动引用。所以类加载其实是按需加载。
对于静态字段,在子类调用父类静态字段时,只会初始化该定义字段的类,而不会初始化子类(是类初始化而不是实例初始化)。
当进行子类实例化时,先初始化父类,再初始化子类。
接口在初始化时并不要求父接口初始化好,可以等到需要使用父接口时再进行初始化。
类加载过程
类加载的过程为 加载、验证、准备、解析、初始化。
- 加载阶段,虚拟机会完成三个事情:
- 通过一个类的全限定名来获取定义此类的二进制流。
- 将字节流所代表的静态存储结构转化为方法区的运行时数据结构。
- 并在内存中生成一个代表这个类的java.lang.Class 对象作为方法区对该类的访问入口,这个class的来源可以来自以class文件,网络,jar。。。。等。
然而数组类不通过类加载器创建,而是通过虚拟机直接创建。
数组类的创建过程
加载阶段完成后,虚拟机外部的二进制流就能虚拟机所需要的歌声存储在方法区,生成Class对象,这个对象在Hotspot是在方法区中,作为程序访问方法区中这些类型的外部接口。
- 验证
这一阶段主要是为了保证class的字节流符合当前虚拟机的要求,并且不会危害虚拟机,确保虚拟机的安全。主要进行文件格式验证、元数据验证、字节码验证、符号引用验证。 - 准备阶段
准备阶段是正式为类变量分配内存并为“类变量”设置初始值的阶段,这些变量锁使用的内存在方法区中进行分配,这你的变量是指类中被static修饰的变量,而不包含实例变量,实例变量会在类实例化时随着对象一起分配在java堆中。这里的初始值通常指零值,例如:
public static int value = 3;
value的零值为0而不是3,而value值为3 是被putstatic指令被编译后,存放在()方法中,把value赋值为3是在类初始化的阶段。
但如果是静态常量,那么在编译期间给字段生成constantValue属性。例如
public static final value = 3;
那么在准备阶段虚拟机就会根据ConstantValue将value设置为3.
-
解析
将虚拟机常量池内的符号引用替换为直接引用的过程。
符号引用:以一组符号来描述所引用的目标,符号引用可以说任何形式的字面量。
直接引用:直接指向目标的指针,相对偏移量,或者能间接定位到目标的句柄。有了直接引用,那么直接引用的目标必须在虚拟机中。 -
类初始化
类初始化阶段是类加载过程的最后一步,前面的步骤除了可以通过自定义类加载器参与外,其余动作都是有JVM自己完成,而类初始化阶段才是真正执行类中定义的java程序代码(或者说字节码)。
在准备阶段,类变量已经赋值为系统要求的初始值,如下:
而在初始化阶段则可根据程序员的主观意识去初始化类变量和其他资源。这个初始化就是执行类构造器<clinit>()
方法的过程。
<clinit>()
方法的特点
- 编译器自动搜集类中所有类变量和静态语句块(static{})中的赋值动作。
- 编译器搜集的顺序由语句在程序中源文件中的顺序决定,所以静态语句快只能访问申明在前面的类变量。定义在静态语句块后的变量可以可以在静态语句块中赋值,但是不能被访问。例如:
<clinit>()
方法执行不需要显示的去调用父类<clinit>()
方法,虚拟会保证在调用子类<clinit>()
方法之前父类已经调用完毕。- 因为父类的
<clinit>()
方法先执行,所以父类的静态代码块要犹豫子类的变量赋值操作。 - 如果一个类或接口没有静态语句块,没有对变量的赋值操作也可以不生成
<clinit>()
方法。 - 虚拟机会保证一个类的
<clinit>()
方法在多线程环境下正确的加锁同步,如果多个线程去初始化同一个类,那么只有一个线程去执行<clinit>()
方法,直到该线程执行完毕。
文献参考:
《深入理解Java虚拟机》