JAVA虚拟机学习笔记4-虚拟机类加载机制

4.1 父类和子类加载顺序

父类静态变量->父类静态模块->子类静态变量->子类静态模块->父类普通属性->父类普通代码模块->父类构造方法->子类普通属性->子类普通代码模块->子类构造方法

4.2 类加载过程

在这里插入图片描述

4.3 加载

  1. 通过一个类的全限定名来获取定义此类的二进制字节流
  2. 将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构
  3. 在内存中生成一个代表这个类的java.lang.Class对象,作为方法区这个类的各种数据的访问入口。
    注意:第一条的二进制流并没有规定要从一个Class文件获取,所以可以自由使用。比如:
    1) 从JAR、ZIP、EAR等格式获取
    2) 从网络获取,如Applet
    3) 运行时计算生成,如动态代理机制
    4) 其他文件,如JSP
    5) 从数据库获取,如中间件服务器的SAP Netweaver。
    加载和连接阶段的部分内容是交叉进行的。

4.4 验证

目的是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求,并且不会危害虚拟机自身的安全。

文件格式验证

验证字节流是否符合Class文件格式的规范。包括0xCAFEBABE开头、版本号、常量池等等

元数据验证

对字节码描述的信息进行语义分析,以保证其描述的信息符合Java语言规范的要求。包括是否有父类、父类是否能被继承、是否抽象类、是否实现应该实现的方法等等

字节码验证

通过数据流和控制流分析,确定程序语义是合法的、符合逻辑的。(元数据验证主要是对类的数据类型,而这个阶段是对类的方法体进行验证)包括保证任意时刻操作数栈的数据类型与指令代码序列能配合工作、保证跳转指令不会跳到方法体外、保证方法体中的类型转换是有效的等等。

符号引用验证

发生在虚拟机将符合引用转化为直接引用的时候(这是解析的工作),对符合引用进行校验。包括符合引用描述的全限定名是否能找到对应的类、符合引用中的类、方法、字段的权限等。

4.5 准备

是正式为类变量分配内存并设置类变量初始值的阶段,这些变量所使用的内存都将在方法区中进行分配。
注意:只有类变量(即修饰为static),而且只赋值位0或者null,并不会真正初始化为程序的定义值,除非修饰为final。
public static int value= 123;//在准备阶段,value的值为0;
public static final int value = 123;//在准备阶段,value的值为123;
下表为准备阶段的值。

数据类型 零值 数据类型 零值
int 0 boolean false
long 0L float 0.0f
dhort (short)0 double 0.0d
char ‘\u0000’ reference null
byte (byte)0

4.6 解析

虚拟机将常量池内得符号引用替换为直接引用的过程。

  1. 类或接口的解析
  2. 字段解析
  3. 类方法解析
  4. 接口方法解析

4.7 初始化

此阶段为类加载过程的最后一步。之前变量已经赋过系统统一要求的初始值,此阶段则根据代码制定去初始类变量和其他资源。执行类的构造器()方法过程(主要是static块的赋值过程)。
类的初始化都是主动引用,包括5种类型的引用。第一种是new、getstatic、putstatic和invokestatic的指令时;第二种是反射调用类时;第三种是初始一个类发现有父类时,初始化父类;第四种是虚拟机启动的main函数那个类;第五种是JDK1.7的动态语言方法语柄。
当类是被动引用时,不会初始化此类,比如子类引用父类的静态变量、数组定义时、引用类的final静态变量。

猜你喜欢

转载自blog.csdn.net/linwu_2006_2006/article/details/94902537