前言
当我们运行Java程序时,Java虚拟机(JVM)需要加载各种类文件,以执行程序中的代码。Java的类加载机制是Java语言的一个关键特性,它负责在运行时将类加载到内存中,并确保类的正确性。
类是在运行期间第一次使用时,被类加载器动态加载至JVM。JVM不会一次性加载所有类。因为如果一次性加载,那么会占用很多的内存。
一、类的生命周期
类的生命周期包括以下 7 个阶段:
● 加载(Loading)
● 验证(Verification)
● 准备(Preparation)
● 解析(Resolution)
● 初始化(Initialization)
● 使用(Using)
● 卸载(Unloading)
其中,前五个阶段是最重要的,它们也是类加载过程,可以通过一句谐音来记忆“家宴准备了西式菜” = 家 (加载) 宴 (验证) 准备 (准备) 了西 (解析) 式 (初始化) 菜
Step1:加载
加载是类加载的第一个阶段,加载过程完成以下3件事:
1. 通过类的完全限定名称获取定义该类的二进制字节流。
2. 将该字节流表示的静态存储结构转换为Metaspace元空间区的运行时存储结构。
3. 在内存中生成一个代表该类的 Class 对象,作为元空间区中该类各种数据的访问入口。
Step2:验证
- 确保 Class文件的字节流中包含的信息符合当前虚拟机的要求,并且不会危害虚拟机自身的安全。
Step3:准备
- 类变量是被 static 修饰的变量,准备阶段为类变量分配内存并设置初始值,使用的是元空间区的内存。
- 实例变量不会在这阶段分配内存,它会在对象实例化时,随着对象一起被分配在堆中。应该注意到,实例化不是类加载的一个过程,类加载发生在所有实例化操作之前,并且类加载只进行一次,实例化可以进行多次。
- 初始值一般为 0 值。例如:下面的类变量 value 被初始化为 0 而不是 123。
public static int value = 123;
- 如果类变量是常量,那么它将初始化为表达式所定义的值而不是 0;例如:下面的常量 value 被初始化为 123 而不是 0。
public static final int value = 123;
Step4:解析
- 将常量池的符号引用替换为直接引用的过程。其中解析过程在某些情况下可以在初始化阶段之后再开始,这是为了支持 Java 的动态绑定。
Step5:初始化
- 初始化阶段才真正开始执行类中定义的 Java 程序代码。初始化阶段是虚拟机执行类构造器
clinit()方法的过程。在准备阶段,类变量已经赋过一次系统要求的初始值,而在初始化阶段,根据程序员通过程序制定的主观计划去初始化类变量和其它资源。 - clinit()是由编译器自动收集类中所有类变量的赋值动作和静态语句块中的语句合并产生的,编译器收集的顺序由语句在源文件中出现的顺序决定。所以,静态语句块只能访问到定义在它之前的类变量,定义在它之后的类变量只能赋值,不能访问。
接口的类加载
接口中不可以使用静态语句块,但仍然有类变量初始化的赋值操作,因此接口与类一样都会生成 clinit() 方法。但接口与类不同的是,执行接口的 clinit() 方法不需要先执行父接口的 clinit() 方法。只有当父接口中定义的变量使用时,父接口才会初始化。另外,接口的实现类在初始化时也一样不会执行接口的 clinit() 方法。
虚拟机会保证一个类的 clinit() 方法在多线程环境下被正确的加锁和同步,如果多个线程同时初始化一个类,只会有一个线程执行这个类的 clinit() 方法,其它线程都会阻塞等待,直到活动线程执行 clinit() 方法完毕。如果在一个类的 clinit() 方法中有耗时的操作,就可能造成多个线程阻塞,在实际过程中,该阻塞非常隐蔽,几乎不会被察觉。
二、类加载的时机
主动引用
虚拟机规范中并没有强制约束何时进行加载,但是规范严格规定了只有下列几种情况必须对类进行加载:
- 当遇到 new 、 getstatic、putstatic 或 invokestatic 这 4 条字节码指令时:
public class Demo01 {public static void main(String[] args){//执行以下字节代码,类会被加载//1.new指令Parent parent = new Parent();//getStatic指令System.out.println(Parent.i);//putStatic指令Parent.i=4;//invokeStatic 指令Parent.dosth();//如果是访问常量,会到常量池中获取,不会触发类加载System.out.println(Parent.k);}
}
class Parent{static int i = 3;static final int k = 3;static {System.out.println("Parent类被加载");}public static void dosth() { }
}
- 使用 java.lang.reflect包的方法对类进行反射调用时如 Class.forname(“…”), 或newInstance() 等等。如果类没初始化,需要触发类的加载。
//1.Class.forname("...")try {Class.forName("com.apesource.demo3.Parent");} catch (ClassNotFoundException e) {e.printStackTrace();}//仅获取Class对象,不会被加载Class cls = Parent.class;////使用newInstance() ,会被加载cls.newInstance();
- 子类被加载时,父类也会被加载
public class Demo02 {public static void main(String[] args){Son son = new Son();}
}
class Father{static{System.out.println("father类被加载"); }
}
class Son extends Father{static {System.out.println("son类被加载");}
}
- 当一个接口中定义了 JDK8 新加入的默认方法(被 default 关键字修饰的接口方法)时,如果有这个接口的实现类发生了加载,则该接口要在实现类之前被加载。
interface A{default void dosth() {System.out.println("实现了该接口的实现类被加载之前会先加载该接口");}
}
- main方法执行时,main方法所在的类也会被加载
public class Demo02 {static{System.out.println("Demo02被加载");}public static void main(String[] args){}
}
被动引用
除主动引用之外,所有引用类的方式都不会触发加载,称为被动引用。
-
通过子类引用父类的静态字段,不会导致子类加载。
-
通过数组定义来引用类,不会触发此类的加载。该过程会对数组类进行加载,数组类是一个由虚拟机自动生成的、直接继承自 Object 的子类,其中包含了数组的属性和方法。
-
常量在编译阶段会存入调用类的常量池中,本质上并没有直接引用到定义常量的类,因此不会触发定义常量的类的加载。
//被动引用,不会被加载
public class Demo02 {public static void main(String[] args) throws InstantiationException, IllegalAccessException {//1.通过子类调用父类的静态变量,只会触发父类的加载,不会触发子类的类加载System.out.println(Son.value); //2.通过类定义的数组,不会触发类加载Father[] array = new Father[16];System.out.println(array);//3.访问类的静态常量,不会触发类加载System.out.println(Father.i);}
}
class Father{static final int i = 3;static int value = 3;static{System.out.println("father类被加载");}
}
class Son extends Father{static {System.out.println("son类被加载");}
}
三、类与类加载器
在Java中,类加载机制与类加载器(ClassLoader)密切相关。类加载器负责加载类文件并构建类的表示。
类加载器分类
-
启动类加载器(Bootstrap ClassLoader)
该类加载器负责将存放在 <JRE_HOME>\lib 目录中的革新类库加载到虚拟机内存中,启动类加载器无法被 Java 程序直接引用。 -
扩展类加载器(Extension ClassLoader)
该类加载器负责将存放在 <JRE_HOME>/lib/ext 或者被 java.ext.dir 系统变量所指定路径中的所有类库加载到内存中,扩展类库都是由扩展类加载器加载,开发者可以直接使用扩展类加载器。 -
应用程序类加载器(Application ClassLoader)
该类加载器是由 AppClassLoader(sun.misc.Launcher$AppClassLoader)实现,负责加载自定义类或第三方jar包。开发者可以直接使用这个类加载器,如果应用程序中没有自定义过自己的类加载器,一般情况下这个就是程序中默认的类加载器。
四、双亲委派模型
应用程序是由三种类加载器互相配合,从而实现类加载,除此之外还可以加入自己定义的类加载器。
类加载器之间的层次关系,称为双亲委派模型(Parents Delegation Model)。该模型要求除了顶层的启动类加载器外,其它的类加载器都要有自己的父类加载器。这里的父子关系一般通过组合关系(Composition)来实现,而不是继承关系(Inheritance)。
双亲委派工作机制
一个类加载器首先将类加载请求转发到父类加载器,只有当父类加载器无法完成时才尝试自己加载。
双亲委派的作用
- 使得 Java 类随着它的类加载器一起具有一种带有优先级的层次关系,从而使得基础类得到统一,避免冲突;
例如:java.lang.Object 存放在 rt.jar 中,如果我们在类路径ClassPath下也编写一个java.lang.Object,程序可以编译通过,但是由于双亲委派模型的存在,在 rt.jar 中被启动类加载器加载的 Object 比在 ClassPath 中被应用程序类加载器加载的 Object 优先级更高,那么程序中使用的所有的 Object 都是由启动类加载器所加载的 Object。
- 实现热加载,比如Spring Boot DevTools;
五、对象的创建过程
以上是Java对一个类加载的过程,到现在位置,我们只是将Class类加载的流程熟悉了一边,但是仅仅将类加载到初始化的完成,也只是类声明周期的前五步,在类使用的过程出,除了静态资源访问、反射操作之外,还有一个关键的使用,就是对象的实例化,也就是对象的创建过程:
Step1:类加载检查
虚拟机遇到一条 new 指令时,首先检查这个符号引用代表的类是否已被加载过、解析和初始化过。如果没有,那必须先执行相应的类加载过程。
Step2:分配内存
在类加载检查通过后,接下来虚拟机将为新生对象分配内存。对象所需的内存大小在类加载完成后便可确定,为对象分配空间的任务等同于把一块确定大小的内存从 Java 堆中划分出来。内存分配的查找方式有 “指针碰撞” 和 “空闲列表” 两种。
指针碰撞:
- 使用场景:适用于堆内存规整(没有内存碎片的情况);
- 原理:用过的内存全部整合到一边,没有过的内存放在另一边,中间有一个分界值指针,只需要向着没用过的内存方法将该指针移动对象内存大小的位置即可;
- GC收集器:Serial、ParNew
空闲列表:
- 使用场景:堆内存不规整的情况;
- 原理:虚拟机会维护一个列表,用来记录哪些内存是可用的,在分配的时候,找一个足够这个对象使用的内存分配给对象实例,最后更新列表记录;
- GC收集器:CMS
选择以上两种方式中的哪一种,取决于 Java 堆内存是否规整。而 Java 堆内存是否规整,取决于 GC 收集器的算法是"标记-清除",还是"标记-整理"。
Step3:初始化零值
内存分配完成后,虚拟机需要将分配到的内存空间都初始化为零值(不包括对象头),这一步操作保证了对象的实例字段在 Java代码中可以不赋初始值就直接使用,程序能访问到这些字段的数据类型所对应的零值。
Step4:设置请求头
初始化零值完成之后,虚拟机要对对象进行必要的设置,例如这个对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码、对象的 GC 分代年龄等信息。 这些信息存放在对象头中。 另外,根据虚拟机当前运行状态的不同,如是否启用偏向锁等,对象头会有不同的设置方式。
Step5:执行init构造方法
在上面工作都完成之后,从虚拟机的视角来看,一个新的对象已经产生了,但从Java 程序的视角来看,对象创建才刚开始,init 构造方法还没有执行,目前所有的字段都还为零。所以一般来说,执行 new 指令之后会接着执行 init构造方法,把对象按照程序逻辑的意愿进行初始化,这样一个真正可用的对象才算完整创建出来。
总结
Java的类加载机制是Java虚拟机的一个重要组成部分,它负责将类加载到内存中,并确保类的正确性。了解这个机制有助于开发者更好地理解Java程序的运行方式,并能够更好地应对类加载相关的问题。