Java多态通过虚方法表（vtable）实现动态分派，非static、非private、非final的实例方法在运行期根据对象实际类型查vtable调用对应版本，final/static/private方法因编译期绑定而无法多态。
Java多态依赖虚方法表（vtable）实现
Java中非static、非private、非final的实例方法调用，编译期只确定方法签名，运行期才决定具体执行哪个类的哪个版本——这个动态分派过程靠每个类的虚方法表支撑。
每个类在类加载的准备阶段就会生成一张vtable，表中按声明顺序存放该类所有可被重写的方法入口地址。子类vtable会继承父类表结构，并把被重写的方法指针替换成自己的实现地址。
- 接口方法不进
vtable，而走itable（接口方法表），查找开销略高 -
final方法不会出现在vtable里，JIT可能直接内联，失去多态性但提升性能 - 字段访问不经过
vtable，永远是静态绑定，所以System.out.println(obj.field)不会体现多态
invokevirtual指令是多态的执行开关
字节码层面，普通实例方法调用都编译为invokevirtual指令。它不直接跳转到某个地址，而是查当前对象实际类型的vtable，再根据方法符号引用在表中的索引取出目标方法地址。
比如Animal a = new Dog(); a.sound();，编译后是invokevirtual Animal.sound:()V，运行时JVM拿到a的真实类型Dog，查Dog.vtable中sound对应槽位，执行Dog.sound()。
立即学习“Java免费学习笔记（深入）”；
- 如果方法在
vtable中未被重写（如Dog没重写Animal.sleep()），槽位仍指向Animal.sleep的地址 -
invokespecial（用于super.xxx()、构造器、私有方法）不查vtable，是静态绑定 - 调用
static方法用invokestatic，也与对象实际类型无关
为什么final/static/private方法无法多态
这些修饰符让JVM在编译或类加载早期就能唯一确定调用目标，跳过运行期动态查找，也就切断了多态链路。
-
private方法隐含final语义，子类根本不可见，自然谈不上重写 -
static方法属于类而非实例，调用目标由变量声明类型决定：Animal.staticMethod()和Dog.staticMethod()是两个完全独立的方法 -
final方法虽可被继承，但禁止重写，vtable中该槽位始终指向父类实现
class Animal {
void sound() { System.out.println("animal"); }
final void run() { System.out.println("run"); }
}
class Dog extends Animal {
void sound() { System.out.println("woof"); }
// 编译报错：Cannot override the final method from Animal
// void run() { ... }
}
多态失效的典型场景与排查思路
不是写了父类 ref = new 子类()就一定触发多态，常见断点包括：方法签名不一致、返回值协变误判、泛型擦除干扰、以及IDE/编译器缓存导致的假象。
- 子类方法参数类型与父类不一致（如父类
eat(String)，子类写成eat(Object)），这是重载而非重写，vtable不覆盖 - 使用泛型时，
List，调用的是list = new ArrayList(); ArrayList的add(E)，但擦除后签名是add(Object)，仍走vtable；但如果误写list.add(123)，编译失败，跟多态无关 - 修改子类后未重新编译，或IDE未刷新类路径，可能还在跑旧
vtable
最直接验证方式：用javap -v看字节码，确认调用指令是否为invokevirtual，再对照类的vtable结构（可通过-XX:+PrintVtables JVM参数输出）。
