类加载过程
概述
JVM并不是一开始就把所有的类都加载进内存中,而是第一次遇到一个需要使用的类时,才会开始加载,并且只加载一次,将类的信息存放在方法区中,同时生成一个class对象存放在堆中
一个.java文件先经过javac编译后会得到对应的.class字节码文件,需要被加载时,先将字节码文件装入内存,最终生成对应的Class类
类加载时机
主动引用
- 使用new实例化对象时
- 反射
- 当初始化一个类之间需要先初始化它的父类
- 启动程序时main方法所在的类
- 当使用JDK1.7的动态语言支持的时候
被动引用
注意:被动引用不会导致类初始化,但不代表类不会经历加载、验证、准备阶段。
- 通过子类引用父类的静态字段,只会触发父类的初始化,而不会触发子类的初始化
- 定义对象数组和集合,不会触发类的初始化
- 类A引用类B的static final常量不会导致类B初始化,(注意静态常量必须是字面值常量,否则还是会触发B的初始化),因为在准备阶段就将static final变量进行了赋值
- 通过类名获取Class对象,不会触发类的初始化。如System.out.println(Person.class)
- 通过Class.forName加载指定类时,如果指定参数initialize为false时,也不会触发类初始化
- 通过ClassLoader默认的loadClass方法,也不会触发初始化动作
类的生命周期
加载阶段
加载只是类加载的一个阶段
- 通过一个类的全限定名来获取定义此类的二进制字节流,可以在各种途径获得类的字节流
- 将字节流所代表的静态存储结构转化成方法区的运行时数据结构
- 堆中生成一个代表这个类的Class对象,作为方法区这个类的各种数据的访问入口
链接阶段
验证:确保加载的类的正确性
确保Class文件的字节流中包含的信息符合当前虚拟机的要求,并且不会危害虚拟机自身的安全。
- 文件格式验证:验证字节流是否符合Class文件格式的规范,如:是否以模数0xCAFEBABE开头、主次版本号是否在当前虚拟机处理范围内等等。
- 元数据验证:对字节码描述的信息进行语义分析,以保证其描述的信息符合Java语言规范的要求;如:这个类是否有父类,是否实现了父类的抽象方法,是否重写了父类的final方法,是否继承了被final修饰的类等等。
- 字节码验证:通过数据流和控制流分析,确定程序语义是合法的、符合逻辑的,如:操作数栈的数据类型与指令代码序列能配合工作,保证方法中的类型转换有效等等。
- 符号引用验证:确保解析动作能正确执行;如:通过符合引用能找到对应的类和方法,符号引用中类、属性、方法的访问性是否能被当
准备:为类的静态变量分配内存,并赋予默认值
静态变量的存储位置:
JDK1.7之前,静态成员变量确实存放在方法区(永久代),但之后就被挪入了堆中(1.8后取消永久代,改为元空间,但静态变量仍在堆中)
注意:赋予默认值不是定义的值,只是0或者null,false
解析:将常量池中的符号引用替换成真是的内存地址的过程
符号引用就是一组符号来描述目标,可以是任何字面量。属于编译原理方面的概念如:包括类和接口的全限定名、字段的名称和描述符、方法的名称和描述符。
直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄。如指向方法区某个类的一个指针。
初始化:为类的静态变量赋值
注意初始化在被动引用的情况下不会发生
按照代码顺序堆静态变量赋值,可以现在静态代码块中赋值,再声明后赋值,会按顺序覆盖值
类加载器
类加载器负责加载所有的类,其为所有被载入内存中的类生成一个java.lang.Class实例对象,不同的加载器加载的同名类,属于不同的类
分类
-
Bootstrap 根类加载器:顶级加载器,c++实现,负责加载核心类,加载$JAVA_HOME中jre/lib/rt.jar里所有的class
-
ExtClassLoader 扩展类加载器:根加载器的子类,加载一些拓展类
-
AppClassLoader 系统/应用类加载器:加载自定义类
注意:
类加载器自身也需要被加载,由它的父类完成,顶级加载器会自动加载
加载机制
- 全盘负责:当一个类加载器负责加载某个class时,该Class所依赖和引用其他Class也将由该类加载器负责载入,除非显示使用另外一个类加载器来载入
- 双亲委派机制:见下文
- 缓存机制:缓存机制将会保证所有加载过的Class都会被缓存,当程序中需要使用某个Class时,类加载器先从缓存区中搜寻该Class,只有当缓存区中不存在该Class对象时,系统才会读取该类对应的二进制数据,并将其转换成Class对象,存入缓冲区中,这就是为很么修改了Class后,必须重新启动JVM,程序所做的修改才会生效的原因。
双亲委派机制
一个类需要加载时,不会直接被它的类加载器加载,而是递归的被它的父类加载器加载,因为递归,所有会一直递归到顶级加载器来执行,如果上层加载器可以完成这个加载,就不会交给子类加载器来执行加载
用处
- 防止恶意覆盖核心类,同样的包名和类名因为双亲委派机制也只会加载核心类,不会加载自定义的类
直递归到顶级加载器来执行,如果上层加载器可以完成这个加载,就不会交给子类加载器来执行加载
用处
- 防止恶意覆盖核心类,同样的包名和类名因为双亲委派机制也只会加载核心类,不会加载自定义的类
- 防止类被不同的加载器重复加载