多态本质是编译时看引用类型、运行时看实际对象类型；父类引用调用子类方法不报错因编译器只检查引用类型中是否存在该方法签名，运行时由JVM动态绑定。
Java里多态的本质，是“编译时看引用类型，运行时看实际对象类型”——方法调用的最终目标，在编译阶段不锁定，在运行阶段才由JVM根据堆中对象的真实类来动态决定。
为什么父类引用调用子类方法不会报错？
因为编译器只检查 引用类型（比如 Animal）中是否存在该方法签名；只要父类声明了 makeSound()，哪怕实际是 Dog 对象，也能通过编译。真正的分派发生在运行时：JVM查对象的 class 元数据，找到 Dog.makeSound() 的字节码入口。
- 如果父类方法是
private、static或final，编译器会直接绑定到父类实现，跳过动态查找 - 接口方法调用也走同样机制（通过
invokeinterface指令），只是查找逻辑稍异 - 构造方法不参与多态——它没有被重写的概念，且必须显式调用
方法重写（Override）和重载（Overload）混淆是最大坑
新手常把参数不同的方法当成“重写”，结果发现多态没生效。关键区别：@Override 注解不是装饰，而是编译器校验契约的开关。
JavaStoryDevelop
下载
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
- 重写要求：方法名 + 参数列表 + 返回类型（或协变子类型）完全一致
- 重载只是同名不同参，属于编译时多态，与运行时绑定无关
- 例如
method(String)在子类中定义，但父类没有该签名 → 这是新方法，父类引用无法调用
class Animal { void speak() {} }
class Dog extends Animal {
@Override void speak() { System.out.println("汪"); } // ✅ 重写
void speak(String tone) { System.out.println("汪 " + tone); } // ❌ 重载，Animal 引用不能访问
}
向上转型后能调用哪些方法？
只能调用 编译时类型 声明的方法——即父类中定义（或继承）的方法集合。子类新增的方法，即使存在，也会在编译时报 cannot resolve method 错误。
立即学习“Java免费学习笔记（深入）”；
- 安全做法：用
instanceof+ 强转（但破坏多态初衷） - 更优解：把共性行为抽象进父类/接口，避免临时强转
- 静态方法永远不参与多态：调用
Animal.staticMethod()就一定执行Animal版本，不管引用指向谁
真正难的不是写对语法，而是判断某个调用到底走的是重载解析还是重写分派——这需要同时看清编译期类型推导和运行期对象布局。很多诡异行为，都源于把 static 方法或 private 方法误当成了可多态的入口。
