多态的本质是JVM在运行时根据对象实际类型查表定位方法。编译期仅校验合法性，invokevirtual指令触发动态绑定；static、private、final方法及构造器均绕过该机制，重载则属编译期行为。
多态的本质是运行时类型决定方法调用目标
Java 中的多态不是语法糖，也不是编译期重载的延伸，而是由 JVM 在运行时根据对象实际类型（而非引用声明类型）查表定位具体方法的过程。关键在于：编译期只校验方法是否存在、签名是否合法；真正选哪个 invokevirtual 目标，要等对象创建完毕、类型确定后才发生。
invokevirtual 指令如何触发运行时绑定
所有非 private、非 static、非 final 的实例方法调用，字节码都生成 invokevirtual。JVM 执行它时会：
- 拿到栈顶对象的实际类（比如
new Dog()，实际类是Dog，哪怕引用类型是Animal） - 在该类的方法表（vtable）中查找与方法签名匹配的条目
- 若当前类没重写，则沿继承链向上查父类 vtable，直到
Object - 跳转到最终找到的方法字节码入口执行
这个过程无法被编译器提前固化——哪怕你写了 animal.speak()，只要 animal 运行时指向 Dog 实例，就一定调 Dog.speak()。
哪些情况会绕过运行时绑定
不是所有“看起来像多态”的调用都走 invokevirtual：
立即学习“Java免费学习笔记（深入）”；
-
static方法：编译期绑定，调用目标由引用类型决定，Animal.speak()和Dog.speak()是两个独立符号 -
private方法：隐式invokespecial，不参与继承查找，子类里同名方法只是新定义，和父类无关 -
final实例方法：虽走invokevirtual，但 JIT 可能内联优化，因为已知不可能被重写 - 构造器：一律
invokespecial，不存在“子类构造器覆盖父类构造器”的概念
常见误判：把 overload（重载）当成多态。它发生在编译期，靠参数类型静态选择方法，和运行时对象类型完全无关。
为什么 final 或私有方法不能被多态调用
根本原因在于 JVM 规范对绑定时机的约束：
-
private方法不可见，子类无法声明“重写”，自然没有运行时替换的语义基础 -
final方法禁止重写，JVM 可以安全地在类加载阶段确认其唯一实现，无需延迟到运行时查表 - 如果强行在子类定义同签名
private方法，它只是独立方法，和父类无关系；调用时仍按编译期引用类型找，不会跨类解析
一个典型陷阱：toString() 被重写后表现正常，但若你在父类把它声明为 private，子类的 toString() 就永远不会被 System.out.println(obj) 调用到——因为 PrintStream.println(Object) 内部调的是 Object.toString()，而那个方法是 public 的；如果你自己写了个 private 版本，它压根不会进入继承体系。
