多态本质是编译看引用类型、运行看实际对象;private、static、final方法不参与多态;向上转型后只能调用父类声明的方法;重载属编译时多态,重写才是运行时多态唯一入口。
多态的本质是“编译看引用类型,运行看实际对象”
这不是一句口号,而是 JVM 执行时的真实分工:编译器只检查 Animal 类里有没有 makeSound() 方法签名;而真正调用哪个版本,要等程序跑起来,JVM 去堆中查那个对象的 Class 元数据,再从子类的方法表(vtable)里定位到 Dog.makeSound() 的字节码入口。
所以你写 Animal a = new Dog(); a.makeSound(); 能通过编译,不是因为编译器“知道”它是 Dog,而是因为它“相信”父类承诺过这个方法存在——真正的分派,发生在运行时。
哪些方法不参与多态?必须警惕的三个例外
不是所有方法都能被子类“接管”。以下三类方法在编译期就锁死了绑定目标,跳过动态分派:
-
private方法:子类根本看不见,谈不上重写,只能算同名新方法 -
static方法:调用完全取决于引用类型,Animal.staticMethod()永远执行Animal版本,哪怕右边是new Dog() -
final方法:明确禁止重写,JVM 直接内联或静态绑定
常见坑:把 static void speak() 放在父类里,然后期待子类重写它来实现多态——结果永远输出父类逻辑,且 IDE 不报错,极难排查。
立即学习“Java免费学习笔记(深入)”;