JVM:类装载机制

虚拟机把描述类的数据从class文件加载到内存,并对数据进行校验、转换解析和初始化。最终形成可以被虚拟机最直接使用的java类型的过程就是虚拟机的类加载机制。

JVM类加载机制分为五个部分:加载,验证,准备,解析,初始化。

在五个阶段中,加载、验证、准备和初始化这四个阶段发生的顺序是确定的,而解析阶段则不一定,它在某些情况下可以在初始化阶段之后开始,这是为了支持Java语言的运行时绑定(也成为动态绑定或晚期绑定)。另外注意这里的几个阶段是按顺序开始,而不是按顺序进行或完成,因为这些阶段通常都是互相交叉地混合进行的,通常在一个阶段执行的过程中调用或激活另一个阶段。

加载:查找并加载类的二进制数据

1.1:步骤

  • (1)类加载器通过一个类的全限定名来获取其定义的二进制字节流。

注意:虚拟机并未指定二进制字节流必从哪里获取以及如何获取,所以可以相对开放获取二进制流如:从ZIP包、网络中、运行时计算生成(动态代理类)、从JSP等其他文件、从数据库中读取都是可以的。

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

将加载的二进制字节流按照虚拟机所属格式(不同虚拟机可自行定义),存储在方法区之中(JDK8为元数据区)

  • (3)在内存中(具体区域并未明确规定在堆中,HotSpot(JDK7)则在方法区中)生成一个代表这个类的java.lang.Class对象,作为对方法区这个类的各种数据的访问入口。

2、验证:确保被加载的类的正确性

验证内容包含:

  • 文件格式验证

class文件字节流是否以魔数开头,主次版本号是否在规定范围之内;详情见class文件内容。验证之后才会进入内存

  • 元数据验证:

这个阶段是对字节码描述的信息进行语义分析,以保证起描述的信息符合java语言规范要求。

如:(1)这个类是否有父类(除了java.lang.Object之外,所有的类都应当有父类)、

(2)这个类是否继承了不允许被继承的类(被final修饰的)、如果这个类的父类是抽象类,是否实现了起父类或接口中要求实现的所有方法。

  • 字节码验证:

这个阶段对类的方法体进行校验分析,这个阶段的任务是保证被校验类的方法在运行时不会做出危害虚拟机安全的行为。如:保证访法体中的类型转换有效,

  • 符号引用验证:

虚拟机将符号引用转化为直接引用(转化动作在解析阶段完成)如:引用类中属性(private public protected)是否可以被当前类访问

3、准备:正式为类静态变量(仅仅是静态变量,实例变量将在类初始化时分配到堆中)分配内存并设置类变量初始值的阶段

public static int v = 123;

准备阶段赋值为0,初始化为123

注意如下几点:

  • 对基本数据类型来说,对于类变量(static)和全局变量,如果不显式地对其赋值而直接使用,则系统会为其赋予默认的零值,而对于局部变量来说,在使用前必须显式地为其赋值,否则编译时不通过。
  • 对于同时被static和final修饰的常量,必须在声明的时候就为其显式地赋值,否则编译时不通过;而只被final修饰的常量则既可以在声明时显式地为其赋值,也可以在类初始化时显式地为其赋值,总之,在使用前必须为其显式地赋值,系统不会为其赋予默认零值。
  • 对于引用数据类型reference来说,如数组引用、对象引用等,如果没有对其进行显式地赋值而直接使用,系统都会为其赋予默认的零值,即null。 · 如果在数组初始化时没有对数组中的各元素赋值,那么其中的元素将根据对应的数据类型而被赋予默认的零值。

解析:把类中的符号引用转换为直接引用

解析阶段是指虚拟机将常量池中的符号引用替换为直接引用的过程。

下面我们解释一下符号引用和直接引用的概念:

符号引用就是class文件中的: CONSTANT_Class_info CONSTANT_Field_info CONSTANT_Method_info 等类型的常量。

符号引用与虚拟机实现的布局无关,引用的目标并不一定要已经加载到内存中。各种虚拟机实现的内存布局可以各不相同,但是它们能接受的符号引用必须是一致的,因为符号引用的字面量形式明确定义在Java虚拟机规范的Class文件格式中。 直接引用可以是指向目标的指针,相对偏移量或是一个能间接定位到目标的句柄。如果有了直接引用,那引用的目标必定已经在内存中存在。

初始化

初始化,为类的静态变量赋予正确的初始值,JVM负责对类进行初始化,主要对类变量进行初始化。在Java中对类变量进行初始值设定有两种方式:

  • ①声明类变量是指定初始值

  • ②使用静态代码块为类变量指定初始值

初始化步骤:

1、假如这个类还没有被加载和连接,则程序先加载并连接该类

2、假如该类的直接父类还没有被初始化,则先初始化其直接父类

3、假如类中有初始化语句,则系统依次执行这些初始化语句

会初始化的情况:

只有当对类的主动使用的时候才会导致类的初始化,类的主动使用包括以下六种:

  • 创建类的实例,也就是new的方式

  • 访问某个类或接口的静态变量,或者对该静态变量赋值

  • 调用类的静态方法

  • 反射(如Class.forName(“com.shengsiyuan.Test”))

  • 初始化某个类的子类,则其父类也会被初始化

  • Java虚拟机启动时被标明为启动类的类(Java Test),直接使用java.exe命令来运行某个主类

不会初始化的情况:

  • 通过子类引用父类的静态字段,只会触发父类的初始化,而不会触发子类的初始化。
  • 定义对象数组,不会触发该类的初始化。
  • 常量在编译期间会存入调用类的常量池中,本质上并没有直接引用定义常量的类,不会触发定义常量所在的类。
  • 通过类名获取Class对象,不会触发类的初始化。
  • 通过Class.forName加载指定类时,如果指定参数initialize为false时,也不会触发类初始化,其实这个参数是告诉虚拟机,是否要对类进行初始化。
  • 通过ClassLoader默认的loadClass方法,也不会触发初始化动作。
  • 1
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值