Java多态依赖编译期静态类型和运行期实际类型，核心是重写+向上转型+动态绑定；final/static/private方法不参与动态绑定，字段访问无多态。
Java多态依赖编译期静态类型和运行期实际类型
Java多态的核心不是“重载”，而是“重写”+“向上转型”+“动态绑定”。编译器只认变量声明类型（静态类型），而JVM在运行时根据对象真实类型（实际类型）决定调用哪个method。这叫“动态方法调度”，也叫“虚方法调用”。
常见误解是以为只要方法名一样就有多态，其实必须满足：同一继承体系、非static/final/private、签名一致、子类重写了父类方法。
- 父类引用指向子类对象：例如
Animal a = new Dog(); - 调用被重写的方法时，JVM查的是
a实际指向的Dog对象的vtable（虚方法表） - 如果子类没重写，就沿继承链向上找，直到
Object
final/static/private方法不会触发动态绑定
这些修饰符会阻止JVM走虚方法调用流程——它们在编译期就绑定了目标字节码指令：
-
static方法：绑定到声明它的类，和对象无关；Dog.say()和Animal.say()是两个独立符号 -
final方法：JVM可内联优化，不进vtable，也不参与重写判定 -
private方法：隐式final，且不可被继承，子类里同名方法只是新定义，不是重写
下面这个例子容易踩坑：
立即学习“Java免费学习笔记（深入）”；
class Animal {
public void speak() { System.out.println("animal"); }
private void hide() { System.out.println("animal hide"); }
}
class Dog extends Animal {
public void speak() { System.out.println("woof"); }
private void hide() { System.out.println("dog hide"); } // 不是重写！
}
Animal a = new Dog();
a.speak(); // 输出 "woof" → 动态绑定生效
// a.hide(); // 编译错误：父类private方法不可见
接口实现类的动态绑定和抽象类类似
接口方法默认是public abstract，实现类用public重写后，同样走动态绑定。注意两点：
- 接口不能有
static或default以外的字段，所以“向上转型”只能靠引用类型转换 -
default方法可以被重写，也会参与动态绑定；但static接口方法永远静态绑定
示例：
interface Soundable {
void makeSound();
default void describe() { System.out.println("has sound"); }
static void info() { System.out.println("sound interface"); }
}
class Cat implements Soundable {
public void makeSound() { System.out.println("meow"); }
public void describe() { System.out.println("cat sound"); } // 重写default
}
Soundable s = new Cat();
s.makeSound(); // "meow"
s.describe(); // "cat sound" → 动态绑定到Cat版本
// Soundable.info(); // 静态调用，与实例无关
看字节码确认是否真走了invokevirtual
判断一个调用是否动态绑定，最直接的方式是反编译看指令。只有invokevirtual才表示JVM会在运行时查vtable；invokestatic、invokespecial都是静态绑定。
比如这段代码：
Animal a = new Dog(); a.speak();
编译后对应字节码是：
aload_1 invokevirtual Animal.speak:()V
注意：即使方法声明在Animal，指令仍写Animal.speak，但JVM运行时会按a的真实类型（Dog）去查它的vtable条目。
真正容易被忽略的是：动态绑定只发生在**实例方法调用**上，和字段访问完全无关——字段永远按静态类型解析，不存在多态字段。
