Java多态必须满足五个条件：非静态、非私有、非final方法，经向上转型后由实际对象类型动态绑定。字段访问、static方法、构造器、泛型参数均不参与多态。
多态必须靠继承或实现接口来触发
Java 中的多态不是写个方法重载就自动生效的，它要求有明确的「向上转型」关系：子类对象赋值给父类引用。没有这个前提，编译器连动态绑定的机会都不给。
-
Animal a = new Dog();✅ 触发多态；a.speak()运行时调用Dog.speak() -
Dog d = new Dog(); d.speak();❌ 静态绑定，不涉及多态，哪怕speak()是override的 - 接口同理：
List是多态；直接用list = new ArrayList(); ArrayList实例调用则不是
只有非 private / static / final 方法才参与动态绑定
Java 虚拟机在运行期根据实际对象类型查虚方法表（vtable），但前提是该方法得是“可覆盖”的。以下三类方法会被跳过：
-
private方法：隐式final，编译期就绑定到声明类，子类里同名方法只是新定义，跟父类无关 -
static方法：属于类，不依赖实例，调用由引用类型决定（即编译时类型），Animal a = new Dog(); a.staticMethod();调的是Animal.staticMethod() -
final方法：禁止重写，JVM 直接内联或静态绑定，不进 vtable
class Animal {
void speak() { System.out.println("animal"); }
static void info() { System.out.println("animal static"); }
private void secret() { System.out.println("private"); }
}
class Dog extends Animal {
void speak() { System.out.println("woof"); }
static void info() { System.out.println("dog static"); }
void secret() { System.out.println("dog secret"); } // 这不是重写，是独立方法
}
执行 Animal a = new Dog(); a.speak(); → 输出 woof；a.info(); → 输出 animal static；a.secret(); 编译报错（不可见）。
构造器中调用 override 方法是危险操作
子类构造过程中，父类构造器先执行。如果父类构造器里调用了被子类重写的方法，此时子类字段还未初始化，可能拿到默认值（如 null、0），引发空指针或逻辑错误。
立即学习“Java免费学习笔记（深入）”；
- 这不是多态失效，而是多态「太早生效」导致的状态不一致
- IDE 通常会警告
Overridable method call in constructor - 解决方式：把逻辑移到
init()方法中，或用final修饰该方法强制不被重写
class Parent {
String name = "parent";
Parent() {
init(); // ❌ 危险：若子类重写了 init()，此时子类字段未初始化
}
void init() { System.out.println(name); }
}
class Child extends Parent {
String name = "child"; // 此时还未赋值
void init() { System.out.println(name); } // 输出 null
}
多态与泛型擦除共存时要注意类型安全边界
泛型在运行期被擦除，但多态仍基于实际对象类型。这意味着你不能靠泛型参数触发多态行为，也不能指望 List 在运行时保留 Dog 类型信息来影响方法分派。
-
List和dogs = new ArrayList(); List编译失败（泛型不可变），但animals = dogs; List extends Animal>可以接收 - 方法重载（overload）看的是引用类型（编译期），而重写（override）看的是实际类型（运行期）。泛型擦除后，重载解析已固定，不会因实际对象变化而改变
- 所以不要试图用泛型类型去控制多态分支——该用
instanceof+ 强转，或用访问者模式、策略模式替代
最常被忽略的一点：多态只发生在「实例方法调用」这一条路径上。字段访问、static 方法、构造器行为、泛型类型参数，全都不吃多态这套规则。想靠「一个引用变量切换多种行为」，必须严格满足「非静态、非私有、非 final、向上转型、运行时对象真实存在」这五个条件。少一个，就退化成静态绑定。
