(本篇是阅读“深入理解Java虚拟机”第二版之后的记录。如果小伙伴想要了解全部内容,建议阅读上书的第七章)
1.前言
虚拟机把描述类的数据从Class文件加载到内存,并对数据进行校验、转换解析和初始化,最终形成可以被虚拟机直接使用的 类型,这就是虚拟机的类加载机制。(这里下划线部分在原书中是“Java类型”,不过容易引起误解,这里直接用“类型”替代)
与那些在编译时需要进行连接工作的语言不同,在Java语言里,类型的加载。连接和初始化过程都是在程序运行期间完成的,这种策略虽然会令类加载时稍微增加一些性能开销,但是会为Java应用程序提供高度的灵活性,Java里天生可以动态扩展的语言特性就是依赖运行期动态加载和动态连接这个特点实现的。
运行时加载是Java最重要的特性之一。后续Applet、JSP、OSGi等技术都使用了此特性。
至于JVM的具体类加载过程,本文不再详述。下面主要介绍“类加载器”、“双亲委派模型”。
2.类加载器(ClassLoader)
书中对“类加载器”这一概念的定义为:虚拟机设计团队把类加载阶段中的“通过一个类的全限定名来获取描述此类的二进制字节流”这个动作放到java虚拟机外部去实现,以便让应用程序自己决定如果去获取所需要的类。实现这个动作的代码模块称为“类加载器”。
概念描述的很精准,但是有些小伙伴可能看的比较迷糊。简单理解,Java类加载器就是:在Java中,通过一个类的类名找到该类并将此类加载进虚拟机。实现这个功能的工具就叫做类加载器。
(发散下思维,在运行时装载class是不是就实现了插件化?再想想热更新、热修复? 没错,这些技术大多是通过类加载器实现的。)
类加载器是Java语言最重要的基石之一,同时也是Java语言流行的重要原因之一。
图1-1.类加载器关系图
Java类加载器一般分为4种:
1.启动类加载器(Bootstrap ClassLoader)
Java中的顶级类加载器,这个类加载器区别于其他所有类加载器的是:它是使用C++实现,是JVM的一部分。而其他类加载器是Java语言实现。(实现语言不是他们的本质区别,只是一般情况下“启动类加载器”是用C++实现的,是JVM的一部分。这是他们的本质区别。)
启动类加载器 是负责将存放在<JAVA_HOME>\lib目录中,或者被-Xbootclasspath参数所指定的路径中的,并且是虚拟机识别的类库加载到虚拟机内存中。启动类加载器无法被Java程序直接引用,用户在编写自定义类加载器时,如果需要报加载请求委派给启动类加载器,那直接使用null代替即可。
2.扩展类加载器(Extension ClassLoader)
这个加载器是由sun.misc.Launcher$ExtClassLoader实现,它负责加载<JAVA_HOME>\lib\ext目录中,或者被java.ext.dirs系统变量所指定的路径中的所有类库,开发者可以直接使用扩展类加载器。
3.应用程序类加载器(Application ClassLoader)
这个加载器是由sun.misc.Launcher$APP-ClassLoader实现。由于这个类加载器是ClassLoader中的getSystemClassLoader()方法的返回值,所以一般也称它为系统类加载器。它负责加载用户路径(ClassPath)上所指定的类库,开发者可以直接使用这个加载器,如果应用程序中没有自定义过自己的加载器,一般情况下这个就是程序中默认的类加载器。
4.自定义类加载器(User ClassLoader)
自定义类加载器:继承ClassLoader,重写findClass方法。
(我们的应用程序一般都是由以上4种类加载器互相配合进行加载的。)
3.双亲委派模型
一听就很高大上的名词,但其实是一个很好理解的概念:
双亲委派模型实在JDK1.2期间被引入并被广泛应用于之后几乎所有的Java程序中,但它并不是一个强制性约束模型,而是Java设计者推荐给开发者的一种类加载器实现方式。
双亲委派模型要求除了顶层的启动类加载器外,其余的类加载器都应当有自己的父类加载器。这里的类加载器之间的父子关系一般不会以继承的关系来实现,而是都使用组合关系来复用。
双亲委派模型的工作流程是:当类加载器收到类加载请求时,它首先不会去尝试加载这个类,而是把这个请求委派给父类加载器去完成,每一个层次的类加载器都是如此(多次委派)。因此所有的加载请求最终都应该传送到顶层的启动类加载器中,只有当父加载器反馈自己无法完成这个加载请求(它的搜索范围中没有找到所需的类)时,子加载器才会尝试自己去加载。
(注:这里的“双亲”不要理解成父母双亲,这里的“双”理解成“多”的意思比较合理。即:每个类都将加载请求委派给自己的父类(逐级向上委派,即多级委派),直至顶层的启动类加载器。)
3.1 双亲委派模型的优点
双亲委派模型保证了Java程序的基础类和行为的稳定。
例如:在双亲委派模型体系中,类java.lang.Object,无论哪一个类加载器要加载这个类,最终都是委派给处于模型最顶端的启动类加载器进行加载,因此Object类在程序的各种类加载器环境中都是同一个类。
相反,如果没有使用双亲委派模型,由各个类加载器自行加载的话,如果用户自己编写了一个名为java.lang.Object的类,并放在程序的ClassPath中,那系统中将会出现多个不同的Object类,Java类型体系中最基础的行为也就无法保证,应用程序将会变得一片混乱。