
Java中多态依赖运行时类型,不是编译时引用类型
Java多态的核心是「编译看左边,运行看右边」——变量声明类型(父类)决定可调用哪些方法,实际执行哪个方法体,取决于new出来的对象真实类型(子类)。这背后靠的是JVM的虚方法调用机制:invokevirtual指令在运行时查对象的实际类的vtable(虚函数表),定位到最终方法实现。
- 如果子类重写了父类的
public或protected非static、非final方法,该方法就参与多态分派 -
private方法、static方法、构造器不参与多态,它们绑定发生在编译期(静态绑定) - 字段(
field)不具有多态性:访问哪个字段,完全由引用类型(左边)决定,和对象实际类型无关
父子类引用赋值时,编译器只检查向上转型合法性
把子类实例赋给父类引用,是安全的向上转型(upcast),编译器允许且不需显式强转。但反过来(父类引用转子类)必须显式强制转换,且运行时会抛ClassCastException,除非实际对象真是那个子类。
Animal a = new Dog(); // ✅ 合法:Dog是Animal的子类 Cat c = (Cat) a; // ❌ 运行时报错:a实际是Dog,不是Cat Dog d = (Dog) a; // ✅ 成功:a实际就是Dog
- 编译器只验证语法上是否「可能」成立(即子类是否继承/实现了父类或接口)
- 运行时才真正校验对象的
getClass()结果是否匹配目标类型 - 用
instanceof提前判断可避免异常:if (a instanceof Cat) { ... }
重写(Override)是多态生效的前提,重载(Overload)不算
只有满足「相同方法签名 + 子类中@Override父类非静态非私有方法」,才能触发运行时动态绑定。重载只是编译期根据参数类型选择不同方法,和多态无关。
class Animal { void speak() { System.out.println("animal"); } }
class Dog extends Animal {
@Override void speak() { System.out.println("woof"); } // ✅ 参与多态
void speak(String sound) { System.out.println(sound); } // ❌ 重载,不参与多态
}
- 子类中新增的、父类没有的方法,无法通过父类引用调用(编译报错)
- 返回类型可以协变(covariant):子类重写方法可返回更具体的子类型,仍算重写
- 访问权限不能比父类更严格(如父类
protected,子类不能改为private)
字段访问、static方法、final方法都绕过动态分派
这些成员绑定在编译期就确定了,和对象实际类型无关。容易误以为是多态,其实是假象。
立即学习“Java免费学习笔记(深入)”;
class Parent { String name = "parent"; static void say() { System.out.println("parent static"); } }
class Child extends Parent { String name = "child"; static void say() { System.out.println("child static"); } }
Parent p = new Child();
System.out.println(p.name); // 输出 "parent" —— 字段取的是Parent类型定义的
p.say(); // 输出 "parent static" —— 调用的是Parent类的static方法
- 字段永远按引用类型解析,哪怕子类有同名字段,也只是隐藏(hiding),不是覆盖(overriding)
-
static方法属于类,不是对象,调用目标由编译时类型决定 -
final方法禁止重写,所以JVM直接内联或静态绑定,跳过vtable查找
static方法能帮你做到。










