Java多态参数的核心是方法签名用父类或接口声明形参，配合子类实参、重写和运行时绑定实现行为差异；需满足非private/static/final、子类重写、传入子类实例三条件，协变返回类型可提升类型安全，集合统一处理进一步解耦。
Java 中多态参数的灵活接收，核心不在“参数本身多态”，而在于**方法签名中用父类或接口类型声明参数**，配合子类实参、方法重写和运行时绑定，实现同一方法调用不同行为。
方法签名必须用抽象层类型
形参类型不能写具体子类，而应使用继承体系的顶层父类（如 Animal）或接口（如 Shape、Payment）。这样编译器才允许传入任意符合关系的子类实例。
- ✅ 正确：
void feed(Animal a)→ 可传new Dog()、new Cat()、后续新增的new Duck()也无需改方法 - ❌ 错误：
void feed(Dog d)或试图写void feed(Dog | Cat d)—— Java 不支持联合类型作形参，JDK 21 的模式匹配也不改变这一限制
必须满足重写与运行时绑定条件
仅声明父类参数还不够。要真正触发多态行为，需同时满足：
- 被调用的方法在父类中不是
private、static或final - 子类用
@Override显式重写该方法（如Dog.eat()、Cat.eat()） - 调用时实际传入的是子类对象（如
feed(new Dog())），而非父类实例
若子类未重写，仍执行父类逻辑——多态不会自动发生，它依赖重写的事实。
立即学习“Java免费学习笔记（深入）”；
协变返回类型提升调用体验
当方法需要返回对象时，可利用协变返回类型增强类型安全：
- 父类方法声明
public Animal getPet() - 子类可重写为
public Dog getPet()（Dog是Animal的子类） - 调用方用父类引用接收结果后，可直接调用
Dog特有方法，无需强转
注意：协变只适用于引用类型返回值，不适用于基本类型或泛型擦除后的类型（如 List<Dog> 和 List<Animal> 无法构成协变）。
搭配集合统一处理多种子类
多态参数设计的价值，在批量操作时尤为明显：
- 把不同子类对象存入父类/接口类型的集合：
List<Animal> pets = Arrays.asList(new Dog(), new Cat(), new Duck()); - 遍历时统一调用：
for (Animal a : pets) a.eat();→ 每个对象自动执行自己的eat() - 后续新增
Fish类？只需让它继承Animal并重写eat()，其余代码零修改
避免在方法内部写 if (a instanceof Dog) 或强制转型——那是绕开多态，反而增加耦合和维护成本。
