什么是Java中的多态参数和多态数组

Java中不存在“多态参数”和“多态数组”；所谓“多态参数”实为方法重载或泛型擦除，属编译期静态绑定；所谓“多态

数组”实为数组协变，与运行时多态无关且不安全。

Java 中没有“多态参数”和“多态数组”这两个官方术语，它们是初学者对某些现象的误称。实际背后对应的是 方法重载（常被误叫“多态参数”）和 数组协变（常被误叫“多态数组”）——但二者与面向对象中真正的“多态”（即运行时多态，基于 继承 + 重写 + 向上转型 + 动态绑定）有本质区别。

所谓“多态参数”其实是方法重载或泛型擦除后的表现

Java 不支持在运行时根据参数类型动态选择不同行为的“多态参数”。你看到的类似效果，通常来自以下两种情况：

• 方法重载：编译期静态绑定，比如 print(String) 和 print(Object) 是两个独立方法，调用哪个由编译时参数声明类型决定，跟子类无关
• 泛型方法：如 void handle(T item)，但擦除后实际签名是 void handle(Object)，运行时无法区分 String 还是 Integer
• 如果试图靠参数类型做运行时分发（比如传 Animal 子类就走不同逻辑），必须显式用 instanceof 或 getClass() 判断——这不是语言支持的多态，而是手动模拟

所谓“多态数组”其实是数组的协变性（covariance），不是多态

Java 数组是协变的，即 String[] 是 Object[] 的子类型。但这和多态无关，且极易引发 ArrayStoreException：

String[] strs = new String[1];
Object[] objs = strs; // 合法：数组协变
objs[0] = new Integer(42); // 运行时抛出 ArrayStoreException

这种设计是历史遗留问题，ArrayList 等泛型集合则不具备协变性（ArrayList 不是 ArrayList 的子类型），更安全。

真正体现多态的场景：引用变量、方法调用、接口实现

只有满足这四个条件，才是 Java 中标准的运行时多态：

• 有继承关系（或实现接口）：Dog extends Animal
• 子类重写了父类方法：@Override public void speak()
• 使用父类/接口类型声明引用：Animal a = new Dog();
• 通过该引用调用重写方法：a.speak(); → 实际执行 Dog.speak()

注意：数组类型、方法参数类型、泛型类型参数本身都不参与这个动态绑定过程。它们要么在编译期确定（重载、泛型擦除），要么受限于类型系统规则（协变数组）。

最容易被忽略的一点：数组协变是 Java 类型系统的特例，它破坏了类型安全性，而泛型集合的设计恰恰是为了避免它——所以别把 String[] 赋给 Object[] 当成“多态好用”，那是埋雷。