栈帧中的动态链接本质是JVM在运行时将符号引用转换为直接引用的过程，它依赖对象实际类型和继承关系，在方法执行时动态确定目标地址，支撑Java多态；非虚方法则通过静态链接提前绑定。

栈帧中的动态链接，本质是 JVM 在运行时把字节码里“只知道名字”的方法调用（符号引用），精准绑定到实际要执行的代码地址（直接引用）的过程。它不是一次性完成的固定映射，而是依赖对象真实类型、继承关系和调用上下文，在方法真正执行那一刻才确定目标。

符号引用如何进入栈帧

Java 编译后，所有方法调用都以符号引用形式存入 class 文件的常量池，比如 Ljava/lang/String;.length:()I。当该方法被调用、对应栈帧创建时，JVM 会在栈帧中保存一个指向这个常量池项的索引——这就是动态链接的“锚点”。它不包含内存地址，只保留查找路径。

• 这个索引在栈帧生命周期内始终有效，供每次方法调用时重新解析使用
• 即使同一个方法被多次调用（如循环中），每次都会走一遍动态链接流程，确保结果反映当前对象的实际类型
• 它与局部变量表、操作数栈一样，是栈帧的固有组成部分，由 JVM 自动维护

运行时如何完成符号→直接引用的转换

转换发生在 invokevirtual 或 invokeinterface 指令执行时，JVM 会按顺序做三件事：

• 从当前栈帧的局部变量表中取出调用者对象的引用（比如 obj）
• 根据该引用查出对象的实际类型（例如是 Dog 而非声明时的 Animal）
• 在该实际类型的类元数据中，按继承链向上查找匹配的方法实现（先查 Dog，再查 Animal），最终拿到该方法在内存中的入口地址（即直接引用）

这个过程也叫“虚方法表（vtable）查找”或“方法解析”，JVM 通常会缓存结果（如内联缓存），但底层逻辑仍是每次调用都校验实际类型。

为什么不能全靠编译期确定

因为 Java 支持多态：变量的静态类型（编译时已知）和实际类型（运行时才确定）可能不同。例如：

Animal a = Math.random() > 0.5 ? new Dog() : new Cat();
a.sound(); // 编译只知道是 Animal.sound()，运行才知道调 Dog 还是 Cat 的实现

如果提前固化为某个具体地址，就会破坏多态语义。动态链接正是为这种不确定性提供运行时决策能力。

哪些方法跳过动态链接

非虚方法在类加载阶段就完成了符号到直接引用的转换（静态链接），后续调用直接跳转，无需运行时查表：

• invokestatic：静态方法，无接收者，目标唯一
• invokespecial：私有方法、构造器、父类方法，无法被重写
• 被 final 修饰的实例方法，编译器可判定不可覆盖

这些方法的调用性能更高，但失去动态分派能力；而虚方法虽多一层查找开销，却支撑了面向对象的核心特性。