Java动态绑定由JVM在运行时根据对象实际类型决定调用方法，关键在于对象真实类型和方法满足非static、非private、非final、实例调用且被重写；底层通过类的方法表（vtable）快速定位实现。
Java 动态绑定中，多态决定调用哪个方法，关键不在于“写的是哪行代码”，而在于运行时对象的真实类型和方法是否满足动态绑定条件。编译器只管语法通不通，真正拍板执行谁的方法，是 JVM 在程序跑起来之后做的。
看对象实际类型，不是看变量声明类型
比如这行代码：
Animal a = new Dog();
a.speak();
虽然变量 a 声明为 Animal 类型，但右边 new 出来的是 Dog 实例。JVM 运行时会顺着这个对象的内存地址，找到它所属的类（Dog），再查 Dog 类的方法表（vtable），最终调用 Dog.speak()。
立即学习“Java免费学习笔记（深入）”；
如果换成 a = new Cat();，同一行 a.speak(); 就会跳转到 Cat.speak() —— 行为自动切换，不需要改调用代码。
必须是可被重写的实例方法
不是所有方法都能享受这种“自动路由”。只有同时满足以下条件的方法，才会走动态绑定路径：
- 是非 static 的（属于对象，不是类）
- 是非 private 的（子类能访问、能重写）
- 是非 final 的（允许被覆盖）
- 是通过实例调用的（不是通过类名.方法名）
- 在子类中确实被 @Override 重写了（否则就沿继承链往上找，可能落到父类实现）
底层靠方法表（vtable）快速定位
JVM 在类加载阶段，就为每个类构建一张方法表。这张表按固定顺序排列所有虚方法（即满足上述条件的方法），每个位置对应一个方法签名。
当执行 a.speak() 时：
- 编译期生成 invokevirtual 指令，只记录方法名和签名，不写死地址
- 运行期 JVM 查 a 所指对象的对象头，拿到它的类元数据（这里是 Dog）
- 从 Dog 的方法表中，按 speak 的签名索引找到对应入口地址
- 若 Dog 重写了 speak，该索引处存的就是 Dog.speak 的字节码地址；否则指向父类 Animal 的实现
一眼识别是不是动态绑定
遇到不确定的情况，可以这样快速验证：
- 在方法体第一行加 System.out.println(this.getClass().getName());，输出的类名就是真正执行的版本
- 把方法改成 static，如果输出变了（比如变成 Animal），说明原来走的就是动态绑定
- 用 javap -v 反编译 class 文件，看到 invokevirtual 指令，基本可以确认是多态调用
