虚拟机如何加载Class文件?
虚拟机把描述类的数据从Class文件加载到内存中,并对数据进行校验、转换解析和初始化,最终形成可以被虚拟机直接使用的Java类型,这就是虚拟机的类加载机制。
类的生命周期有哪些?
类的生命周期为:加载、验证、准备、解析、初始化、使用和卸载。其中验证、准备、解析3个部分统称为链接。顺序关系如下图所示:
其中,加载、验证、准备、初始化和卸载这5个阶段的顺序是确定的。而解析阶段则不一定:为了支持Java语言的动态绑定特性,解析阶段在某些情况下可以在初始化阶段之后再开始。
各阶段都做那些工作?
加载:
在加载阶段,虚拟机需要完成以下3件事情:
- 通过一个类的全限定名来获取定义此类的二进制字节流;
- 将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构;
- 在内存中生成一个代表这个类的
java.lang.Class
对象,作为 方法区这个类的各种数据的访问入口。
特殊情况:数组类本身不通过类加载器创建,它是由Java虚拟机直接创建的。但是数组类中的元素类型最终是要靠类加载器去创建的。
验证:
验证是连接阶段的第一步,目的是为了确保Class文件中的字节流中包含的信息符合当前虚拟机的要求,并且不会危害虚拟机自身的安全。
验证阶段主要完成下面四个阶段的检验动作:
- 文件格式验证:验证字节流是否符合Class文件的规范,并且能被当前版本的虚拟机处理。如:是否以魔数开头;主次版本号是否在当前虚拟机处理范围内等。
该阶段的验证是基于二进制字节流进行的,只有通过了这个阶段的验证后,字节流才会进入内存的方法区中进行存储,后边的3个阶段就基于方法区的存储结构进行。 - 元数据验证:主要目的是对类的元数据信息进行语义验证,保证不存在不符合Java语言规范的元数据信息。如:这个类是否有父类;类中的字段、方法是否与父类产生了矛盾等
- 字节码验证:主要是校验类的方法体,通过数据流和控制流分析,确定程序语义是合法的、符合逻辑的。如:保证方法体中的类型转换是有效的;保证跳转指令不会跳转到方法体以外的字节码指令上;保证任意时刻操作数栈的数据类型与指令代码序列都能配合工作。
- 符号引用验证:该阶段发生在虚拟机将符号引用转化为直接引用的时候。符号引用验证可以看做是对类自身以外(常量池中的各种符号引用)的信息进行匹配性校验。如:符号引用中通过字符串描述的全限定名是否能找到对应的类;在指定类中是否存在符合方法的字段描述符以及简单名称所描述的方法和字段;符号引用中的类、字段、方法的访问性是否可以被当前类访问。
准备:
准备阶段是正式为类变量分配内存并设置类变量初始值的阶段,这些变量所使用的内存都将在方法区中进行分配。
注意:
- 该阶段进行内存分配仅仅包括类变量(被
static
修饰的变量),不包括实例变量,实例变量将会在对象实例化时随着对象一起分配在Java堆中。 - 这里所说的初始值“通常情况”下是数据类型的零值。这些“通常情况”的变量赋值将在初始化阶段进行。
- 初始值“特殊情况”:同时使用
final
和static
修饰的变量,且该变量的数据类型是基本类型或String
(编译时Javac将会变量生成ConstantValue
属性),在准备阶段虚拟机就会根据ConstantValue
属性将变量赋值。
解析:
解析阶段是虚拟机将常量池的符号引用替换为直接引用的过程。
- 符号引用:符号引用以一组符号来描述所引用的目标,符号可以使任何星时代的字面量,只要使用是能无歧义地定位到目标即可。符号引用的目标不一定已经加载到内存中。
- 直接引用:直接引用可以是直接指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄。如果有了直接引用,那么引用的目标一定已经在内存中存在了。
解析动作主要针对类或者接口、字段、类方法、接口方法、方法类型、方法句柄和调用点限定符7类符号引用进行。
初始化:
类的初始化阶段是类加载过程中的最后一步。到了初始化阶段,才真正开始执行类中定义的Java程序代码(或者说是字节码)。
何时初始化?
虚拟机规范中规定在遇见以下情况时候,必须立即对类进行“初始化”:
- 使用new关键字实例化对象的时候、读取或设置一个类的静态字段(被
final
修饰、已在编译期把结果放入常量池的静态字段除外)的时候,以及调用一个类的静态方法的时候,如果类没有进行过初始化,则需要先触发其初始化; - 使用
java.lang.reflect
包的方法对类进行反射调用的时候,如果类没有进行过初始化,则需要先触发其初始化; - 当初始化一个类的时候,如果发现其父类还没有进行过初始化,则需要先触发其父类的初始化;
- 当虚拟机启动时,用户需要指定一个要执行的主类(包含
main()
方法的那个类),虚拟机会先初始化这个主类; - 当使用JDK 7的动态语言支持时,如果一个java.lang.invoke.MethodHandle实例最后的解析结果
REF_getStatic、REF_putStatic、REF_invokeStatic、REF_newInvokeSpecial
四种类型的方法句柄,并且这个方法句柄对应的类没有进行过初始化,则需要先触发其初始化; - 当一个接口中定义了JDK 8新加入的默认方法(被
default
关键字修饰的接口方法)时候,如果有这个接口的实现类发生了初始化,那该接口要在其之前被初始化。
初始化过程?
初始化阶段是执行类构造器<clinit>()
方法的过程.
<clinit>()
方法是由编译器自动收集类中的所有类变量的赋值动作和静态语句块(static{}
块)中的语句合并产生的。<clinit>()
不需要显示的调用父类构造器,虚拟机会保证在子类的<clinit>()
方法执行之前,父类的<clinit>()
方法已经执行完毕。- 由于父类的
<clinit>()
方法先执行,也就意味着父类中定义的静态语句块要优先于子类的变量赋值操作。 <clinit>()
方法对于类或接口来说并不是必需的,如果一个类中没有静态语句块,也没有对变量的赋值操作,则编译器可以不为这个类生成<clinit>()
方法。- 接口不能使用静态语句块,但仍然有变量初始化的赋值操作,所以接口同样会生成
<clinit>()
方法。注意的是,接口与类的初始略微不同,执行接口的<clinit>()
方法不需要先执行父接口的<clinit>()
方法。只有当父接口中定义的变量使用时,父接口才会初始化。另外,接口的实现类在初始化时也一样不会执行接口的<clinit>()
方法。 - 虚拟机会保证一个类的
<clinit>()
方法在多线程环境中被正确地加锁、同步。同一个类加载器中,一个类型只会被初始化一次。
使用阶段:
卸载阶段:
如下几种情况下,Java虚拟机将结束生命周期:
- 执行了
System.exit()
方法 - 程序正常执行结束
- 程序异常终止
- Java虚拟机进程终止