Java中不存在“编译时多态”，方法重载是静态绑定的独立方法，真正的多态仅指运行时多态，即继承+重写+动态绑定，由JVM在运行时根据对象实际类型决定调用。
为什么 overload 不算多态？
多态的核心是「同一接口，不同实现，运行时决定调用哪个」。而 overload 的多个方法本质上是**不同签名的独立方法**，编译器在编译阶段就选定了具体调用哪一个，字节码里直接是 invokestatic 或 invokevirtual 到固定方法符号，压根不经过运行时分派。
- 同一个类中定义多个同名但参数不同的
print(String)、print(int)、print(Object...)，编译后生成的是三个完全无关的方法 - 如果把参数改成
print(new Object())，编译器选的是print(Object)而不是print(Object...)，因为前者更精确——这完全是编译期类型推导，和对象实际类型无关 - 哪怕你传入的是
new ArrayList()，只要声明类型是Object，就永远触发print(Object)，不会因为运行时是ArrayList就换方法
override 才是真·运行时多态的唯一路径
只有满足「有继承关系 + 子类重写父类非 private/static/final 的实例方法 + 通过父类引用指向子类对象」，才能触发 JVM 的虚方法调用（invokevirtual）和动态绑定。
class Animal { void sound() { System.out.println("animal"); } }
class Dog extends Animal { @Override void sound() { System.out.println("woof"); } }
class Cat extends Animal { @Override void sound() { System.out.println("meow"); } }
Animal a1 = new Dog();
Animal a2 = new Cat();
a1.sound(); // 输出 "woof" —— 运行时看 a1 实际是 Dog
a2.sound(); // 输出 "meow" —— 运行时看 a2 实际是 Cat
- 关键点不在变量声明类型（
Animal），而在new后面的真实类型 - 如果方法被声明为
static，即使子类“重写”，调用也只看引用类型：((Animal)new Dog()).staticMethod()仍执行Animal.staticMethod() -
private方法不能被重写，子类里同名方法只是新方法，跟父类毫无关系
容易踩坑的边界情况
看似像多态，其实没走动态绑定——这些是高频翻车点：
-
final方法能被继承，但不能被重写，因此无法参与运行时多态 - 构造器里调用
overridden方法是危险的：子类字段尚未初始化，但方法已被子类版本接管（JVM 允许，但逻辑常出错） - 泛型擦除导致的假象：
List<string></string>和List<integer></integer>在运行时都是List，这不是多态，是类型擦除后的统一表现 - 接口默认方法（
default）支持重写，也走动态绑定；但静态接口方法（static）不参与多态，调用目标在编译期锁定
怎么验证到底走没走运行时绑定？
最直接的方式：反编译字节码，看调用指令是 invokestatic（静态绑定）、invokespecial（构造器/私有/超类调用）还是 invokevirtual（运行时多态）。
立即学习“Java免费学习笔记（深入）”；
- 用
javap -c YourClass查看字节码 - 所有
overload调用最终都变成invokestatic或invokevirtual到**确定符号**，不依赖栈顶对象类型 - 真正的
override调用一定是invokevirtual，且方法符号是父类声明的，JVM 在运行时查该对象的实际类的虚方法表（vtable）来定位实现
