多态的核心好处是“不改就扩容”，新增子类时原有调用逻辑几乎零修改；通过父类引用指向子类对象，统一处理不同子类，避免方法爆炸、instanceof泛滥和转型风险，但仅对实例方法生效，成员变量不具多态性。
多态的核心好处不是“写起来酷”，而是让代码能“不改就扩容”——新增子类时，原有调用逻辑几乎零修改。
为什么用 Animal a = new Cat() 而不是直接 Cat c = new Cat()？
因为你要处理的从来不是“一只猫”，而是“一堆动物”。比如一个动物园管理系统，未来要加 Elephant、Penguin，甚至 RobotDog。如果所有地方都写死具体类型：
public void feedCat(Cat c) { ... }
public void feedDog(Dog d) { ... }
public void feedElephant(Elephant e) { ... }
那每加一个新动物，就得新增一个方法、改调用点、补测试——耦合爆炸。
而用多态后：
立即学习“Java免费学习笔记（深入）”；
public void feed(Animal a) {
a.eat(); // 编译看 Animal，运行看实际对象
}
只要新类继承 Animal 并重写 eat()，就能直接传进去，feed() 方法一行不用动。
- 编译期只检查
Animal有没有eat()，不关心具体是谁 - 运行期由 JVM 查找实际对象的类，调用其重写版本（虚方法表机制）
- 接口/抽象类越稳定，子类越自由——这才是可扩展性的底层支撑
多态如何避免 instanceof 泛滥和转型风险？
很多人一想“我要调用猫抓老鼠、狗看家”，立刻写出这种代码：
if (a instanceof Cat) {
((Cat) a).catchMouse();
} else if (a instanceof Dog) {
((Dog) a).guardHouse();
}
这本质是退化回了面向过程的分支判断，完全丢掉了多态价值。正确做法是把差异行为也“上提”到父类契约中：
- 定义抽象方法
doSpecialWork()在Animal中 - 让
Cat实现为catchMouse()，Dog实现为guardHouse() - 调用方永远只写
a.doSpecialWork()，无需知道类型
只有当真需要访问子类特有字段（如 Cat 的 lives 属性）且无法抽象时，才谨慎向下转型，并必须配合 instanceof 检查——否则抛 ClassCastException。
成员变量访问为什么“编译看左，运行看右”不成立？
这是初学者最常误解的一点：多态只对实例方法生效，对成员变量和静态方法完全无效。
class Animal { String type = "Animal"; }
class Cat extends Animal { String type = "Cat"; }
Animal a = new Cat();
System.out.println(a.type); // 输出 "Animal"，不是 "Cat"
原因很简单：变量访问在编译期就绑定了声明类型（Animal），JVM 不会动态查找子类字段。所以：
- 永远不要靠变量多态来区分行为——它不会按你预期工作
- 所有需要差异化的行为，必须通过
public或protected实例方法暴露 - 字段应尽量
private，用 getter/setter 封装，而 getter 可被重写，从而真正参与多态
多态真正的门槛不在语法，而在设计意识：你是否愿意把“变化点”提前识别出来，用父类或接口划出契约边界。一旦这个边界定稳了，后面加十个子类，主流程代码连括号都不用多敲一个。
