本文主要基于周志明老师的《深入理解Java虚拟机》及部分网络资源。
文章目录
类加载 Class Loading
在Java代码中,类型(Class)的加载、连接与初始化过程都是在程序运行期间完成的。
类的生命周期 Class Cycle
- 加载 loading
- 查找并加载类的二进制数据
- 连接 linking
- 验证 verification
- 验证Class文件是否符合JVM规定
- 准备 preparation
- 为类的静态变量分配内存,并将其初始化为默认值(不是初值!!!)
- 解析 resolution
- 把类中的符号引用转换为直接引用
- 验证 verification
- 初始化 initializing
- 调用类初始化代码 ,为类的静态变量赋予正确的初始值
- 使用
- 卸载
类加载器 ClassLoader
JVM 中内置了三个重要的 ClassLoader,除了 BootstrapClassLoader 其他类加载器均由 Java 实现且全部继承自java.lang.ClassLoader
:
- BootstrapClassLoader(启动类加载器)
- 最顶层的加载类,由C++实现,负责加载
%JAVA_HOME%/lib
目录下的jar包和类或者或被-Xbootclasspath
参数指定的路径中的所有类。
- 最顶层的加载类,由C++实现,负责加载
- ExtensionClassLoader(扩展类加载器)
- 主要负责加载目录
%JRE_HOME%/lib/ext
目录下的jar包和类,或被java.ext.dirs
系统变量所指定的路径下的jar包。
- 主要负责加载目录
- AppClassLoader(应用程序类加载器)
- 面向我们用户的加载器,负责加载当前应用classpath下的所有jar包和类。
双亲委派模型
其实这个双亲翻译的容易让别人误解,我们一般理解的双亲都是父母,这里的双亲更多地表达的是“父母这一辈”的人而已,并不是说真的有一个 Mother ClassLoader 和一个 Father ClassLoader。另外,类加载器之间的“父子”关系也不是通过继承来体现的,是由“优先级”来决定。
每一个类都有一个对应它的类加载器。系统中的 ClassLoder 在协同工作的时候会默认使用 双亲委派模型 。即在类加载的时候,系统会首先判断当前类是否被加载过。已经被加载的类会直接返回,否则才会尝试加载。
加载的时候,首先会把该请求委派该父类加载器的loadClass() 处理,因此所有的请求最终都应该传送到顶层的启动类加载器BootstrapClassLoader 中。当父类加载器无法处理时,才由自己来处理。
- 当父类加载器为null时,会使用启动类加载器BootstrapClassLoader作为父类加载器。
- 父加载器不是“类加载器的加载器”,也不是“父类加载器”。
ClassLoader
双亲委派模型的好处
双亲委派模型保证了Java程序的稳定运行,可以避免类的重复加载(JVM 区分不同类的方式不仅仅根据类名,相同的类文件被不同的类加载器加载产生的是两个不同的类),也保证了 Java 的核心 API 不被篡改。如果没有使用双亲委派模型,而是每个类加载器加载自己的话就会出现一些问题,比如我们编写一个称为 java.lang.Object
类的话,那么程序运行的时候,系统就会出现多个不同的 Object
类。
如果我们不想用双亲委派模型怎么办?
为了避免双亲委托机制,我们可以自己定义一个类加载器,继承java.lang.ClassLoader
,然后重写 loadClass()
方法。
类加载 Class Loading
类的加载指的是将类的.class文件中的二进制数据读入到内存中,将其放在运行时数据区的方法区内,然后再内存中创建一个java.lang.Class对象(规范并未说明Class对象位于哪里,HotSpot虚拟机将其放在了方法区中)用来封装类在方法区内的数据结构。
类加载器并不需要等到某个类被首次主动使用时再加载它,JVM规范中运行类加载器在预料某个类将要被使用时就预先加载它,如果在预先加载的过程中遇到了.class文件缺失或存在错误,类加载器必须在程序首次主动使用该类时才报告错误(LinkageError错误)。
JVM规范并没有规定何时进行类加载,所以如果这个类一直没有被程序主动使用,那么类加载器就不会报告错误。
类的验证 Class Verification
- 类的验证的内容
- 类文件的结构检查
- 语义检查
- 字节码检查
- 二进制兼容性的验证
主动使用与被动使用
Java程序对类的使用方式可分为两种
- 主动使用
- 被动使用
所有的Java虚拟机实现必须在每个类或接口被Java程序“首次主动使用”时才初始化他们。
主动使用
- 创建类的实例(new)
- 访问某个类或接口的静态变量,或者对该静态变量赋值(getstatic、putstatic、invokestatic)
- 调用类的静态方法
- 反射(Class.forName(“com.test.Test”))
- 初始化一个类的子类
- Java虚拟机启动时被标明为启动类的类(Java Test)
- JDK1.7开始提供的动态语言支持:
- java.lang.invoke.MethodHandle实例的解析结果REF_getStatic,REF_putStatic,REF_invokeStatic句柄对应的类没有初始化,则初始化。
除了以上七种情况,其他使用Java类的方式都被看作是对类的被动使用,都不会导致类的初始化。
补充:
对于静态字段来说,只有直接定义了该字段的类才会被初始化;(比如B类继承A类,A中有一个静态变量X。访问B.X时,只会加载初始化A类。)
数组创建
对于数组实例来说,其类型是由JVM在运行期动态生成的,表示[Ljava.lang.Object这种形式。
动态生成的类型,其父类型就是Object。