Java多态的核心原理是运行期动态绑定，由JVM通过invokevirtual指令查虚方法表（vtable）实现；接口多态用invokeinterface指令；静态方法、成员变量和final方法无多态。
Java 多态的核心原理是运行期动态绑定，它不是编译时决定的，而是在程序真正执行到方法调用那一步时，由 JVM 根据对象实际类型来选择具体执行哪个版本的方法。这个过程不依赖源码写法，而是靠 JVM 的一套底层机制支撑。
动态绑定靠 invokevirtual 指令驱动
所有普通实例方法（非 static、非 private、非 final）的调用，在字节码里都使用 invokevirtual 指令。它不像 invokestatic 那样直接指向一个确定的方法地址，而是触发一套查找流程：
- 从操作数栈取出对象引用
- 通过该引用的对象头，定位到堆中真实类的 Class 对象
- 查该类的方法表（vtable），找到与方法签名匹配的入口地址
- 跳转执行——这个地址指向的是子类重写后的真实实现
每个类都有自己的虚方法表（vtable）
JVM 在类加载阶段就会为每个类构建一张虚方法表，里面按固定顺序存放所有可被重写的方法（包括继承来的）。子类的 vtable 会复制父类的条目，并把被重写的方法替换成自己版本的地址。
比如 Animal 类的 say() 方法在 vtable 索引 5 处，Dog 类加载后，它的 vtable 第 5 项就指向 Dog.say() 的字节码起始位置。这样，无论变量声明为 Animal 还是 Object，只要实际对象是 Dog，invokevirtual 就能准确跳过去。
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
立即学习“Java免费学习笔记（深入）”；
接口多态走 invokeinterface，逻辑类似但更灵活
当多态基于接口（如 List list = new ArrayList()）时，JVM 使用 invokeinterface 指令。它不依赖单一 vtable，而是运行时扫描目标对象实现的所有接口，再匹配方法签名。虽然开销略大，但支持一个类实现多个接口，也支持默认方法和私有接口方法的分发逻辑。
静态方法、成员变量、final 方法没有多态
因为它们不走 invokevirtual 流程：
- 静态方法用 invokestatic，绑定发生在编译期
- 成员变量访问是直接寻址（getfield），看的是引用声明类型，不是实际类型
- final 方法虽用 invokevirtual 指令，但 JVM 视其为不可覆盖，直接内联或静态绑定
这也是为什么写代码时，不能指望“父类变量引用子类对象”就能让字段值自动变化——多态只作用于非静态、非私有、可重写的方法调用。
