第02章_类加载子系统
2.1类加载子系统的作用
类加载器子系统负责从文件系统或者网络中加载Class文件,并将其转换为 Java 虚拟机可以处理的二进制字节流。class文件在文件开头有特定的文件标识。
2.2类加载子系统的结构
ClassLoader只负责class文件的加载,至于它是否可以运行,则由
Execution Engine
决定。加载的类信息存放于一块称为方法区的内存空间。除了类的信息外,方法区中还会存放运行时常量池信息,可能还包括字符串字面量和数字常量(这部分常量信息是Class文件中常量池部分的内存映射)
2.3类加载器ClassLoader角色
class file存在于本地硬盘上,可以理解为设计师画在纸上的模板,而最终这个模板在执行的时候是要加载到JVM当中来根据这个文件实例化出n个一模一样的实例。
class file加载到JVM中,被称为DNA元数据模板,放在方法区。
在.class文件->JVM->最终成为元数据模板,此过程就要一个运输工具(类装载器Class Loader),扮演一个快递员的角色。
2.4类的加载过程
以下列程序为例:
2.4.1加载阶段
通过一个类的全限定名获取此类的
二进制字节流
。将这个字节流所代表的静态存储结构转化为方法区的元数据
在堆内存当中生成一个该类的Class对象,作为方法区这个类的各种数据的访问入口。
补充:加载class文件的方式
从本地系统中直接加载
通过网络获取,典型场景:Web Applet
从zip压缩包中读取,成为日后jar、war格式的基础
运行时计算生成,使用最多的是:动态代理技术
由其他文件生成,典型场景:JSP应用
从专有数据库中提取.class文件,比较少见
从加密文件中获取,典型的防Class文件被反编译的保护措施
2.4.2链接阶段
- **验证(Verify)**:
- 目的在子确保Class文件的字节流中包含信息符合当前虚拟机要求,保证被加载类的正确性,不会危害虚拟机自身安全。
- 主要包括四种验证,文件格式验证,元数据验证,字节码验证,符号引用验证。
- **准备(Prepare)**:
- 为
类变量
分配内存并且设置该类变量的默认初始值,int类型默认就是0。 - 这里不包含用final修饰的static,因为final在编译的时候就会分配了,准备阶段会显式初始化;
- 这里不会为实例变量分配初始化,因为未创建对象。类变量会分配在方法区中,而实例变量是会随着对象一起分配到Java堆中。
- 为
- **解析(Resolve)**:
- 将常量池内的符号引用转换为直接引用的过程。
- 事实上,解析操作往往会伴随着JVM在执行完初始化之后再执行。
- 符号引用就是一组符号来描述所引用的目标。符号引用的字面量形式明确定义在《java虚拟机规范》的Class文件格式中。直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄。
- 解析动作主要针对类或接口、字段、类方法、接口方法、方法类型等。对应常量池中的CONSTANT_Class_info,CONSTANT_Fieldref_info、CONSTANT_Methodref_info等。
2.4.3初始化阶段
==初始化阶段就是执行类构造器方法
<clinit>
()的过程,用于初始化静态变量和执行静态代码块。==- 此方法不需定义,是javac编译器自动收集类中的所有类
变量的赋值
动作和静态代码块中
的语句合并而来。如果一个类中不存在变量的赋值
动作和静态代码块,
执行类构造器方法<clinit>
()就不会执行
- 此方法不需定义,是javac编译器自动收集类中的所有类
==构造器方法中指令按语句在源文件中出现的顺序执行。==
<clinit>
()不同于类的构造器。(关联:构造器是虚拟机视角下的<init>()
)
**若该类具有父类,JVM会保证子类的
<clinit>()
执行前,父类的<clinit>()
已经执行完毕**。虚拟机必须保证一个类的
<clinit>
()方法在多线程下被同步加锁。
例如:对于以下代码
- 静态成员属性
构建查看字节码文件:
- 静态成员属性、静态代码块
- 静态代码块中赋值
4. 在静态代码块中为未声明的成员属性赋值出现非法的前向引用
如果一个类中不存在静态成员属性的赋值操作或者静态代码块,那么就不会执行类的构造方法
clinit
- 无静态成员属性赋值、无静态代码块
- 含有静态成员属性
- 含有静态代码块
任何一个类声明之后,都至少存在一个类的构造器
Java 类声明之后会存在一个默认的构造器。默认构造器是一个无参数的构造器,它在类被声明时自动创建并被用于初始化类的属性和方法的默认值。如果一个类没有显式地定义构造器,那么它会使用默认构造器来创建对象。
2.5. 类加载器分类
JVM支持两种类型的类加载器 。分别为引导类加载器(Bootstrap ClassLoader)
和自定义类加载器(User-Defined ClassLoader)
。
从概念上来讲,自定义类加载器一般指的是程序中由开发人员自定义的一类类加载器,但是Java虚拟机规范却没有这么定义,而是**将所有派生于抽象类ClassLoader的类加载器都划分为自定义类加载器**。
无论类加载器的类型如何划分,在程序中我们最常见的类加载器始终只有3个,如下所示:
==这里的四者之间的关系是包含关系。不是上层下层,也不是子父类的继承关系。==
如下代码,获取到系统类加载器
、扩展类加载器
、引导类加载器
2.3.1. 虚拟机自带的加载器
引导类加载器(Bootstrap ClassLoader)
这个类加载使用C/C++语言实现的,==嵌套在JVM内部,不能再java代码层面获取到==。
它用来加载Java的核心库(JAVA_HOME/jre/lib/rt.jar、resources.jar或sun.boot.class.path路径下的内容),用于提供JVM自身需要的类
并不继承自ava.lang.ClassLoader,没有父加载器。
加载扩展类和应用程序类加载器,并指定为他们的父类加载器。
出于安全考虑,Bootstrap启动类加载器只加载包名为java、javax、sun等开头的类
扩展类加载器(Extension ClassLoader)
Java语言编写,由sun.misc.Launcher$ExtClassLoader实现。
==派生于ClassLoader类==
父类加载器为启动类加载器
从java.ext.dirs系统属性所指定的目录中加载类库,或从JDK的安装目录的jre/1ib/ext子目录(扩展目录)下加载类库。如果用户创建的JAR放在此目录下,也会自动由扩展类加载器加载。
系统类加载器(AppClassLoader)
java语言编写,由sun.misc.LaunchersAppClassLoader实现
==派生于ClassLoader类==
父类加载器为扩展类加载器
它负责加载环境变量classpath或系统属性java.class.path指定路径下的类库
该类加载是程序中默认的类加载器,一般来说,Java应用的类都是由它来完成加载
通过ClassLoader#getSystemclassLoader() 方法可以获取到该类加载器
2.3.2. 用户自定义类加载器
在Java的日常应用程序开发中,类的加载几乎是由上述3种类加载器相互配合执行的,在必要时,我们还可以自定义类加载器,来定制类的加载方式。 为什么要自定义类加载器?
隔离加载类
修改类加载的方式
扩展加载源
防止源码泄漏
用户自定义类加载器实现步骤:
开发人员可以通过继承抽象类
java.lang.ClassLoader
类的方式,实现自己的类加载器,以满足一些特殊的需求在JDK1.2之前,在自定义类加载器时,总会去继承
ClassLoader
类并重写loadClass()
方法,从而实现自定义的类加载类,但是在JDK1.2之后已不再建议用户去覆盖loadclass() 方法,而是建议把自定义的类加载逻辑写在findClass()
方法中在编写自定义类加载器时,如果没有太过于复杂的需求,可以直接继承
URLClassLoader
类,这样就可以避免自己去编写findClass()
方法及其获取字节码流的方式,使自定义类加载器编写更加简洁。
2.6. ClassLoader的使用说明
ClassLoader类是一个抽象类,其后所有的类加载器都继承自ClassLoader
(不包括启动类加载器)
sun.misc.Launcher 它是一个java虚拟机的入口应用
获取ClassLoader的途径
- 方式一:获取当前ClassLoader
- 方式二:获取当前线程上下文的ClassLoader
- 方式三:获取系统的ClassLoader
- 方式四:获取调用者的ClassLoader
2.7. 双亲委派机制
==Java虚拟机对class文件采用的是按需加载的方式,也就是说当需要使用该类时才会将它的class文件加载到内存生成class对象。==而且加载某个类的class文件时,Java虚拟机采用的是双亲委派模式
,即把请求交由父类处理,它是一种任务委派模式。
2.7.1双亲委派机制的工作原理
==如果一个类加载器收到了类加载请求,它并不会自己先去加载,而是把这个请求委托给父类的加载器去执行;==
==如果父类加载器还存在其父类加载器,则进一步向上委托,依次递归,请求最终将到达顶层的引导类加载器;==
==如果父类加载器可以完成类加载任务,就成功返回,倘若父类加载器无法完成此加载任务,子加载器才会尝试自己去加载,这就是双亲委派模式。==
举例
当我们加载jdbc.jar 用于实现数据库连接的时候,首先我们需要知道的是 jdbc.jar是基于SPI接口进行实现的,所以在加载的时候,会进行双亲委派,最终从根加载器中加载 SPI核心类,然后在加载SPI接口类,接着在进行反向委派,通过线程上下文类加载器进行实现类jdbc.jar的加载。
2.7.2双亲委派机制的优点
避免类的重复加载
保护程序安全,防止核心API被随意篡改
自定义类:java.lang.String
自定义类:java.lang.ShkStart(报错:阻止创建 java.lang开头的类)
2.8. 其他
如何判断两个class对象是否相同
在JVM中表示两个class对象是否为同一个类存在两个必要条件:
一个类的类名、包名完全相同。
加载这个类的ClassLoader(指ClassLoader实例对象)必须相同。
换句话说,在JVM中,即使这两个类对象(class对象)来源同一个Class文件,被同一个虚拟机所加载,==但只要加载它们的ClassLoader
实例对象不同,那么这两个类对象也是不相等的。==
对类加载器的引用
JVM必须知道一个类型是由启动加载器加载的还是由用户类加载器加载的。如果一个类型是由用户类加载器加载的,那么JVM会将这个类加载器的一个引用作为类型信息的一部分保存在方法区中。当解析一个类型到另一个类型的引用的时候,JVM需要保证这两个类型的类加载器是相同的。
类的主动使用和被动使用
Java程序对类的使用方式分为:主动使用和被动使用。
主动使用,又分为七种情况:
创建类的实例
访问某个类或接口的静态变量,或者对该静态变量赋值
调用类的静态方法
反射(比如:Class.forName(”com.atguigu.Test”))
初始化一个类的子类
Java虚拟机启动时被标明为启动类的类
JDK 7 开始提供的动态语言支持:
java.lang.invoke.MethodHandle实例的解析结果
REF_getStatic、REF_putStatic、REF_invokeStatic句柄对应的类没有初始化,则初始化
除了以上七种情况,其他使用Java类的方式都被看作是对类的被动使用,都不会导致类的初始化。