ldc指令加载动态常量时触发bootstrap方法执行，依赖MethodHandles体系和ConstantBootstraps提供的标准引导方法；其流程包括提取BMH索引、加载MethodHandle、调用linkCallSite并缓存结果。
Java 中的 ldc 指令加载常量时，若遇到动态常量（JVM_CONSTANT_Dynamic），不会直接从常量池取值，而是触发 bootstrap 方法执行。这一机制的核心支撑是 MethodHandles 体系，尤其是 ConstantBootstraps 提供的一组标准引导方法。
ldc 如何识别并分派动态常量
当 JVM 执行 ldc 指令且操作数指向一个 CONSTANT_Dynamic_info 项时，会进入动态常量解析流程。此时 JVM 会：
- 提取该常量项中记录的 bootstrap method handle（BMH）索引、静态参数个数与类型
- 从当前类的常量池中加载对应的
MethodHandle实例（通常由MethodHandles.lookup()构建） - 将该 BMH 与静态参数一起传入
java.lang.invoke.MethodHandleNatives.linkCallSite，最终调用其invoke - bootstrap 方法返回的结果被缓存进常量池对应位置，后续
ldc直接复用该结果
ConstantBootstraps 常用方法及其语义
ConstantBootstraps 是 JDK 提供的工具类，内含多个静态方法，专为 ldc 的 bootstrap 场景设计。它们接收 MethodHandles.Lookup、名称、目标类型及可选参数，返回运行时解析出的实际值：
-
enumConstant(lookup, name, type)：根据枚举类名和字面量名查出对应枚举实例，例如Color.RED -
getStaticFinal(lookup, name, type)：读取类中public static final字段的编译期常量值（支持基本类型包装类或字符串） -
explicitCast(lookup, name, dstType, value)：在 bootstrap 阶段完成类型转换，如把Integer转为int或Object转为具体子类 -
fieldVarHandle(...)和staticFieldVarHandle(...)：构造对应字段的VarHandle，用于高效、无反射的字段访问 -
nullConstant(lookup, name, type)：生成指定引用类型的null，常用于泛型擦除后保留类型信息的场景
字符串与运行时常量池的协同关系
虽然 ldc 加载字符串字面量（JVM_CONSTANT_String）不经过 ConstantBootstraps，但其底层机制与动态常量有相似逻辑：
- 首次解析时，JVM 调用
StringTable::intern()将字符串驻留到全局字符串表，确保唯一性 - 后续相同字面量的
ldc直接命中已 intern 的对象，避免重复创建 - 这种“按需驻留 + 缓存复用”模式，与
ConstantBootstraps引导方法返回值被缓存进常量池的设计思想一致
实际编写 bootstrap 方法的注意事项
若需自定义 bootstrap 方法（非使用 ConstantBootstraps 内置方法），需注意：
- 方法签名必须为
(MethodHandles.Lookup, String, Class<?>) → Object或带额外静态参数的变体 - 方法必须是
static，且对调用类具有可访问性（通常声明为public） - 返回值类型必须与
ldc所期望的 descriptor 类型兼容，否则抛出BootstrapMethodError - 方法体内应尽量无副作用，因 JVM 可能对同一常量多次调用 bootstrap（但结果会被缓存）
