动态绑定本质是jvm在运行时根据对象真实类型查vtable跳转子类方法，需同时满足：调用非static非private非final的实例方法、发生向上转型；static/private/final方法因使用invokestatic/invokespecial指令而静态绑定。

多态实现中的动态绑定，本质是“调用哪段代码”不由编译器定，而由运行时对象的真实类型决定。它不是语法糖，而是 JVM 在方法调用时的一套底层执行逻辑。

动态绑定发生的前提条件

只有同时满足以下三点，Java 才会启用动态绑定：

• 调用的是实例方法（即非 static）
• 该方法既不是 private，也不是 final
• 调用通过对象引用进行，且该引用发生了向上转型（如 Animal a = new Dog();）

JVM 层面怎么找到真正要执行的方法

当执行 a.sound() 这类调用时，JVM 实际做三件事：

• 从对象头中取出实际类的元数据指针（比如指向 Dog.class）
• 查该类在方法区构建的方法表（vtable），按 sound() 在类结构中的固定索引位置读取函数入口地址
• 跳转到子类重写后的字节码指令处执行（不是去 Animal 表里找，也不是靠 if-else 判断）

为什么 static、private、final 方法不参与动态绑定

这些方法在字节码层面就用了不同指令，绕过了方法表查找流程：

• static 方法用 invokestatic：直接绑定到声明类型的类，和对象无关
• private / 构造器 / final 方法用 invokespecial：编译期已确定目标，不查表
• 即使子类定义了同名 static 或 private 方法，也只是新增独立符号，不会覆盖父类行为

动态绑定和多态的关系

多态是现象，动态绑定是支撑这个现象的机制。没有动态绑定，Animal a = new Dog(); a.sound(); 就只能调用 Animal 的 sound，无法体现“同一调用，不同行为”。它让父类引用能自动路由到子类实现，是面向对象解耦的关键技术基础。