多态产生的前提是继承或接口实现、方法重写、父类/接口类型引用；运行时通过 invokevirtual 指令查虚方法表动态绑定；static、private、final 方法及字段访问不具多态性。
多态产生的前提：继承、接口实现与方法重写
Java 中的多态不是自动发生的，它依赖三个明确条件：子类继承父类 或 类实现接口，同时存在 方法重写（override），且调用方使用的是父类/接口类型的引用变量。缺一不可。
常见错误是把 方法重载（overload） 当作多态——它发生在编译期，和运行时绑定无关；而真正触发多态的是重写后通过父类引用调用子类实现。
- 父类引用指向子类对象，例如：
Animal a = new Dog(); - 该引用调用的方法必须在子类中被重写（不能是
private、static或final） - 编译时类型（
Animal）决定能否调用，运行时类型（Dog）决定执行哪个版本
运行时绑定如何工作：从字节码到虚方法表
Java 编译器对重写方法生成的是 invokevirtual 指令，而非 invokestatic 或 invokespecial。JVM 在执行该指令时，不会直接跳转到某个固定地址，而是查对象实际类型的 vtable（虚方法表）。
每个类加载时，JVM 会为其构建一张方法表，表中按声明顺序存放所有可被重写的方法入口。子类的表会复制父类对应项，再把被重写的方法替换成自己的实现地址。
立即学习“Java免费学习笔记（深入）”；
-
invokevirtual先取操作数栈顶对象的实际类型 - 再根据方法签名，在该类型的 vtable 中定位具体函数指针
- 最终跳转执行——这个过程在每次调用时都发生，但现代 JVM 有内联缓存（IC）优化热点路径
哪些方法不参与运行时绑定
不是所有“看起来像多态”的调用都会触发动态分派。以下情况一律走静态绑定（编译期决定）：
-
static方法：调用取决于引用的声明类型，A a = new B(); a.staticMethod()执行的是A.staticMethod -
private方法：隐式final，仅在本类可见，子类里同名方法是全新方法，不是重写 -
final方法：禁止重写，JVM 可能直接内联，跳过 vtable 查找 - 构造方法：本质是
invokespecial，永远绑定到当前new的类型
误以为 private 能被重写，是初学者最常踩的坑——IDE 可能不报错，但子类里的同名方法和父类完全无关。
容易被忽略的细节：字段访问不具多态性
多态只适用于方法调用，**字段（成员变量）访问永远看编译时类型**。这是极易混淆的一点。
例如：class Parent { int x = 1; } class Child extends Parent { int x = 2; }，当 Parent p = new Child(); 时，p.x 的值是 1，不是 2。JVM 不查子类字段，而是直接按 Parent 类型偏移量读内存。
如果需要“字段多态”，只能封装为 getter 方法——因为只有方法调用才走 invokevirtual 和 vtable。
这种不对称性让很多人在调试时困惑：明明对象是子类实例，打印字段却不是预期值。记住：字段没动态绑定，只有方法有。
