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();
}
class Circle extends Shape {
final double r;
Circle(double r) { this.r = r; }
@Override double area() { return Math.PI r r; }
}
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; }
}
// ✅ 正确：形参是统一抽象类型，行为由实际对象决定
void printArea(Shape s) {
System.out.println("Area: " + s.area()); // 运行时绑定到 Circle.area() 或 Rectangle.area()
}
调用时：
本书是全面讲述PHP与MySQL的经典之作，书中不但全面介绍了两种技术的核心特性，还讲解了如何高效地结合这两种技术构建健壮的数据驱动的应用程序。本书涵盖了两种技术新版本中出现的最新特性，书中大量实际的示例和深入的分析均来自于作者在这方面多年的专业经验，可用于解决开发者在实际中所面临的各种挑战。 本书内容全面深入，适合各层次PHP和MySQL开发人员阅读，既是优秀的学习教程，也可用作参考手册。
-
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 的类型检查机制，不是语法层面的“多态参数”。
泛型方法 ≠ 多态参数，但可辅助类型安全
泛型方法如 Shape 或其子类，并保留类型信息（比如返回 T），但它仍要求每次调用传入**确定的一个具体类型**，不会在一次调用中接受多个不兼容类型。它解决的是类型擦除后的安全问题，不是参数类型的动态切换。
易错点：
- 写
void handle(T a, T b) a是Circle、b是Rectangle—— 此时T会被推断为它们的最近公共父类（如Shape），失去子类特有方法 - 泛型无法绕过方法重载解析规则：
handle(Circle)和handle(Rectangle)是两个独立重载方法，靠编译期静态类型选择，非运行时多态
真正需要“根据参数类型选逻辑”的场景，本质是设计问题：要么重构为策略模式（Map），要么承认 Java 的类型系统边界，用 instanceof + 显式分支（配合 sealed 提升安全性）。
