在Java中多态参数传递如何工作_Java方法调用多态性说明_技术教程

多态参数传递的本质是编译期静态类型决定方法签名和成员可见性，运行期动态绑定决定具体方法体执行。字段访问静态绑定，方法调用动态绑定；重载看静态类型，重写看运行时类型；泛型受限于类型擦除，不支持运行时多态分发。

多态参数传递的本质是编译期静态类型 + 运行期动态绑定

Java 中方法参数的多态性不改变参数变量本身的类型声明，而是让实际传入的对象在运行时决定调用哪个重写版本的方法。关键点在于：方法签名由形参的声明类型决定，而具体执行哪个方

法体，取决于实参对象的实际运行时类型。

例如，声明 void process(Animal a) 可以接收 Dog 或 Cat 实例，但该方法体内只能调用 Animal 中定义或继承的方法；不能直接调用 Dog.bark()，除非显式转型。

重载（overload）和重写（override）在参数传递中容易混淆

很多人误以为“传入子类对象就自动触发重载”，其实不然。重载解析发生在编译期，只看**形参的静态类型**；重写才看运行时类型。下面这段代码常被误解：

class Animal {}
class Dog extends Animal {}

public class Test {
    public void feed(Animal a) { System.out.println("feed Animal"); }
    public void feed(Dog d)   { System.out.println("feed Dog"); }

    public static void main(String[] args) {
        Animal a = new Dog();
        new Test().feed(a); // 输出：feed Animal，不是 feed Dog
    }
}

feed(a) 的实参 a 静态类型是 Animal，编译器只匹配到 feed(Animal)
即使 a 实际是 Dog 实例，也不会触发 feed(Dog) 重载版本
若想调用 feed(Dog)，必须让静态类型也是 Dog：比如 Dog d = new Dog(); feed(d);

泛型方法与多态参数的交互要注意类型擦除

泛型方法本身不支持多态分发，因为类型参数在运行时已被擦除。例如：

 void handle(T t) {
    t.eat(); // OK：eat() 在 Animal 中定义
    // t.bark(); // 编译错误：T 的上界是 Animal，bark() 不可见
}

泛型约束的是编译期检查，不是运行时行为增强
即使传入 Dog，T 在方法体内仍被视为 Animal 子类型，不能访问子类特有成员
若需调用子类方法，得配合 instanceof + 强制转型，或使用 visitor 模式等替代方案

常见陷阱：父类引用调用子类方法时字段访问不具多态性

方法调用是动态绑定的，但**字段访问是静态绑定的**。这是最容易忽略的一点：

class Animal {
    String name = "Animal";
    public String getName() { return name; }
}
class Dog extends Animal {
    String name = "Dog";
    @Override public String getName() { return name; }
}

Animal a = new Dog();
System.out.println(a.name);      // 输出：Animal（字段访问看声明类型）
System.out.println(a.getName()); // 输出：Dog（方法调用看实际类型）