Java多态成立必须同时满足三个条件：存在继承或实现关系、有方法重写、父类引用指向子类对象；缺一不可，否则编译报错或退化为静态绑定。
Java多态成立的前提不是“写对了语法”就自动生效，而是必须同时满足三个硬性条件；缺一不可，否则编译报错或运行时退化为静态绑定。
有继承或实现关系
多态本质是“同一调用，不同行为”，这要求子类能替换父类——也就是必须存在 extends 或 implements 的显式关系。接口实现也算，但两个毫无关联的类（哪怕方法签名一致）无法构成多态。
- 正确示例：
class Dog extends Animal或class MySQLDao implements Dao - 常见错误：直接用两个独立类（如
class A和class B）互相赋值，编译失败：incompatible types: B cannot be converted to A - 注意：
Object是所有类的默认父类，所以String s = "x"; Object o = s;是多态，但此时只能调用Object中的方法
有方法重写（override），不是重载（overload）
多态在运行时决定调用哪个版本的方法，前提是该方法在子类中被 重写，而非仅重载。重载方法在编译期就绑定，与多态无关。
JavaStoryDevelop
下载
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
- 重写判断标准：方法名、参数列表、返回类型（协变允许子类型）完全一致，且不能是
private、static、final - 典型陷阱：
static方法可以“被子类同名定义”，但这只是隐藏（hiding），不是重写；调用仍取决于引用类型，不体现多态 - 验证方式：在子类重写方法里加
@Override注解，编译器会强制校验是否真正在重写父类可访问方法
父类引用指向子类对象（向上转型）
这是触发动态绑定的临界点。必须用父类（或接口）类型声明变量，再用子类实例赋值，即所谓“编译看左边，运行看右边”。
立即学习“Java免费学习笔记（深入）”；
- 合法写法：
Animal a = new Dog();或Runnable r = () -> System.out.println("ok"); - 无效写法：
Dog d = new Dog(); d.bark();—— 这只是普通调用，没有多态参与 - 容易忽略的细节：局部变量、方法参数、返回值类型只要符合“父类声明 + 子类实例”，都算；例如传参
void feed(Animal a)时传入new Cat()，同样激活多态
class Animal {
public void speak() { System.out.println("animal sound"); }
}
class Cat extends Animal {
@Override
public void speak() { System.out.println("meow"); }
}
class Dog extends Animal {
@Override
public void speak() { System.out.println("woof"); }
}
// 多态发生在这里：引用是 Animal 类型，实际对象是 Dog/Cat
Animal a1 = new Dog();
Animal a2 = new Cat();
a1.speak(); // 输出 woof
a2.speak(); // 输出 meow
真正难的不是记住这三个条件，而是在复杂继承链、泛型擦除、Lambda 表达式或框架代理场景下，判断某个调用是否还保持多态性——这时候得一层层看字节码或调试时 inspect 实际 class 类型，而不是只盯源码表面。
