多态参数传递的本质是编译期静态类型决定方法签名和成员可见性，运行期动态绑定决定具体方法体执行。字段访问静态绑定，方法调用动态绑定；重载看静态类型，重写看运行时类型；泛型受限于类型擦除，不支持运行时多态分发。
多态参数传递的本质是编译期静态类型 + 运行期动态绑定
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);
泛型方法与多态参数的交互要注意类型擦除
泛型方法本身不支持多态分发，因为类型参数在运行时已被擦除。例如：
立即学习“Java免费学习笔记（深入）”；
<T extends Animal> 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（方法调用看实际类型）
- 字段没有重写（override），只有隐藏（hiding）
- 多态参数场景下，如果方法内部直接访问
param.field，结果取决于参数的声明类型，而非实际类型 - 务必通过 getter 方法暴露状态，避免直接读取实例字段
new 那行更重要。 
