深机笔记 - 12 类的加载过程

《深入理解Java虚拟机：JVM高级特性与最佳实践（第2版）》7.3节

类的生命周期：

加载、验证、准备、初始化和卸载5个阶段必须按顺序开始，不一定按顺序进行、结束

这些阶段通常是交叉进行的（在一个阶段执行过程中调用、激活另外一个阶段）

解析阶段在某些情况下可在初始化阶段后开始，目的是为了支持Java语言的运行时绑定（也称动态绑定、晚期绑定）

1. 加载

1）通过类全限定名获取定义该类的二进制字节流

未限定必须从文件获取

可从压缩包获取，例JAR、WAR

可在运行时计算生成，例动态代理，java.lang.reflect.Proxy用ProxyGenerator.generateProxyClass为接口生成形式为"*$Proxy"代理类的二进制字节流

可从网络、数据库获取，可由其他文件生成，例JSP应用

非数组类可自定义类加载器控制字节流生成方式，即重写加载器loadClass()

数组类本身不通过加载器创建，由Java虚拟机直接创建，但数组中的元素（类）由类加载器创建

若数组组件（解释见文末）为引用类型，则递归采用本节定义的加载过程加载该组件类型，数组将在加载该组件类型的类加载器的类名称空间上被标识（这点很重要，一个类必须与类加载器一起确定唯一性）

若数组组件类型不是引用类型（例int[]数组），则数组被标记为与引导类加载器关联

2）将字节流中的静态存储结构转化为方法区运行时数据结构

3）在内存（方法区）中生成代表该类的java.lang.Class对象，作为该类的数据访问入口

2. 连接第一步，验证

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

该阶段工作量在虚拟机类加载子系统中占相当大一部分

若验证到输入字节流不符合Class文件格式约束，虚拟机抛出java.lang.VerifyError异常或其子类异常

4个子阶段（《Java虚拟机规范（JavaSE7版）》起）：

1). 文件格式验证

验证字节流是否符合Class文件格式规范，且能被当前版本虚拟机处理

基于二进制字节流进行，通过该子阶段验证后字节流才会存储到方法区中进行存储，以后3个子阶段全部基于方法区存储结构进行

验证点：魔数，主、次版本号，常量池常量，各种索引值，等

2). 元数据验证

对字节码描述信息进行语义分析，保证其描述的信息符合Java语言规范要求

校验的是元数据的数据类型

验证点：是否有父类，是否继承了不允许被继承的类，非抽象类是否实现了其父类或接口要求实现的所有方法，类中字段、方法是否与父类产生矛盾，等

3). 字节码验证

通过数据流和控制流分析，确定程序语义是合法的、符合逻辑的

最复杂的子阶段

验证点：保证跳转指令不会跳转到方法体以外字节码指令，保证方法体中的类型转换有效，等

4). 符号引用验证

确保解析动作能正常执行，可看做是对类自身以外（常量池中各种符号引用）信息进行匹配性校验

发生在虚拟机将符号引用转化为直接引用时，该转化动作在连接第三步，解析阶段中发生

重要但非必要阶段，可用-Xverify:none关闭大部分类验证措施

验证点：符号引用中通过字符串描述的全限定名是否能找到对应类，在指定类中是否存在符合方法的字段描述符及简单名称所描述的方法和字段，符号引用中类、字段、方法的访问性（private、protected、public、default）是否可被当前类访问，等

无法通过该子阶段验证会抛出java.lang.IncompatibleClassChangeError异常子类，例java.lang.IllegalAccessError、java.lang.NoSuchFieldError、java.lang.NoSuchMethodError等

3. 连接第二步，准备

正式为类变量（static修饰的变量）分配内存并设置类变量初始值（零值或代码定义值），这些变量使用的内存都在方法区分配

有static、无final修饰的变量，初始值为零值，为变量赋代码中的值操作在类构造器＜clinit＞()方法中

有static、有final修饰的变量，初始值为代码中的值，该类字段在字段属性表中有ConstantValue属性

基本数据类型的零值：

4. 连接第三步，解析

虚拟机将常量池内符号引用替换为直接引用

虚拟机规范中未规定解析阶段具体发生时间，只要求在执行new、getfield、invokeinterface、invokestatic、invokedynamic等16个用于操作符号引用的字节码指令前，先对使用的符号引用进行解析

虚拟机会保证，在同一个实体中，若符号引用成功解析过，则后续解析应一直成功，若第一次解析失败，则后续解析应收到相同的解析异常

除invokedynamic指令以外，虚拟机实现可缓存第一次解析结果（在运行时常量池中记录直接引用，并将常量标识为已解析状态）避免重复解析

invokedynamic指令的目的是用于动态语言支持（目前仅使用Java语言不会生成这条字节码指令），对应引用称为“动态调用点限定符”（Dynamic Call Site Specifier），“动态”的含义是必须等到程序实际运行到该指令时，解析动作才能进行

除invokedynamic外可触发解析的指令都是“静态”的，可在刚完成加载未开始执行代码时即进行解析

解析动作主要针对7类符号引用：类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用点限定符，具体解析过程略

5. 初始化

在该阶段之前的类加载过程中，除加载子阶段，用户应用程序可通过自定义类加载器参与类加载外，其余动作完全由虚拟机主导和控制

该阶段真正开始执行类中定义的Java代码（或者说字节码），根据程序制定的计划初始化类变量和其他资源

从另外一个角度表达：该阶段执行类构造器<clinit>()方法

<clinit>()方法的生成：

编译器自动收集类中所有类变量的赋值动作和静态语句块（static{}块）中的语句合并产生

编译器收集的顺序由语句在源文件中出现的顺序决定

静态语句块中只可访问定义在静态语句块之前的变量，定义在之后的变量，静态语句块可赋值但不可访问，即禁止“非法向前引用”

若类或接口中无静态变量赋值、无静态语句块，则可不生成该方法

<clinit>()方法的执行：

虚拟机会保证子类（与接口区分）<clinit>()方法执行前，父类<clinit>()方法已经执行完毕，不需显式调用父类<clinit>()方法（实例构造器<init>()方法需显式调用）

这意味着父类中定义的静态变量赋值、静态语句块执行优先于子类

第一个被执行<clinit>()方法的类一定是java.lang.Object

接口的<clinit>()方法执行时不需要先执行父接口的<clinit>()方法，当父接口的变量被使用时才执行<clinit>()方法

虚拟机会保证<clinit>()方法在多线程环境中被正确地加锁、同步，多线程执行会阻塞（该阻塞较隐蔽），直到活动线程执行<clinit>()方法完毕

名词解释：

数组组件类型：Component Type，指数组去掉一个维度以后的类型

代码定义值：笔者自定义名词，例，static value = 123; 则123即代码定义值

符号引用（Symbolic References）：

以一组符号描述引用的目标，符号可是任何形式字面量，只要使用时能无歧义地定位到目标即可

符号引用与虚拟机实现的内存布局无关，引用的目标并不一定已经加载到内存中

虚拟界内存布局可不同，但挞能接受的符号引用必须是一致的，因符号引用字面量形式明确定义在Java虚拟机规范的Class文件格式中

直接引用（Direct References）：

可是直接指向目标的指针、相对偏移量或一个能间接定位到目标的句柄

直接引用与虚拟机实现的内存布局相关，同一个符号引用在不同虚拟机实例上翻译出来的直接引用一般不会相同

若有了直接引用，则引用的目标必定已经在内存中存在