什么是类的加载、链接和初始化?

type

Post

status

Published

date

Jul 3, 2024

slug

loading_linking_init

summary

一、类的加载（Loading）

类的加载是将类的字节码从不同的数据源（如文件系统、网络等）读取到内存中，并创建一个代表该类的java.lang.Class对象。加载阶段由类加载器（ClassLoader）负责。

1. 类加载器（ClassLoader）

类加载器是负责加载类的对象，JVM提供了三种默认的类加载器：

启动类加载器（Bootstrap ClassLoader）：加载JVM核心类库，如rt.jar。

扩展类加载器（Extension ClassLoader）：加载扩展类库，通常位于jre/lib/ext目录中。

应用类加载器（Application ClassLoader）：加载应用程序的类，通常从类路径（classpath）中加载。

开发者还可以自定义类加载器来实现特定的类加载需求。

2. 加载过程

加载过程包括以下步骤：

查找并加载类的二进制数据：类加载器根据类名查找对应的字节码文件。

将类的二进制数据转换为方法区中的运行时数据结构：解析类文件格式，并在内存中创建数据结构。

在内存中生成一个代表该类的java.lang.Class对象：用于表示该类。

二、类的链接（Linking）

类的链接是将类的二进制数据合并到JVM运行时环境中的过程，链接过程包括验证（Verification）、准备（Preparation）和解析（Resolution）三个阶段。

1. 验证（Verification）

验证阶段确保被加载类的字节码符合JVM规范，并且不会危害JVM的安全。验证过程包括：

文件格式验证：检查字节码文件的格式是否正确。

元数据验证：检查类的元数据（如类名、父类、接口等）是否合法。

字节码验证：检查字节码指令是否合法，并且不会造成堆栈溢出或下溢等问题。

符号引用验证：检查类、字段、方法的符号引用是否合法。

验证失败会抛出java.lang.VerifyError异常。

2. 准备（Preparation）

准备阶段为类的静态变量分配内存，并将其初始化为默认值。注意，此时并不会执行任何Java代码，仅仅是为变量分配内存并设置默认值。例如，对于int类型的静态变量，默认值为0。

3. 解析（Resolution）

解析阶段将常量池中的符号引用转换为直接引用。符号引用是以字符串形式存在的类、方法和字段的引用，而直接引用则是实际的内存地址或偏移量。解析可以在类的加载阶段进行，也可以在类被使用时进行（延迟解析）。

三、类的初始化（Initialization）

类的初始化阶段是执行类构造器<clinit>()方法的过程，该方法由编译器自动收集类中的所有类变量的赋值动作和静态代码块（static block）合并而来。

1. 类初始化的触发条件

类初始化在以下情况下被触发：

创建类的实例：使用new关键字创建类的实例。

访问类的静态变量或方法：如ClassName.staticField或ClassName.staticMethod()。

反射：使用java.lang.reflect包中的方法对类进行反射调用。

初始化一个类的子类：当初始化一个类时，其父类也会被初始化。

JVM启动时指定的主类：即包含main方法的类。

2. 类初始化过程

初始化过程包括：

执行静态变量的初始化：如static int x = 10;。

执行静态代码块：如static { ... }。

初始化的顺序是按照代码在类中出现的顺序依次执行的。

3. 注意事项

线程安全：JVM保证类的初始化是线程安全的，同一个类的初始化过程只会被一个线程执行，其他线程会被阻塞，直到初始化完成。

类初始化与类加载的区别：类加载是将类的字节码加载到内存并创建Class对象，而类初始化是执行类的静态初始化代码。

总结

类的加载、链接和初始化是JVM在运行时动态管理类和接口的核心过程。加载阶段将类的字节码读取到内存中并生成Class对象，链接阶段将类的二进制数据合并到JVM运行时环境中，包括验证、准备和解析三个子阶段，初始化阶段则执行类的静态初始化代码。理解这一过程有助于深入掌握Java的运行机制和性能优化技巧，确保Java应用程序能够高效、稳定地运行。