Java 类加载机制中 final static变量在准备阶段赋值吗-java教程-PHP中文网

java 类加载机制中，final static 变量在准备阶段是否赋值取决于其常量表达式。如果该变量是编译期常量（即使用常量表达式初始化），则在准备阶段就会被赋予常量值；否则，它将在初始化阶段由方法执行赋值。

Java 类加载机制中 final static变量在准备阶段赋值吗

编译期常量与运行时常量的区别

区分这两者的关键在于初始化表达式是否在编译时就能确定结果。对于基本数据类型或 String 类型，如果初始值是由字面量或仅包含常量的表达式构成，JVM 会将其视为编译期常量。这类字段会被标记为 CONSTANT_FieldInfo 中的 constantValue 属性，并在准备阶段直接填入内存。反之，如果初始值涉及方法调用、对象创建或非恒定运算，则无法在编译期确定，必须留待初始化阶段处理。

Java 类加载机制中 final static变量在准备阶段赋值吗

public class Test {
    // 编译期常量：准备阶段赋值
    public static final int A = 10;
    
    // 非编译期常量：初始化阶段赋值
    public static final int B = (int)(Math.random() * 100);
    
    // 非编译期常量：初始化阶段赋值
    public static final String C = new String("hello");
}

上述代码展示了两种情况。字段 A 的值为字面量，属于编译期常量。字段 B 调用了 Math.random()，这是一个运行时方法，因此不是编译期常量。字段 C 使用了 new 关键字创建对象，同样需要在运行时分配内存，故也不是编译期常量。

字节码层面的证据分析

通过查看编译后的字节码文件，可以清晰地观察到这种差异。对于编译期常量，编译器会在常量池中生成一个 ConstantValue 属性。这个属性告诉 JVM 在类加载的准备阶段，直接从常量池读取该值并放入静态变量的内存区域，无需执行任何指令。而对于非编译期常量，字节码中不会生成 ConstantValue 属性，相关的赋值逻辑会被移动到类的初始化方法中。

JavaScript 测试模式

使用 Jest、Vitest 和 Testing Library 实施全面的测试策略，包括单元测试、集成测试和端到端测试，涵盖模拟、测试夹具和测试驱动开发。在编

下载

Java 类加载机制中 final static变量在准备阶段赋值吗

// 反汇编 Test.class 的部分内容
// 对于 A: 10
public static final int A;
  descriptor: I
  flags: ACC_PUBLIC, ACC_STATIC, ACC_FINAL
  ConstantValue: int 10

// 对于 B: (int)(Math.random() * 100)
public static final int B;
  descriptor: I
  flags: ACC_PUBLIC, ACC_STATIC, ACC_FINAL
  // 无 ConstantValue 属性

static {};
  descriptor: ()V
  flags: ACC_STATIC
  Code:
    0: invokestatic #2                  // Method java/lang/Math.random:()D
    3: dmul           #3                  // double 100.0
    6: d2i          
    7: putstatic      #4                  // Field B:I
    10: return

在字节码示例中，字段 A 明确显示了 ConstantValue: int 10，这证实了它在准备阶段就被赋值。而字段 B 没有此属性，其赋值操作出现在方法中，具体表现为调用 Math.random 并进行转换后存入字段。这进一步验证了只有编译期常量才能在准备阶段获得值。

基于程序中某个输入、条件或结果的具体问题

在实际开发中，理解这一机制有助于避免类加载顺序引发的异常。例如，如果一个编译期常量依赖于另一个类的静态字段，而该依赖类尚未初始化，可能会导致意想不到的行为。虽然编译期常量本身在准备阶段就确定了值，但如果常量表达式中引用了其他类的成员，JVM 会强制先初始化被引用的类。不过，对于纯粹的常量表达式，如 public static final int X = 5 + 5;，其值在编译时已固定为 10，不依赖任何运行时状态，因此在准备阶段即可安全赋值，不会触发其他类的初始化。