多态的本质是运行时方法绑定，即 invokevirtual 指令根据对象实际类型查虚方法表动态选择方法体；字段访问无多态性，由编译时类型决定；static、final、private 方法不参与多态。
多态的本质是运行时方法绑定，不是编译时类型决定的
Java 多态的核心不在“有多个形态”，而在于 invokevirtual 指令在运行时根据对象实际类型查虚方法表（vtable），动态选择要执行的方法体。编译期只检查引用类型是否具备该方法声明，不决定调用哪个实现。
常见误解是“父类引用指向子类对象”就等于多态——其实这只是触发条件；真正发生多态，必须满足：
- 方法是非 static、非 final、非 private 的实例方法
- 子类重写了该方法
- 调用发生在运行时，且对象实际类型是子类
为什么 static 和 final 方法不参与多态
static 方法属于类，绑定发生在编译期，JVM 用 invokestatic 指令，直接定位到声明它的类，跟对象实例无关；final 方法虽属实例，但被禁止重写，JVM 可能内联或用 invokespecial 直接调用，跳过虚方法查找流程。
- 写个
static方法，在父类和子类里同名定义，用父类引用调用——永远执行父类的版本 - 把重写方法加
final，再用多态引用调用——编译仍通过，但运行时不会走子类逻辑 -
private方法隐式final，且不可见，子类里“同名方法”其实是全新方法，跟父类完全无关
字段访问不具有多态性，这是最容易踩的坑
多态只适用于方法调用，不适用于字段（成员变量）。字段访问由引用类型（编译时类型）决定，而非实际类型。
class Animal { String name = "animal"; }
class Dog extends Animal { String name = "dog"; }
Animal a = new Dog();
System.out.println(a.name); // 输出 "animal"，不是 "dog"
如果需要按实际类型取值，必须封装为 getter 方法——只有方法调用才走运行时绑定：
立即学习“Java免费学习笔记（深入）”；
-
a.getName()才会输出 "dog"（前提是Dog重写了getName()） - 字段隐藏（hiding）≠ 方法重写（overriding），JVM 对字段不做动态分派
- Lombok 的
@Data或 Jackson 序列化时若直接反射字段，也会表现出“非多态”行为
接口多态与继承多态底层机制一致，但 vtable 构建更复杂
接口方法调用使用 invokeinterface 指令，JVM 需在运行时遍历类实现的所有接口，查找匹配方法签名。相比单继承的虚方法表，接口方法查找开销略高，但 Java 8+ 通过接口默认方法和静态方法优化了部分路径。
- 一个类实现多个接口，且多个接口有同名默认方法——必须显式
@Override，否则编译失败 - 接口默认方法不能被
private或static修饰，否则无法参与多态分派 - Spring AOP 代理对象、或字节码增强（如 Lombok、MapStruct）可能干扰接口方法的实际分派链，调试时注意看最终生成的字节码
多态不是语法糖，是 JVM 运行时机制的直接体现；一旦混淆编译期类型和运行时类型，或者误以为字段也有多态，问题就会藏得深、查得慢。
