Java类常量(static final基本类型或字符串字面量)在编译期内联为ldc指令,不触发字段访问;修改值后若未重编译依赖类,旧值仍生效;仅编译期确定的常量被内联,非编译期常量(如System.currentTimeMillis())走getstatic。

Java中类常量(即用static final修饰的基本类型或字符串字面量)在编译期就确定值,会被直接“内联”进使用处,运行时通常不通过字段访问,而是由ldc指令从常量池加载。
类常量的访问本质是“值复制”,不是“字段读取”
当一个public static final int MAX = 100;被其他类引用,比如System.out.println(MyClass.MAX);,Javac在编译阶段就把MyClass.MAX替换成字面量100,生成的字节码里实际是ldc 100,而非getstatic MyClass.MAX。这意味着:
- 如果修改常量值但不重新编译依赖类,旧类仍用原值(经典“常量更新不生效”问题)
- 该优化仅适用于编译期可确定的常量:基本类型、String、以及通过常量表达式计算出的值(如
final int X = 1 + 2;) - 非编译期常量(如
static final Long ID = System.currentTimeMillis();)不会内联,必须走getstatic
ldc指令负责加载常量池中的常量项
ldc(load constant)是JVM字节码指令,用于把常量池中指定索引的CONSTANT_Integer、CONSTANT_Float、CONSTANT_String等项推入操作数栈。它不触发类初始化,也不访问字段内存地址,纯属“查表取值”。例如:
-
ldc "hello"→ 加载字符串字面量(指向运行时常量池中的字符串实例) -
ldc 42→ 加载整型字面量(直接压入int值) - 注意:
ldc_w和ldc2_w是其扩展版本,用于索引超过255的常量池项或long/double类型
如何验证是否发生内联?看字节码最直接
用javap -c反编译即可确认:
立即学习“Java免费学习笔记(深入)”;
- 若看到
ldc后紧跟iconst_*或直接打印指令,说明已内联 - 若看到
getstatic Xxx.CLASS_NAME.FIELD_NAME,说明未内联(比如字段是非基本类型、非final、或用了复杂表达式) - 小技巧:把
static final字段改成static final Integer(包装类型),即使值固定,也不会内联——因为Integer对象创建发生在运行时
想绕过内联?用间接引用或运行时计算
如果需要确保每次读取都经过字段访问(比如配合Agent热替换、或调试观察值变化),可以:
- 去掉
final(哪怕逻辑上不变,也强制走getstatic) - 用方法返回值代替字段:
static int getMax() { return 100; },调用时必走invokestatic - 使用
volatile static final无意义(final字段不能volatile),但volatile static可阻止JIT过度优化读取
基本上就这些。理解ldc与内联机制,能帮你避开常量更新失效、字节码调试困惑、以及跨模块版本不一致等问题。









