JVM工作原理与实战(六)：类的生命周期-连接阶段

专栏导航

JVM工作原理与实战

RabbitMQ入门指南

从零开始了解大数据

专栏导航

前言

一、类的生命周期

1.加载（Loading）

2.连接（Linking）

3.初始化（Initialization）

4.使用（Using）

5.卸载（Unloading）

二、连接阶段

1.验证

2.准备

3.解析

总结

前言

JVM作为Java程序的运行环境，其负责解释和执行字节码，管理内存，确保安全，支持多线程和提供性能监控工具，以及确保程序的跨平台运行。本文主要介绍了类的生命周期、类的连接阶段等内容。

一、类的生命周期

类的生命周期描述了一个类加载、连接、初始化、使用、卸载的整个过程。

1.加载（Loading）

加载阶段是类的生命周期的起始点。当应用程序首次需要使用某个类时，Java虚拟机（JVM）会负责加载这个类。加载是通过类的加载器（ClassLoader）完成的，它会查找并加载类的二进制数据。这个过程包括将类的字节码从文件系统、JAR文件或网络加载到内存中。

2.连接（Linking）

连接阶段是加载阶段的后续，它包括验证、准备和解析三个子阶段。

验证（Verification）：验证阶段主要是确保被加载的类文件数据符合JVM规范，没有安全方面的隐患，以及是否与应用程序的其它部分兼容。验证过程包括文件格式验证、元数据验证、字节码验证和符号引用验证。
准备（Preparation）：准备阶段是为类的静态变量分配内存，并设置默认的初始值。需要注意的是，准备阶段并不会执行任何初始化操作。
解析（Resolution）：解析阶段是将符号引用转换为直接引用。在Java中，符号引用是一个类的全限定名，而直接引用是一个直接指向内存中的地址的指针。解析阶段发生在运行时，而不是编译时。

3.初始化（Initialization）

初始化阶段是类加载过程中的最后一步，当准备和解析阶段完成后，JVM会执行类的构造器方法，这个方法是由编译器自动收集类中的所有类变量的赋值动作和静态代码块集合来的。需要注意的是，构造器方法中的代码只在类被首次使用时执行一次。

4.使用（Using）

一旦类被成功加载、连接并初始化后，就可以被实例化并用于执行应用程序的业务逻辑。在应用程序运行期间，类可能会被频繁地使用。

5.卸载（Unloading）

当应用程序不再需要某个类时，该类的实例以及与其相关的资源将会被回收，这个过程就是卸载。但是需要注意的是，只有当一个类不再被任何活动对象所引用时，它才会被卸载。另外，JVM的垃圾回收机制（Garbage Collection, GC）负责自动处理类的卸载和资源的回收。

二、连接阶段

1.验证

在Java类的生命周期中，连接阶段是一个至关重要的环节，它确保了Java字节码文件在被Java虚拟机（JVM）加载前满足一定的规范和要求。连接阶段的首要任务是验证，这一过程对Java字节码文件进行了严格的检查，以确保其遵守《Java虚拟机规范》中定义的各种约束。这一验证过程通常对程序员是透明的，不需要他们直接参与。

验证过程主要包括以下四个部分：

文件格式验证：这是验证的第一步，主要检查字节码文件的基本格式。例如，它会验证文件是否以特定的魔数（magic number）0xCAFEBABE开头，这是Java类文件的标识。此外，还会检查文件的主次版本号是否与当前Java虚拟机的版本兼容。版本号的检查是确保类文件是用与当前JVM兼容的Java编译器编译的。

元数据验证：在这一步中，验证器会检查类的元数据信息。这包括类的继承关系、接口实现、字段和方法的存在性和访问权限等。例如，验证器会确保每个类都有父类（除了java.lang.Object），并且类的继承层次结构没有出现问题。此外，还会检查方法的字节码，确保它们不会执行非法的操作，如跳转到不正确的位置。

字节码验证：这是最复杂的一步，验证器会深入分析方法的字节码，确保它们符合Java虚拟机的语义规则。这个过程会检查诸如类型安全、操作数栈的数据流和使用情况等。字节码验证的目的是防止潜在的恶意代码或由于编译器错误导致的无效代码被执行。
符号引用验证：在这一步中，验证器会检查类文件中的符号引用。符号引用是类在编译时对其他类、方法或字段的引用，这些引用在类加载时会被解析为实际的内存地址。验证器会确保这些符号引用是有效的，例如，不会访问其他类的私有方法或不存在的字段。

在Hotspot JDK 8的虚拟机源码中，版本号的检测是通过一段特定的代码来实现的。这段代码确保了主版本号（major version）和副版本号（minor version）都在Java虚拟机支持的范围内。具体来说，主版本号不能高于运行环境的主版本号，如果主版本号相等，则副版本号也不能超过运行环境所支持的最大副版本号。这样的版本号检测机制确保了类文件与运行环境的兼容性。

Hotspot JDK8中虚拟机源码对版本号检测的代码如下：

return (major >= JAVA_MIN_SUPPORTED_VERSION) && (major <= max_version) && ((major != max_version) || (minor <= JAVA_MAX_SUPPORTED_MINOR_VERSION));

major >= JAVA_MIN_SUPPORTED_VERSION

major（主版本号）大于或等于最小支持的Java版本

major <= max_version

major（主版本号）小于或等于最大支持的Java版本

(major != max_version) ||

(minor <= JAVA_MAX_SUPPORTED_MINOR_VERSION)

major（主版本号）不是最大支持版本，或者minor（次版本号）在最大支持范围内

验证阶段是Java类加载过程中非常重要的一环，它确保了只有符合规范的类文件才能被Java虚拟机加载和执行。这一过程不仅增强了Java平台的安全性，还提高了代码的健壮性和可移植性。

2.准备

准备阶段的主要任务是为类的静态变量分配内存，并设置这些变量的初始值。准备阶段只会为静态变量赋予初始值，而不是最终的值。每一种基本数据类型和引用数据类型在准备阶段都有其特定的初始值。

以下是基本数据类型和引用数据类型的初始值列表：

数据类型	初始值
int	0
long	0L
short	0
char	‘\u0000’
byte	0
boolean	false
double	0.0
引用数据类型	null

这些初始值是Java虚拟机规范所规定的，它们在准备阶段被自动赋予给相应的静态变量。

然而，有一个特殊的情况需要注意，那就是被final修饰的基本数据类型的静态变量。在准备阶段，如果静态变量被final修饰，并且其值在编译时就已经确定，那么Java虚拟机将直接将该值赋给静态变量，而不是赋予初始值。这一特性使得被final修饰的静态变量在准备阶段就能获得其最终的值。

下面通过两个示例来说明这一点：

示例一（类Test包含一个普通的静态变量i）：

public class Test {
    public static int i = 1;
    public static void main(String[] args) {
    }
}

对于这个示例，在准备阶段，静态变量i会被赋予其初始值0，而不是最终值1，最终值1的赋值发生在初始化阶段。

示例二（类Test包含一个被final修饰的静态变量i）：

public class Test {
    public static final int i = 1;
    public static void main(String[] args) {
    }
}

对于这个示例，在准备阶段，静态变量i会被直接赋予其最终值1，因为它是一个编译时常量。这意味着在准备阶段完成后，静态变量i就已经获得了其最终的值，而不需要等到初始化阶段。

在Java类的生命周期的连接阶段中，准备阶段是一个关键步骤，它负责为静态变量分配内存并设置初始值。对于被final修饰的静态变量，如果其值在编译时就已经确定，那么准备阶段将直接赋予其最终值。这一特性为Java程序员提供了一种优化静态变量初始化的手段。

3.解析

解析阶段作为连接阶段的一部分，其主要任务是将常量池中的符号引用转换为直接引用。

符号引用：

在Java字节码中，常量池用于存储各种常量，如字符串、类名等。这些常量在常量池中通过编号进行索引。在字节码文件中，这些索引被用作符号引用。例如，当我们在字节码中引用一个类时，实际上是通过一个在常量池中的索引来引用该类，这个索引被称为类符号引用。同样地，字段和方法的引用也是通过相应的符号引用来表示的。