多态参数本质是用父类或接口类型声明形参，运行时根据实参实际类型动态绑定方法；形参类型须为非final的父类/接口，实参须满足IS-A关系，方法内只能调用声明类型中定义的方法。
Java 中的多态参数，本质是利用父类（或接口）类型作为方法形参，实际传入子类（或实现类）对象。这种写法不依赖具体类型，而是依赖“编译时看引用类型、运行时看实际类型”的多态机制。
多态参数的声明与接收
方法定义时，用父类或接口声明参数类型；调用时传任意其子类/实现类实例。JVM 在运行时自动绑定到实际对象的方法。
- 形参类型必须是父类、抽象类或接口，不能是 final 类（如 String 虽是 final，但可作为参数，只是无法被继承）
- 实参对象必须是该类型或其子类型（满足 IS-A 关系），否则编译报错
- 方法体内只能调用形参类型中声明的方法（编译期检查），即使子类有扩展方法也无法直接访问
典型写法示例
比如定义一个处理形状的通用方法：
interface Shape { void draw(); }
class Circle implements Shape { public void draw() { System.out.println("画圆"); } }
class Rectangle implements Shape { public void draw() { System.out.println("画矩形"); } }
// 多态参数：接收所有 Shape 实现类
void render(Shape s) {
s.draw(); // 运行时决定调哪个 draw()
}
// 调用
render(new Circle()); // 输出：画圆
render(new Rectangle()); // 输出：画矩形
注意事项与常见误区
多态参数不是“重载”也不是“泛型”，它依赖的是继承/实现关系和动态绑定。
立即学习“Java免费学习笔记（深入）”；
- 不能在方法内直接强转为子类类型使用，除非先 instanceof 判断，否则可能抛 ClassCastException
- 若需子类特有行为，应考虑是否设计不合理——要么提取到父接口/类中，要么拆分职责，避免破坏封装
- 泛型方法（如 <T extends Shape> void process(T t)）可提供类型安全，但解决的是不同问题（编译期类型推导），不替代多态本身
结合重载与多态的区别
重载（Overload）是编译期行为，看的是参数的**声明类型**；而多态（Override）是运行期行为，看的是参数的**实际类型**。例如：
void handle(Shape s) { System.out.println("Shape 版本"); }
void handle(Circle c) { System.out.println("Circle 版本"); }
Shape s = new Circle();
handle(s); // 调用 Shape 版本（编译时确定），不是 Circle 版本
这里虽然 s 实际是 Circle，但重载选择只看变量声明类型 Shape，所以不会触发多态意义上的“子类版本”。要发挥多态，得靠方法重写，而非重载。
