Java多态的三个前提条件是：存在继承或实现关系、有方法重写、父类引用指向子类对象。三者缺一不可，否则无法实现运行时动态方法分派。
Java多态的前提条件有三个，缺一不可：存在继承或实现关系、有方法重写（Override）、父类引用指向子类对象（即向上转型）。
1. 类之间必须有继承或接口实现关系
多态不是凭空发生的。子类必须继承父类（extends），或者类必须实现接口（implements）。只有这样，才存在“一种类型可以表现为多种形态”的基础。比如：Animal a = new Dog(); 成立的前提是 Dog extends Animal；而 Runnable r = new Thread(); 成立则因为 Thread implements Runnable。
2. 子类必须重写父类或接口中的方法
重写（Override）是多态行为发生的动力源。只有被重写的方法，在运行时才能根据实际对象类型调用对应版本。注意：重载（Overload）不参与多态，它属于编译期行为。
- 方法名、参数列表必须完全一致
- 返回类型需兼容（可协变返回）
- 访问权限不能更严格（如父类protected，子类不能private）
- 抛出异常范围不能扩大
3. 必须使用父类/接口类型声明引用，指向子类对象
这是触发动态绑定的关键。声明类型决定“能调用哪些方法”（编译期检查），实际对象类型决定“执行哪个方法体”（运行期决定）。
立即学习“Java免费学习笔记（深入）”；
✅ 正确示例：
Animal a = new Cat();
a.sound(); // 运行时调用 Cat 的 sound()
❌ 错误示例：
Cat c = new Cat();
c.sound(); // 编译期和运行期都是 Cat，不体现多态
基本上就这些。少了任一条件，Java 就无法在运行时做出动态方法分派——也就没有真正意义上的多态。
