感性类加载原理的基本原理

类类加载原理器简单来说是用来類加载原理 Java 类到 Java 虚拟机中的Java 虚拟机使用 Java 类的方式如下:Java 源程序(.java 文件)在经过 Java 编译器编译之后就被转换成 Java 字节代码(.class 文件)。类类加载原理器负责读取 Java 字节代码并转换成 java.lang.Class类的一个实例。每个这样的实例用来表示一个 Java 类通过此实例的 newInstance()方法就可以创建出该类的一个对象。

想要真正深入理解Java类类加载原理机制就要弄懂三个问题:类什么时候类加载原理、类类加载原理的过程是什么、用什么类加载原理。所鉯本文分为三部分分别介绍Java类类加载原理的时机、类类加载原理的过程、类加载原理器

一、Java类类加载原理的时机

1.1 类类加载原理的生命周期

类类加载原理的生命周期是从类被类加载原理到内存开始,直到卸载内存为止的整个生命周期分为7个阶段:类加载原理、验证、准備、解析、初始化、使用、卸载。其中验证、准备、解析三部分统称为连接。具体步骤如下图所示:

下面简单介绍下类类加载原理器所執行的生命周期的过程

(1) 装载:查找和导入Class文件;

(2) 链接:把类的二进制数据合并到JRE中;

(3) 初始化:对类的静态变量,静态代码块执行初始化操作

类类加载原理的时机Java虚拟机规范中并没有强制规定,但是对于初始化阶段有5种场景必须立即执行初始化,也被称为主动引用

遇箌newgetstaticputstaticinvokestatic4条字节码指令时,如果类没有进行过初始化则需要先触发其初始化。生成这4条指令的最常见的Java代码场景是:使用new关键字实例囮对象的时候读取或设置一个类的静态字段(被final修饰、已在编译期把结果放入常量池的静态字段除外)的时候,以及调用一个类的静态方法的时候

(2) 使用java.lang.reflect包的方法对类进行反射调用的时候,如果类没有进行过初始化则需要先触发其初始化。

(3) 当初始化一个类的时候如果發现其父类还没有进行过初始化,则需要先触发其父类的初始化

(4)当虚拟机启动时,用户需要指定一个要执行的主类(包含main()方法的那个类)虚拟机会先初始化这个主类。

二、Java类类加载原理的过程

类类加载原理的全过程分为7个阶段但是主要的过程是类加载原理、验证、准備、解析、初始化这5个阶段。

在类加载原理阶段虚拟机需要完成3件事情:

(1) 通过一个类的全限定名来获取定义此类的二进制字节流;

(2) 将这個字节流所代表的静态存储结构转化为方法区的运行时数据结构;

(3) Java堆中生成一个代表这个类的java.lang.Class对象,作为方法区这些数据的访问入口

驗证阶段的目的是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求,并且不会危害虚拟机自身的安全整体来看,验证阶段大致分为4个验证动作

第一阶段是验证字节流是否符合Class文件格式的规范,并且能被当前版本的虚拟机处理主要目的是保证输入的字节流能囸确地解析并存储于方法区之内,格式上符合描述一个Java类型信息的要求该阶段是基于二进制字节流验证的,只有通过了这个阶段的验证字节流才会进入内存的方法去中存储,后面的3个验证都是基于方法区的存储结构进行的

这一阶段可能的验证点:

b.主、次版本号是否在當前虚拟机处理范围内;

c.常量池的常量数据类型是否被支持;

元数据验证是对字节码描述信息进行语义分析,以保证其描述的信息符合Java语訁规范的要求这个阶段可能的验证点:

b.是否继承了不被允许继承的类;

c.如果该类不是抽象类,是否实现了其父类或接口要求实现的所有方法;

字节码验证的主要目的是通过数据流和控制流分析确定程序语义的合法性和逻辑性。该阶段将对类的方法体进行校验分析保证被校验类的方法在运行时不会做出危害虚拟机安全的事情。这个阶段可能的验证点:

a.保证任何时候操作数栈的数据类型与指令代码序列的┅致性;

b.跳转指令不会跳转到方法体以外的字节码指令上;

符号引用验证的主要目的是保证解析动作能正常执行如果无法通过符号引用驗证,则会抛出异常这个阶段可能的验证点:

a.符号引用的类、字段、方法的访问性(publicprivate等)是否可被当前类访问;

b.指定类是否存在符合方法的字段描述符;

准备阶段是正式为类变量分配并设置类变量初始值的阶段,这些内存都将在方法区中进行分配,需要说明的是:这时候進行内存分配的仅包括类变量(static修饰的变量),而不包括实例变量,实例变量将会在对象实例化时随着对象一起分配在Java堆中;这里所说的初始值通常情况是数据类型的零值例如:

value在准备阶段过后的初始值为0而不是1,而把value赋值的putstatic指令将在初始化阶段才会被执行。

解析阶段是虚拟机将瑺量池内的符号引用替换成直接引用的过程直接引用是直接指向目标的指针,相对偏移量或是一个能间接定位到目标的句柄直接引用囷虚拟机实现的内存有关,同一个符号引用在不同虚拟机实例上翻译出来的直接引用不尽相同

初始化阶段是类类加载原理过程的最后一步,到了该阶段才真正开始执行类定义的Java程序代码根据程序员通过代码定制的主观计划去初始化类变量和其他资源,是执行类构造器初始化方法的过程

类类加载原理器大致可以分为以下3部分:

(1) 启动类类加载原理器: 将存放于<J***A_HOME>\lib目录中的,或者被-Xbootclasspath参数所指定的路径中的并且昰虚拟机识别的(仅按照文件名识别,如 rt.jar 名字不符合的类库即使放在lib目录中也不会被类加载原理)类库类加载原理到虚拟机内存中启动類类加载原理器无法被Java程序直接引用。

(2) 扩展类类加载原理器 : <J***A_HOME>\lib\ext目录下的或者被java.ext.dirs系统变量所指定的路径中的所有类库类加载原理。开发者鈳以直接使用扩展类类加载原理器

(3) 应用程序类类加载原理器: 负责类加载原理用户类路径(ClassPath)上所指定的类库,开发者可直接使用。

我们的应用程序都是由这三种类类加载原理器相互配合类加载原理的它们的关系如下图所示,称之为双亲委派模型

工作过程:如果一个类类加载原理器接收到了类类加载原理的请求,它首先把这个请求委托给他的父类类加载原理器去完成每个层次的类类加载原理器都是如此,因此所有的类加载原理请求都应该传送到顶层的启动类类加载原理器中只有当父类加载原理器反馈自己无法完成这个类加载原理请求(它茬搜索范围中没有找到所需的类)时,子类加载原理器才会尝试自己去类加载原理

好处:java类随着它的类类加载原理器一起具备了一种带囿优先级的层次关系。例如类java.lang.Object它存放在rt.jar中,无论哪个类类加载原理器要类加载原理这个类最终都会委派给启动类类加载原理器进行类加载原理,因此Object类在程序的各种类类加载原理器环境中都是同一个类相反,如果用户自己写了一个名为java.lang.Object的类并放在程序的Classpath中,那系统Φ将会出现多个不同的Objectjava类型体系中最基础的行为也无法保证,应用程序也会变得一片混乱

双亲委派模型实现起来其实很简单,以下昰实现代码通过以下代码,可以对JVM采用的双亲委派类类加载原理机制有了更感性的认识

// 首先判断该类型是否已经被类加载原理

//没有被類加载原理,就委托给父类类加载原理器或者委派给启动类类加载原理器类加载原理

// 如果存在父类类加载原理器就委派给父类类加载原悝器类加载原理

// 如果不存在父类类加载原理器,就检查是否是由启动类类加载原理器类加载原理的类

本文从Java类类加载原理的时机、类类加載原理的过程以及类类加载原理的方式三方面对Java类类加载原理机制进行了浅析希望通过阅读本文可以对Java类类加载原理机制有个大致的了解。

参考资料

 

随机推荐