多态本质是编译看引用类型、运行看实际对象；private、static、final方法不参与多态；向上转型后只能调用父类声明的方法；重载属编译时多态，重写才是运行时多态唯一入口。
多态的本质是“编译看引用类型，运行看实际对象”
这不是一句口号，而是 JVM 执行时的真实分工：编译器只检查 Animal 类里有没有 makeSound() 方法签名；而真正调用哪个版本，要等程序跑起来，JVM 去堆中查那个对象的 Class 元数据，再从子类的方法表（vtable）里定位到 Dog.makeSound() 的字节码入口。
所以你写 Animal a = new Dog(); a.makeSound(); 能通过编译，不是因为编译器“知道”它是 Dog，而是因为它“相信”父类承诺过这个方法存在——真正的分派，发生在运行时。
哪些方法不参与多态？必须警惕的三个例外
不是所有方法都能被子类“接管”。以下三类方法在编译期就锁死了绑定目标，跳过动态分派：
-
private方法：子类根本看不见，谈不上重写，只能算同名新方法 -
static方法：调用完全取决于引用类型，Animal.staticMethod()永远执行Animal版本，哪怕右边是new Dog() -
final方法：明确禁止重写，JVM 直接内联或静态绑定
常见坑：把 static void speak() 放在父类里，然后期待子类重写它来实现多态——结果永远输出父类逻辑，且 IDE 不报错，极难排查。
立即学习“Java免费学习笔记（深入）”；
向上转型后能调用什么？关键看编译时类型声明
父类引用（如 Animal a）能调用的方法，仅限于 Animal 类中定义或继承的所有方法。子类新增的方法（比如 Dog.barkLoudly()），即使对象真是 Dog，也会在编译时报 cannot resolve method barkLoudly()。
解决思路不是靠 instanceof + 强转（破坏封装、耦合变高），而是把共性行为提前抽象进父类或接口——比如把 barkLoudly() 提炼成 makeSound(int volume)，由子类按需实现。
重载 vs 重写：混淆它们，多态就失效
这是新手踩得最多、最隐蔽的坑：以为参数不同就是“重写”，结果发现父类引用调不到。
- 重写（
@Override）：方法名、参数列表、返回类型（或协变子类型）**完全一致**，是运行时多态的唯一入口 - 重载（Overload）：只在同一个类里生效，属于编译时多态；子类定义了
makeSound(String)，但父类没这个签名 → 这是新方法，Animal引用无法访问
验证技巧：加 @Override 注解。如果编译报错“method does not override …”，说明你写的不是重写，多态链已经断了。
真正难的不是写对语法，而是看清某次方法调用走的是重载解析（编译期决定）还是重写分派（运行期决定）——这需要同时盯住左边引用类型和右边对象类型，以及方法签名是否严格匹配。
