java多态本质是调用决策时机问题：编译期绑定由声明类型决定，适用于重载、static/final/private成员；运行期动态绑定由实际对象类型决定，通过jvm方法表实现重写方法的动态分派。

Java 中多态性不是“有没有”的问题，而是“谁决定调用哪段代码”的问题——编译器拍板，还是 JVM 在运行时定音。

编译期绑定：看声明类型，不看实际对象

编译器在 .java 编译成 .class 时就锁死了方法调用目标。它只认变量左边的类型（声明类型），完全忽略 new 出来的是什么子类实例。

• 适用于 private、static、final 方法，以及 构造器 和 字段访问
• 方法重载（overload）也属于编译期绑定：print(1) 调 print(int)，print("a") 调 print(String)，参数类型一写死，版本就定死
• 例如：Animal a = new Dog(); a.sleep(); —— 若 sleep 是 static 方法，永远执行 Animal.sleep()，Dog.sleep() 不会被调用

运行期动态绑定：看实际对象，不看声明类型

只有非 private、非 static、非 final 的实例方法，在调用时才启用动态绑定。编译器只检查语法合法（比如 Animal 类里确实有 sound() 方法），真正执行哪个 sound()，要等程序跑起来看 a 到底指向 Dog 还是 Cat。

deep-java-review

Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...

下载

• JVM 通过对象头中的类型指针，定位到该实例所属类的方法表（vtable），再按方法签名查到具体实现
• 父类引用指向子类对象时，调用重写方法自动路由到子类版本，这是多态落地的核心机制
• 例如：Animal a = new Dog(); a.sound(); —— 运行时发现 a 实际是 Dog 实例，于是执行 Dog.sound()

同一个变量，不同行为：静态与动态共存

一行代码里可能混着两种绑定。关键看调用的是什么成员：

• a.eat() → 动态绑定（假设 eat 是可重写的实例方法）
• a.sleep() → 静态绑定（若 sleep 是 static）
• a.name → 静态绑定（字段无多态，取 Animal.name）
• a.toString() → 动态绑定（toString 可被重写，运行时看实际类）

为什么字段没有多态，而方法有

字段访问不经过方法分派机制，JVM 直接按引用类型去内存偏移量读值；而方法调用会触发 invokevirtual 指令，触发运行时查表流程。所以即使 Child 继承 Parent 并定义了同名字段 name，Parent p = new Child(); p.name 拿到的仍是 Parent 的值。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南