Java 类加载机制解密一探到底


类加载是 Java 程序在运行期执行之前的重要环节,它决定着程序的运行效率和稳定性。本文将为您深入剖析 Java 类加载机制的整个生命周期,揭开神秘面纱,让您彻底掌握这一核心知识点。


一、类的生命周期概述


类的生命周期在Java中指的是从类被加载到虚拟机内存中,到最终被卸载的整个过程。包括以下5个阶段:加载、验证、准备、解析和初始化。其中加载、验证、准备、初始化这4个阶段的顺序是确定的,只有解析阶段在特定情况下可以在初始化之后再开始。


在这里插入图片描述


1、加载(Loading)

加载是类生命周期的开始阶段。在这个阶段,Java虚拟机(JVM)会通过类的全名(包括包名和类名)来找到这个类的.class文件,并把这个类加载到内存中。这个过程涉及到了类文件的查找和读取。


2、验证(Verification)

在验证阶段,JVM确保加载的.class文件符合JVM规范,没有损坏,并且不会对JVM造成安全威胁。验证包括文件格式验证、元数据验证、字节码验证和符号引用验证。

3、准备(Preparation)

准备阶段是为类的静态变量分配内存并设置初始值的过程。初始值通常是数据类型的默认值,例如,对于int类型是0,对于引用类型是null。


4、解析(Resolution)

解析是JVM将常量池中的符号引用替换为直接引用的过程。符号引用是一组符号来描述目标,而直接引用则是直接指向目标的指针、相对偏移量或是一个能直接定位到目标的句柄。


5、初始化(Initialization)

初始化是执行类构造器()方法的过程。这个特殊的方法是由编译器自动收集类中的所有静态变量的赋值动作和静态代码块(static{}块)中的语句合并产生的。当某个类被主动使用时,()方法会被执行。

下面是一个简单的Java类,演示了类的生命周期:

// MyClass.java
public class MyClass {
    static {
        // 静态代码块
        System.out.println("MyClass static block");
    }

    public MyClass() {
        // 构造器
        System.out.println("MyClass constructor");
    }

    public static void main(String[] args) {
        System.out.println("MyClass is being loaded");
        new MyClass(); // 触发类的初始化
    }

    static int value = 10; // 静态变量
}

执行过程解释

  1. 加载:当执行java MyClass命令时,JVM开始加载MyClass类。
  2. 验证:JVM验证MyClass.class文件。
  3. 准备:为静态变量value分配内存,并设置初始值0(int类型的默认值)。
  4. 解析:如果有符号引用,JVM会将它们解析为直接引用。
  5. 初始化:执行<clinit>()方法,打印"MyClass static block",然后执行main方法中的代码,打印"MyClass is being loaded",接着创建MyClass实例,触发构造器的执行,打印"MyClass constructor"。

这个简单的示例演示了类从加载到初始化的完整生命周期。在实际应用中,类的生命周期可能更复杂,涉及到类的继承、接口实现等其他因素。


二、加载过程的三大任务


Java 类加载过程的三大任务是类加载机制的核心组成部分,下面我将详细解释这三大任务:


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

通过类全限定名获取定义此类的二进制字节流,是类加载过程的第一步。

在这个任务中,Java虚拟机(JVM)需要确定类的名字(即全限定名,包括包名和类名),然后通过某种机制(如文件系统、网络、类路径等)获取到这个类的二进制字节流。这个过程可能涉及到查找.class文件、从JAR包中提取.class文件,或者通过其他自定义类加载器来获取字节流。

下面通过一个简单的示例来演示这个过程。

假设我们有一个简单的Java类MyClass,它位于com.example包中。


步骤1: 创建Java类文件

首先,我们创建MyClass.java文件,并编写如下代码:

// MyClass.java
package com.example;

public class MyClass {
    public void sayHello() {
        System.out.println("Hello from MyClass!");
    }
}

步骤2: 编译Java类文件

使用javac命令编译这个类文件:

javac com/example/MyClass.java

这将在com/example目录下生成MyClass.class文件。


步骤3: 创建自定义类加载器

接下来,我们创建一个自定义类加载器,继承自java.lang.ClassLoader

// MyClassLoader.java
import java.io.*;

public class MyClassLoader extends ClassLoader {
    private String path;

    public MyClassLoader(String path) {
        this.path = path;
    }

    @Override
    public Class<?> findClass(String name) throws ClassNotFoundException {
        try {
            String fileName = path + name.replace('.', '/') + ".class";
            File file = new File(fileName);
            if (!file.exists()) {
                throw new ClassNotFoundException();
            }
            byte[] bytes = new byte[(int) file.length()];
            FileInputStream fis = new FileInputStream(file);
            DataInputStream dis = new DataInputStream(fis);
            dis.readFully(bytes);
            dis.close();
            return defineClass(name, bytes, 0, bytes.length);
        } catch (IOException e) {
            throw new ClassNotFoundException("Could not find class: " + name, e);
        }
    }
}

步骤4: 使用自定义类加载器加载类

最后,我们编写一个测试类来使用自定义类加载器加载MyClass

// TestClassLoader.java
public class TestClassLoader {
    public static void main(String[] args) {
        try {
            // 指定类文件所在的路径
            String path = "com/example/";
            // 创建自定义类加载器实例
            MyClassLoader classLoader = new MyClassLoader(path);
            // 通过类加载器加载MyClass类
            Class<?> myClass = classLoader.findClass("com.example.MyClass");
            // 创建MyClass的实例
            Object obj = myClass.newInstance();
            // 调用MyClass中的方法
            myClass.getMethod("sayHello").invoke(obj);
        } catch (Exception e) {
            e.printStackTrace();
        }
    }
}

步骤5: 编译和运行

编译MyClassLoader.javaTestClassLoader.java

javac MyClassLoader.java
javac TestClassLoader.java

运行TestClassLoader

java TestClassLoader

输出应该是:

Hello from MyClass!

这个示例演示了如何通过自定义类加载器,根据类的全限定名获取定义此类的二进制字节流,并最终加载和使用这个类。自定义类加载器允许你控制类的加载过程,这在需要动态加载类或者需要从非标准位置加载类时非常有用。


2、将静态存储结构转化为方法区数据结构

在获取到类的二进制字节流之后,JVM需要将这些静态的字节码转换成运行时的数据结构,这些数据结构存储在方法区(Method Area)。

方法区是JVM内存模型的一部分,用于存储类信息、常量、静态变量、即时编译器编译后的代码等数据。在这个任务中,JVM会进行以下操作:

  • 验证:确保字节流符合JVM规范,没有安全问题。
  • 准备:为类的静态变量分配内存,并设置默认初始值。
  • 解析:将字节码中的符号引用转换为直接引用,例如,将类、接口、字段和方法的符号引用转换为指向运行时内存中的直接指针。

这个过程是自动进行的,由JVM在类加载时处理,因此,开发者通常不需要手动进行这些操作。

不过,为了演示这个过程,我们可以创建一个简单的Java类,并在代码中展示静态变量的默认初始值是如何被设置的。然后,我们将通过反编译工具来查看JVM是如何将这些静态变量转换为运行时数据结构的。

首先,创建一个简单的Java类StaticInitialization,其中包含一些静态变量:

// StaticInitialization.java
public class StaticInitialization {
    public static int staticInt;
    public static double staticDouble;
    public static String staticString;

    static {
        // 静态初始化块,可以在这里给静态变量赋值
        staticInt = 100;
        staticString = "Initialized";
    }
}

步骤1: 编译Java类文件

使用javac命令编译这个类文件:

javac StaticInitialization.java

这将在当前目录下生成StaticInitialization.class文件。


步骤2: 使用反编译工具查看字节码

为了查看JVM是如何将静态存储结构转化为方法区数据结构的,我们可以使用Java字节码反编译工具,如javap

javap -verbose StaticInitialization

这个命令将输出StaticInitialization类的详细信息,包括字段、方法以及字节码指令等。


步骤3: 分析输出结果

javap的输出结果中,我们可以关注以下几个部分:

  • 字段(Fields):这里会列出类中的所有字段,包括静态变量,以及它们的访问标志、名称、描述符和属性。
  • 属性(Attributes):在字段属性中,可能会有ConstantValue属性,它表示静态变量的初始值。
  • 字节码指令:在<clinit>()方法的字节码中,可以看到静态初始化块中的操作,包括静态变量的赋值。

示例输出分析

假设javap的输出结果如下:

Compiled from "StaticInitialization.java"
public class StaticInitialization {
  public static int staticInt;
    // 静态变量staticInt的初始值是0(int类型的默认值)
    // access flags: public, static
    // descriptor: I
    // attributes:
      ConstantValue: int 0

  public static double staticDouble;
    // 静态变量staticDouble的初始值是0.0(double类型的默认值)
    // access flags: public, static
    // descriptor: D
    // attributes:
      ConstantValue: double 0.0

  public static java.lang.String staticString;
    // 静态变量staticString的初始值是null(引用类型的默认值)
    // access flags: public, static
    // descriptor: Ljava/lang/String;
    // attributes:
      ConstantValue: <null>

  static {};
    descriptor: ()V
    flags: ACC_STATIC
    Code:
      stack=2, locals=0, args_size=0
         0: bipush        100
         2: ldc           #2                  // String Initialized
         4: putstatic     #1                  // Field staticString: Ljava/lang/String;
         7: return
    // 静态初始化块:给staticInt和staticString赋值
    ...
}

从输出中可以看到:

  • staticIntstaticDoublestaticString字段都有默认的初始值。
  • <clinit>()方法中,JVM执行静态初始化块的代码,给staticIntstaticString赋予了新的值。

这个示例展示了JVM如何自动将静态存储结构(即类文件中的静态变量定义)转化为方法区数据结构,并在类加载的准备阶段为静态变量设置初始值。开发者通常不需要手动干预这个过程,但了解这个过程有助于更好地理解Java的类加载机制。


3、在Java堆生成类的java.lang.Class对象

最后一个任务是在Java堆中创建一个java.lang.Class对象,这个对象是类在Java程序中的一个表示。这个Class对象包含了类的完整结构信息,如类的名称、访问修饰符、字段、方法、构造函数、父类等。Java堆是JVM内存模型中用于存储对象实例和数组的部分。

创建Class对象的过程包括:

  • 初始化:执行类构造器<clinit>()方法,这是由编译器自动收集类中的所有静态变量的赋值动作和静态代码块中的语句合并产生的。
  • 链接:将Class对象链接到JVM的运行时环境中,使其可以被Java程序访问。

下面通过一个简单的Java类来演示Class对象的生成过程。

步骤1: 创建Java类

首先,我们创建一个简单的Java类ExampleClass

// ExampleClass.java
public class ExampleClass {
    private String name;

    public ExampleClass(String name) {
        this.name = name;
    }

    public void sayHello() {
        System.out.println("Hello, my name is " + name);
    }

    public static void main(String[] args) {
        ExampleClass example = new ExampleClass("Kimi");
        example.sayHello();
    }
}

步骤2: 编译Java类文件

使用javac命令编译这个类文件:

javac ExampleClass.java

这将在当前目录下生成ExampleClass.class文件。


步骤3: 使用反射获取Class对象

接下来,我们编写一个测试类来使用Java反射API获取ExampleClassClass对象:

// TestClassObject.java
public class TestClassObject {
    public static void main(String[] args) {
        try {
            // 获取ExampleClass的Class对象
            Class<?> exampleClass = Class.forName("ExampleClass");

            // 使用Class对象创建ExampleClass的实例
            Object exampleInstance = exampleClass.newInstance();

            // 调用ExampleClass实例的方法
            exampleClass.getMethod("sayHello").invoke(exampleInstance);
        } catch (Exception e) {
            e.printStackTrace();
        }
    }
}

步骤4: 编译和运行

编译TestClassObject.java

javac TestClassObject.java

运行TestClassObject

java TestClassObject

输出应该是:

Hello, my name is Kimi

解释

TestClassObject类中,我们使用了Class.forName("ExampleClass")方法来获取ExampleClassClass对象。这个方法会触发ExampleClass的加载(如果它还没有被加载的话),并且创建对应的Class对象。

Class<?>Class类的泛型形式,?表示我们不关心这个Class对象所代表的具体类型。

newInstance()方法是Class类的实例方法,它创建了该类的一个新实例。这相当于调用了默认的无参构造函数。

getMethod("sayHello").invoke(exampleInstance)获取了sayHello方法的Method对象,并在创建的实例上调用了这个方法。

这个示例演示了如何通过Java反射API在Java堆中生成类的Class对象,并使用这个对象来创建类的实例和调用方法。这个过程展示了JVM如何在Java堆中为每个加载的类生成Class对象,以及如何利用这些对象进行反射操作。

这三大任务完成后,类就被成功加载到JVM中,可以被Java程序使用了。值得注意的是,类加载是懒加载的,也就是说,只有当类被主动使用时(如通过new关键字实例化对象、访问类的静态成员等),JVM才会开始加载这个类。

示例代码

public class Example {
    public static void main(String[] args) {
        System.out.println("Example class is loaded.");
    }
}

当你运行这个程序时,JVM会执行上述三大任务来加载Example类。程序输出"Example class is loaded."时,表示类已经被加载并初始化。


三、验证阶段-确保被加载类的正确性


验证阶段是确保加载的类的正确性,主要包括4种验证:

1、文件格式验证(是否符合Class文件规范)

文件格式验证是Java类加载过程中的一个关键步骤,它确保加载的.class文件是符合Java虚拟机规范的,没有损坏,并且不会对JVM造成安全威胁。


(1)、文件格式验证主要检查内容
  • 魔数:每个.class文件的前四个字节被称为魔数,必须为0xCAFEBABE,用于标识这是一个有效的Java类文件。
  • 版本号:紧接着魔数的四个字节表示JDK的版本号,JVM需要检查这个版本号是否支持。
  • 常量池:常量池中的常量是否有正确的结构,并且是否指向了不存在的常量类型。
  • 字段和方法:字段和方法的访问标志是否合法,以及它们的名称和描述符是否符合规范。
  • 代码:如果类中包含方法,那么方法的字节码是否合法,是否有正确的操作码和操作数等。

为了演示文件格式验证,我们将创建一个简单的Java类,然后故意修改它的字节码,以触发验证错误。


(2)、案例演示:文件格式验证

步骤1: 创建Java类

首先,我们创建一个简单的Java类ValidClass

// ValidClass.java
public class ValidClass {
    public void sayHello() {
        System.out.println("Hello, World!");
    }
}

步骤2: 编译Java类文件

使用javac命令编译这个类文件:

javac ValidClass.java

这将在当前目录下生成ValidClass.class文件。


步骤3: 故意损坏.class文件

为了演示验证过程,我们将使用十六进制编辑器打开ValidClass.class文件,并故意修改魔数,例如将其改为CAFED00D

hexedit ValidClass.class

在编辑器中,找到文件开头的四个字节,将它们修改为CAFED00D,然后保存文件。


步骤4: 尝试加载损坏的.class文件

现在,我们尝试加载修改后的ValidClass.class文件:

// TestLoadValidClass.java
public class TestLoadValidClass {
    public static void main(String[] args) {
        try {
            Class<?> clazz = Class.forName("ValidClass");
            // 如果没有异常,尝试创建对象并调用方法
            clazz.newInstance().getDeclaredMethod("sayHello").invoke(clazz.newInstance());
        } catch (Exception e) {
            e.printStackTrace();
        }
    }
}

编译并运行TestLoadValidClass

javac TestLoadValidClass.java
java TestLoadValidClass

预期输出和解释

当你运行修改后的TestLoadValidClass时,应该会抛出一个java.lang.VerifyError或其子类异常,例如java.lang.ClassFormatError,因为JVM在验证阶段检测到了损坏的.class文件。

输出示例:

java.lang.ClassFormatError: Invalid magic number in class file

这个错误表明JVM在文件格式验证阶段检测到了魔数不正确,从而拒绝了加载这个类文件。

通过这个示例,读者可以清楚地理解文件格式验证的重要性以及它是如何工作的。在实际开发中,我们通常不会手动修改.class文件,但了解这个验证过程有助于我们更好地理解JVM的类加载机制,以及在遇到类加载错误时进行调试。


2、元数据验证(对字节码信息进行语义分析)

元数据验证是Java类加载过程中的一个步骤,它发生在文件格式验证之后。元数据验证的目的是确保字节码中的元数据信息是语义上合理的,即符合Java语言规范的要求。这个过程包括对类的字段、方法、接口、继承关系等进行验证。


(1)、元数据验证的主要检查内容
  • 继承关系:确保类没有非法的继承关系,比如一个类不能继承两个具有相同名称的字段或方法的类。
  • 接口实现:如果类声明实现了一个接口,那么它必须提供接口中所有抽象方法的具体实现。
  • 字段和方法的访问:确保类中的字段和方法的访问权限是合法的,比如一个类不能访问另一个类的私有成员。
  • 方法签名:检查方法的签名是否与声明一致,包括方法名、参数列表和返回类型。
  • final类和方法:final类不能被继承,final方法不能被子类覆盖。

为了演示元数据验证,我们将创建一个Java类,其中包含一些违反Java语言规范的元数据,然后尝试加载这个类。


(2)、案例演示:元数据验证

步骤1: 创建违反规范的Java类

首先,我们创建一个违反继承规范的Java类InvalidInheritance

// InvalidInheritance.java
public class InvalidInheritance extends BaseClass1 implements BaseInterface {
    // 这个类试图继承两个具有相同方法的类和接口
}

class BaseClass1 {
    public void baseMethod() {}
}

interface BaseInterface {
    void baseMethod();
}

步骤2: 编译Java类文件

使用javac命令编译这个类文件:

javac InvalidInheritance.java

由于违反了继承规范,编译器会报错,而不是生成.class文件。


步骤3: 尝试编译并理解错误

尝试编译InvalidInheritance.java时,编译器会输出错误信息,例如:

InvalidInheritance.java:5: 错误: 类 BaseClass1 中的 baseMethod() 与 BaseInterface 中的 baseMethod() 签名相同
class BaseClass1 {
        ^
1 个错误

这个错误表明InvalidInheritance类试图继承一个类和一个接口,它们都声明了一个具有相同签名的方法baseMethod(),这是不允许的。


步骤4: 修改代码以通过元数据验证

为了通过元数据验证,我们需要修改InvalidInheritance类,以解决继承规范的问题。例如,我们可以为BaseInterface中的方法提供一个默认实现:

// InvalidInheritanceFixed.java
public class InvalidInheritanceFixed extends BaseClass1 implements BaseInterface {
    @Override
    public void baseMethod() {
        // 提供具体实现
    }
}

class BaseClass1 {
    public void baseMethod() {}
}

interface BaseInterface {
    default void baseMethod() {
        System.out.println("Method implemented in BaseInterface");
    }
}

现在,BaseInterface提供了一个默认方法实现,InvalidInheritanceFixed类实现了接口中的方法,这样就解决了继承规范的问题。


步骤5: 重新编译并运行

重新编译修改后的类:

javac InvalidInheritanceFixed.java

这次编译应该会成功,因为没有违反元数据验证的规则。


解释

通过这个示例,可以清楚地理解元数据验证的过程和重要性。

在实际开发中,编译器会在编译期间进行元数据验证,确保生成的.class文件符合Java语言规范。

如果违反了规范,编译器会报错,阻止不合规的类文件生成,从而避免了在运行时出现更复杂的问题。


3、字节码验证(通过数据流和控制流分析)

字节码验证是Java类加载过程中的一个关键步骤,主要目的是确保加载的字节码是安全的,不会破坏JVM的稳定运行。字节码验证通过数据流和控制流分析来检查方法的字节码,确保它们符合JVM的执行规范。


(1)、字节码验证的主要检查内容
  • 操作码合法性:确保每个字节码指令(操作码)是有效的,并且有正确的操作数。

  • 类型安全:确保字节码中的类型转换是合法的,比如不能将一个整型(int)赋值给一个对象引用。

  • 控制流完整性:确保程序的控制流(如条件分支、循环等)是合理的,比如确保所有的分支目标都是可到达的指令。

  • 栈深度检查:确保在任何给定时刻,操作数栈的深度与操作码要求的栈深度相匹配。

  • 局部变量表使用:确保对局部变量的访问在其作用域内,并且访问的变量已经被初始化。

为了演示字节码验证,我们将创建一个Java类,其中包含一些违反字节码验证规则的代码,然后尝试加载这个类。


(2)、案例演示:字节码验证

步骤1: 创建违反字节码验证规则的Java类

首先,我们创建一个Java类BytecodeVerificationExample,其中包含一个方法,该方法试图将一个未初始化的局部变量赋值给一个引用类型:

// BytecodeVerificationExample.java
public class BytecodeVerificationExample {
    public void riskyMethod() {
        Object obj; // 声明但未初始化
        obj = new Object(); // 正常初始化
        Object anotherObj = obj; // 将引用赋值给另一个变量
    }
}

步骤2: 编译Java类文件

使用javac命令编译这个类文件:

javac BytecodeVerificationExample.java

编译器会生成BytecodeVerificationExample.class文件。


步骤3: 故意触发字节码验证错误

为了触发字节码验证错误,我们需要修改riskyMethod,使其包含非法操作,比如访问一个未初始化的局部变量:

public void riskyMethod() {
    Object obj; // 声明但未初始化
    Object anotherObj = obj; // 这里将触发字节码验证错误,因为obj未初始化
}

步骤4: 重新编译并尝试运行

重新编译修改后的类:

javac BytecodeVerificationExample.java

尝试运行BytecodeVerificationExample

java BytecodeVerificationExample

预期输出和解释

当你尝试运行修改后的BytecodeVerificationExample时,JVM会在类加载的验证阶段抛出一个java.lang.VerifyError或其子类异常,例如java.lang.ClassFormatErrorjava.lang.VerifyError,因为JVM在字节码验证阶段检测到了非法操作。


输出示例:

java.lang.VerifyError: (class: BytecodeVerificationExample, method: riskyMethod signature: ()V) Incompatible object types for assignment

这个错误表明JVM在字节码验证阶段检测到了类型不兼容的赋值操作,即试图将一个未初始化的引用赋值给另一个引用。

通过这个示例,可以清楚地理解字节码验证的过程和重要性。

在实际开发中,JVM会自动进行字节码验证,以确保运行的字节码是安全的。如果字节码包含非法操作,JVM将拒绝加载和执行该类,从而防止潜在的安全问题和运行时错误。


4、符号引用验证(能否被正确加载和解析)

符号引用验证是Java类加载过程中的解析阶段的一部分,它发生在元数据验证之后。符号引用是类文件中的一组符号,用于间接引用类、字段、方法等。符号引用验证的目的是确保这些符号引用能够被正确地加载和解析,即它们指向的类、字段、方法等确实存在,并且可以通过全限定名找到。


(1)、符号引用验证的主要检查内容
  • 类、接口、字段和方法的存在性:确保类文件中引用的所有类、接口、字段和方法都存在于JVM中或能够被找到。

  • 访问权限:确保当前类有权限访问被引用的类、字段和方法,比如私有成员不能被不同包中的类访问。

  • 返回类型:对于方法引用,验证返回类型是否与符号引用中指定的一致。

  • 参数类型:对于方法引用,验证参数类型是否与符号引用中指定的一致。

为了演示符号引用验证,我们将创建一个Java类,其中包含对不存在的类或方法的引用,然后尝试加载这个类。


(2)、案例演示:符号引用验证

步骤1: 创建引用不存在类的Java类

首先,我们创建一个Java类SymbolReferenceVerificationExample,其中包含对一个不存在的类的引用:

// SymbolReferenceVerificationExample.java
public class SymbolReferenceVerificationExample {
    public void useNonExistentClass() {
        // 试图使用一个不存在的类
        new NonExistentClass();
    }
}

步骤2: 编译Java类文件

使用javac命令编译这个类文件:

javac SymbolReferenceVerificationExample.java

编译器会生成SymbolReferenceVerificationExample.class文件,因为符号引用验证是在类加载时由JVM执行的,而不是在编译时。


步骤3: 尝试加载和运行类

尝试运行SymbolReferenceVerificationExample

java SymbolReferenceVerificationExample

由于我们没有定义NonExistentClass类,所以这一步不会成功。


步骤4: 预期输出和解释

当你尝试运行SymbolReferenceVerificationExample时,JVM会在类加载的解析阶段抛出一个java.lang.NoClassDefFoundErrorjava.lang.ClassNotFoundException异常,因为NonExistentClass无法被找到。

输出示例:

java.lang.NoClassDefFoundError: NonExistentClass

或者

java.lang.ClassNotFoundException: NonExistentClass

这个错误表明JVM在解析阶段检测到了一个无法找到的类引用,即符号引用验证失败。


解释

通过这个示例,可以清楚地理解符号引用验证的过程和重要性。

在实际开发中,如果一个类文件中包含了对不存在的类、字段或方法的引用,JVM将无法解析这些符号引用,并在运行时抛出异常。这有助于确保程序的健壮性,防止因为引用错误而导致的运行时错误。

值得注意的是,符号引用验证是在类加载的解析阶段进行的,而不是在编译时。这意味着即使编译器没有报错,如果运行时环境中缺少必要的类或资源,JVM仍然会抛出异常。


四、准备-为类变量分配内存并初始化

准备阶段是Java类加载过程的第三步,紧跟在验证阶段之后。在这个阶段,JVM为类变量分配内存,并初始化类变量的默认值。类变量,也就是静态变量,是被static关键字声明的变量,它们不属于类的任何特定实例,而是属于类本身。


1、准备阶段的主要任务
  • 内存分配:JVM为类变量在方法区分配内存空间。
  • **默认初始化:**为类变量赋予默认初始值。这些值是根据变量的数据类型决定的:
    • 整数类型byteshortintlong默认初始化为0
    • 浮点类型floatdouble默认初始化为0.0
    • 字符类型char默认初始化为\u0000(即Unicode编码中的空字符)。
    • 布尔类型boolean默认初始化为false
    • 引用类型默认初始化为null

为了演示准备阶段,我们将创建一个Java类,其中包含不同类型的静态变量,并展示它们在准备阶段的初始化。


2、案例演示:准备阶段

步骤1: 创建Java类

首先,我们创建一个Java类ClassInitialization,其中包含各种类型的静态变量:

// ClassInitialization.java
public class ClassInitialization {
    // 静态变量声明
    public static int staticInt;
    public static double staticDouble;
    public static char staticChar;
    public static boolean staticBoolean;
    public static String staticString;
    public static Object staticObject;

    public static void main(String[] args) {
        // 将输出类变量的初始默认值
        System.out.println("staticInt: " + staticInt); // 预期输出:staticInt: 0
        System.out.println("staticDouble: " + staticDouble); // 预期输出:staticDouble: 0.0
        System.out.println("staticChar: " + staticChar); // 预期输出:staticChar: 
        System.out.println("staticBoolean: " + staticBoolean); // 预期输出:staticBoolean: false
        System.out.println("staticString: " + staticString); // 预期输出:staticString: null
        System.out.println("staticObject: " + staticObject); // 预期输出:staticObject: null
    }
}

步骤2: 编译Java类文件

使用javac命令编译这个类文件:

javac ClassInitialization.java

这将在当前目录下生成ClassInitialization.class文件。


步骤3: 运行Java程序

运行编译后的类:

java ClassInitialization

预期输出

程序运行时,将输出每个静态变量的默认初始值:

staticInt: 0
staticDouble: 0.0
staticChar: 
staticBoolean: false
staticString: null
staticObject: null

解释

这个示例展示了在类加载的准备阶段,JVM如何为静态变量分配内存并赋予默认初始值。这个过程是自动的,由JVM在类加载时执行。值得注意的是,尽管静态变量已经赋予了默认值,但此时还未执行静态初始化块(static{}块)中的代码。静态初始化块将在初始化阶段执行,可以覆盖这些默认值。

通过这个示例,可以清楚地理解类加载准备阶段的行为,以及静态变量是如何在没有显式初始化的情况下获得默认值的。


五、解析将类的符号引用转为直接引用


解析阶段会把类中的符号引用转换为直接引用,也就是将虚拟机实例在内存中存储的数据替换为直接引用指针。

解析阶段是Java类加载过程的第四个阶段,它发生在准备阶段之后。在这个阶段中,JVM将类中的符号引用转换为直接引用。符号引用是类文件中的一组符号,用于间接引用类、字段、方法等。直接引用是指向目标的指针、相对偏移量或是一个能够直接定位到目标的句柄。


1、解析的主要任务
  • 类或接口的解析:将类或接口的符号引用转换为直接引用。

  • 字段解析:将字段的符号引用转换为直接引用,并检查字段的访问权限。

  • 类方法解析:将类方法的符号引用转换为直接引用,并检查方法的访问权限。

  • 接口方法解析:将接口方法的符号引用转换为直接引用,因为接口方法默认是public的,所以不需要检查访问权限。


2、案例演示:解析阶段

为了演示解析阶段,我们将创建两个Java类,其中一个类引用了另一个类和它的成员。


步骤1: 创建被引用的Java类

首先,我们创建一个被引用的Java类ReferencedClass

// ReferencedClass.java
public class ReferencedClass {
    public int field = 123;
    
    public void method() {
        System.out.println("Method in ReferencedClass");
    }
}

步骤2: 创建引用其他类的Java类

然后,我们创建一个引用ReferencedClass及其成员的类ReferringClass

// ReferringClass.java
public class ReferringClass {
    public static final Class<?> REFERENCED_CLASS = ReferencedClass.class;
    public static final int REFERENCED_FIELD = ReferencedClass.field;
    public static final void REFERENCED_METHOD() {
        ReferencedClass.method();
    }
    
    public static void main(String[] args) {
        // 演示直接引用
        REFERENCED_CLASS.getName(); // 获取并打印类名
        REFERENCED_FIELD += 100; // 修改字段值
        REFERENCED_METHOD(); // 调用方法
    }
}

步骤3: 编译Java类文件

使用javac命令编译这两个类文件:

javac ReferencedClass.java
javac ReferringClass.java

步骤4: 运行Java程序

运行编译后的ReferringClass

java ReferringClass

预期输出

程序运行时,将演示直接引用的使用:

ReferencedClass
223
Method in ReferencedClass

解释

ReferringClass中,我们通过符号引用ReferencedClass.class获取了ReferencedClassClass对象的直接引用,通过ReferencedClass.field获取了字段的直接引用,并通过直接调用ReferencedClass.method()获取了方法的直接引用。

ReferringClass被加载时,JVM会解析这些符号引用,将它们转换为直接引用。这意味着JVM会查找ReferencedClass类,确保它已经被加载,然后将符号引用替换为指向实际类、字段、方法的直接引用。

这个过程是在类加载的解析阶段自动完成的,它确保了所有的引用在程序运行时都是有效的,可以直接访问目标类、字段或方法。通过这个示例,读者可以清楚地理解解析阶段的作用,以及它是如何将符号引用转换为直接引用的。


六、初始化


初始化阶段是Java类加载过程的最后一个阶段,发生在解析阶段之后。在这个阶段,JVM为类的静态变量赋予正确的初始值,并执行类定义中的静态代码块(如果存在的话)。初始化阶段是类加载过程中类从"未初始化"状态转变为"已初始化"状态的关键步骤。


1、初始化阶段的主要任务
  • 静态变量初始化:为静态变量赋予声明时指定的初始值,或者直接赋予静态初始化器中的值。

  • 静态代码块执行:执行类中定义的所有静态代码块(static{}块)。


2、案例演示:初始化阶段

为了演示初始化阶段,我们将创建一个Java类,其中包含静态变量和静态代码块。


步骤1: 创建Java类

首先,我们创建一个Java类ClassInitializationExample,其中包含静态变量、静态初始化器和静态代码块:

// ClassInitializationExample.java
public class ClassInitializationExample {
    // 静态变量声明
    public static int staticVar = 10; // 初始值为10

    // 静态代码块
    static {
        // 静态代码块中的代码
        staticVar = 20; // 静态代码块中修改静态变量的值为20
        System.out.println("Static block: staticVar is initialized to " + staticVar);
    }

    public static void main(String[] args) {
        // main方法中的代码
        System.out.println("staticVar in main: " + staticVar);
    }
}

步骤2: 编译Java类文件

使用javac命令编译这个类文件:

javac ClassInitializationExample.java

这将在当前目录下生成ClassInitializationExample.class文件。


步骤3: 运行Java程序

运行编译后的类:

java ClassInitializationExample

预期输出

程序运行时,将输出静态变量的初始值和静态代码块执行的结果:

Static block: staticVar is initialized to 20
staticVar in main: 20

解释

ClassInitializationExample类中,静态变量staticVar首先被赋予了初始值10。当JVM到达初始化阶段时,它首先执行静态代码块中的代码,将staticVar的值修改为20,并打印出相应的信息。然后,当main方法被执行时,它打印出staticVar的值,此时已经是静态代码块中修改后的值20。

这个示例展示了类加载的初始化阶段如何为静态变量赋予正确的初始值,并执行静态代码块。值得注意的是,静态变量的初始化和静态代码块的执行是在类被主动使用之前完成的,这是Java语言的一个特性,确保了类的静态状态在首次使用时已经完全初始化。通过这个示例,读者可以清楚地理解类加载初始化阶段的行为和重要性。


七、结语

类加载机制是Java程序的基石,理解它的原理将为我们编写高效、安全的程序奠定基础。除了类加载,JVM中还有哪些值得我们深入探索的机制呢?比如性能优化、内存管理、垃圾回收等,它们将在后续文章中为您一一揭晓。敬请期待!


本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/652956.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

【全开源】CMS内容管理系统源码(ThinkPHP+FastAdmin)

基于ThinkPHPFastAdmin的CMS内容管理系统&#xff0c;自定义内容模型、自定义单页、自定义表单、专题、统计报表、会员发布等 提供全部前后台无加密源代码和数据库私有化部署&#xff0c;UniAPP版本提供全部无加密UniAPP源码。 ​构建高效内容管理的基石 一、引言&#xff1a…

数据结构—队列(C语言实现)

文章目录 前言一、队列的概念二、队列的实现Queue.hQueue.c 三、设计循环队列问题数组实现链表实现 总结 前言 嗨喽喽&#xff01;&#xff01;小伙伴们&#xff0c;大家好哇&#xff0c;欢迎来到我的博客&#xff01; 今天将要分享的是另一种数据结构—队列&#xff0c;以及…

迈向F5G-A,开启全光万兆新时代——南通移动完成全市首个50G-PON技术验证

近日&#xff0c;南通移动在崇川区完成全市首个50G-PON万兆技术现网验证&#xff0c;标志着南通成为首批具备F5G-A(The 5th GenerationFixed Network-advanced)的万兆光网城市&#xff0c;使其成为网速最快、覆盖最全、时延最低的城市之一。 作为全光万兆的关键技术&#xff0c…

计算机图形学入门01:概述

1.什么是图形学? The use of computers to synthesize and manipulate visual information. 图形学是合成和操纵视觉信息的计算机应用。 百度百科&#xff1a;计算机图形学(Computer Graphics&#xff0c;简称CG)是一种使用数学算法将二维或三维图形转化为计算机显示器的栅格…

深入解析MySQL 8中的角色与用户管理

欢迎来到我的博客&#xff0c;代码的世界里&#xff0c;每一行都是一个故事 &#x1f38f;&#xff1a;你只管努力&#xff0c;剩下的交给时间 &#x1f3e0; &#xff1a;小破站 深入解析MySQL 8中的角色与用户管理 前言角色和用户的基础概念用户&#xff08;User&#xff09;…

一个基于预训练的DenseNet121模型的人脸年龄分类系统

这篇文章采用预训练的DenseNet121模型并使用自定义的数据集类和自定义的类似正态分布的标签平滑策略来训练了一个人脸年龄分类模型&#xff0c;最后基于这个模型用tk实现了一个娱乐向的小系统。 数据集展示&#xff1a; 两个文件夹&#xff0c;分别是训练集和测试集&#xff0…

光伏组件积灰检测系统

光伏组件积灰检测系统是一种专门用于监测光伏组件表面灰尘积累情况的设备。以下是关于该系统的详细信息和特点&#xff1a; 系统概述 光伏组件积灰检测系统安装在光伏板的框架上&#xff0c;通过实时监测光伏组件表面的灰尘厚度、分布情况和清洁度&#xff0c;为运维人员提供…

深入分析 Android Activity (五)

文章目录 深入分析 Android Activity (五)1. Activity 的进程和线程模型1.1 主线程与 UI 操作1.2 使用 AsyncTask1.3 使用 Handler 和 Looper 2. Activity 的内存优化2.1 避免内存泄漏2.2 使用内存分析工具2.3 优化 Bitmap 使用 3. Activity 的跨进程通信&#xff08;IPC&#…

如何修改WordPress网站的域名

我的网站用的是Hostease的虚拟主机&#xff0c;但是域名是之前在其他平台买的&#xff0c;而且已经快到期了&#xff0c;因为主机和域名在不同的平台上&#xff0c;管理不太方便&#xff0c;所以我又在Hostease重新注册了一个域名&#xff0c;然后把网站换成了新的域名&#xf…

配置环境变量

配置环境变量$(xxxx)&#xff0c;代表宏 32位操作系统&#xff0c;请自觉将文中路径中所有的x64换成x86。 %符号表示引用系统环境变量或用户自定义的环境变量 如果你想将某个文件夹添加到Visual Studio的路径中&#xff0c;你可以在环境变量中添加%FolderName%&#xff0c;其…

java项目之高校教师科研管理系统源码(springboot+vue+mysql)

风定落花生&#xff0c;歌声逐流水&#xff0c;大家好我是风歌&#xff0c;混迹在java圈的辛苦码农。今天要和大家聊的是一款基于springboot的高校教师科研管理系统源码。项目源码以及部署相关请联系风歌&#xff0c;文末附上联系信息 。 项目简介&#xff1a; 高校教师科研管…

关于python中屏蔽输出

python中屏蔽输出包含屏蔽标准输出&#xff08;比如打印出来的内容&#xff09;、屏蔽标准错误&#xff08;错误信息&#xff09;还有屏蔽logging信息等。 屏蔽标准输出 import contextlib import oswith open(os.devnull, "w") as devnull:with contextlib.redire…

100个 Unity小游戏系列四 -Unity 抽奖游戏专题二 水果机游戏

一、演示效果 二、知识点 2.1 布局 private void CreateItems(){for (int i 0; i < rewardDatas.Length; i){var reward_data rewardDatas[i];GameObject fruitOjb;if (i < itemRoot.childCount){fruitOjb itemRoot.GetChild(i).gameObject;}else{fruitOjb Instant…

大屏表格实现无限滚动效果

实现效果 实现思路 首先固定最外层的高度&#xff0c;并且设置超出高度后隐藏设置每一行的高度为固定35PX&#xff0c;默认显示10行&#xff0c;所以最外层高度就是 35 * 10 表头的高度遍历时克隆一份表格数据&#xff0c;用于视差效果显示设置滚动动画&#xff0c;让表格行所…

VMware vSphere Distributed Services Engine 和利用 DPU 实现网络加速

VMware相关学习专栏&#xff1a;虚拟化技术 vSphere 8.0 通过加速数据处理单元 (DPU) 上的网络功能实现了突破性的工作负载性能。 vSphere 8.0 通过加速 DPU 上的网络功能实现了突破性工作负载性能&#xff0c;从而满足现代分布式工作负载的吞吐量和延迟需求。借助 vSphere Dis…

GIGE 协议摘录

系列文章目录 GIGE 学习笔记 GIGE 协议摘录 文章目录 系列文章目录引言第 1 章 设备发现1.1 链路选择1.1.1 单链路配置1.1.2 多链路配置1.1.3 链路聚合组配置 LAG 1.2 IP配置1.2.1 协议选择1.2.2 静态IP1.2.3 DHCP1.2.4 链接本地地址 LLA 1.3 设备枚举1.3.1 GVCP设备发现 引言 …

4个月赚20万!一张图赚7500!多种变现方式,一个被忽视的暴力项目

大家好&#xff0c;今天给大家带来一个被很多人忽视&#xff0c;不起眼确很暴力的项目。 大胆放心干 课程获取&#xff1a; https://hsgww.com/https://hsgww.com/

停车场变综合楼,结构分析助力低碳设计

PLAXIS 和 RAM 助力确定更有效的结构设计并大幅降低施工成本 总部和周边区域 桑坦德银行位于英国的新总部将现有的四个英国办事处合并到米尔顿凯恩斯的一个中心枢纽&#xff0c;位于伦敦以北 50 英里。 Unity Place 将作为桑坦德银行约 5,000 名员工的办公场所。该项目总投资 …

SpringBoot——整合RabbitMQ收发消息

目录 RabbitMQ消息队列 项目总结 新建一个SpringBoot项目 pom.xml application.properties配置文件 index.html前端页面 RabbitMQConfig配置类 RabbitMQProducer生产者 RabbitMQConsumer消费者 IndexController控制器 SpringbootRabbitmqApplication启动类 测试 Ra…