Java中没有“多态参数”，只有通过父类/接口形参+子类重写实现运行时多态；泛型、联合类型（JDK21前）、方法重载均不构成真正多态参数，核心是对象多态驱动动态绑定。
Java 中没有“多态参数”这种语法概念，方法签名中的参数类型在编译期就已固定，所谓“多态参数传递”实际是**利用继承/接口 + 方法重载或重写 + 运行时绑定**来实现行为的动态选择。关键不在“参数多态”，而在“对象多态”驱动的方法调用。
为什么不能直接声明「多态类型」的形参？
Java 是强类型静态语言，void process(Object obj) 看似能接收任意子类，但这只是向上转型（upcast），不是多态参数；而 void process(? extends Animal) 这种写法只允许在泛型中出现，且不能用于普通方法形参声明——编译器会报错 unexpected type。
常见误解场景：
- 试图写
void handle(Shape | Circle | Rectangle x)→ 语法非法，Java 不支持联合类型（直到 JDK 21 才有sealed+switch模式匹配，但不改变形参声明规则） - 用
Object接收后手动instanceof分支 → 可行但破坏开闭原则，不是面向对象的多态解法
正确做法：用抽象方法 + 子类重写驱动运行时多态
把“不同参数类型对应不同逻辑”的需求，转为“同一参数类型（父类/接口引用），不同实例触发不同实现”。这是 Java 多态的核心落地方式。
立即学习“Java免费学习笔记（深入）”；
示例结构：
abstract class Shape {
abstract double area();
}
<p>class Circle extends Shape {
final double r;
Circle(double r) { this.r = r; }
@Override double area() { return Math.PI <em> r </em> r; }
}</p><p>class Rectangle extends Shape {
final double w, h;
Rectangle(double w, double h) { this.w = w; this.h = h; }
@Override double area() { return w * h; }
}</p><p>// ✅ 正确：形参是统一抽象类型，行为由实际对象决定
void printArea(Shape s) {
System.out.println("Area: " + s.area()); // 运行时绑定到 Circle.area() 或 Rectangle.area()
}调用时：
-
printArea(new Circle(2.0))→ 输出Area: 12.566... -
printArea(new Rectangle(3, 4))→ 输出Area: 12.0
这里没有“参数多态”，只有 s 引用的 Shape 类型和实际 Circle/Rectangle 对象之间的动态绑定。
需要区分类型时：优先用访问者模式或 sealed class + pattern matching（JDK 21+）
如果业务逻辑确实需按具体子类做差异处理（如导出格式、校验规则），又不想写一堆 instanceof，可考虑：
-
访问者模式：将操作抽离为
Visitor接口，每个Shape子类实现accept(Visitor v)，把“类型判断”下推到子类内部 -
Sealed 类 + switch 表达式（JDK 21）：定义
sealed abstract class Shape permits Circle, Rectangle，然后用switch (shape) { case Circle c -> ...; case Rectangle r -> ...; }—— 编译器确保穷尽，安全且简洁
注意：switch 匹配的是运行时对象类型，不是形参声明类型，它依赖 JVM 的类型检查机制，不是语法层面的“多态参数”。
泛型方法 ≠ 多态参数，但可辅助类型安全
泛型方法如 <T extends Shape> void process(T item)，其作用是约束实参必须是 Shape 或其子类，并保留类型信息（比如返回 T），但它仍要求每次调用传入**确定的一个具体类型**，不会在一次调用中接受多个不兼容类型。它解决的是类型擦除后的安全问题，不是参数类型的动态切换。
易错点：
- 写
<T> void handle(T a, T b)并不能让a是Circle、b是Rectangle—— 此时T会被推断为它们的最近公共父类（如Shape），失去子类特有方法 - 泛型无法绕过方法重载解析规则：
handle(Circle)和handle(Rectangle)是两个独立重载方法，靠编译期静态类型选择，非运行时多态
真正需要“根据参数类型选逻辑”的场景，本质是设计问题：要么重构为策略模式（Map<Class<?>, Handler>），要么承认 Java 的类型系统边界，用 instanceof + 显式分支（配合 sealed 提升安全性）。
