Java多态通过编译时静态绑定与运行时动态绑定协同实现，核心是方法调用目标由对象实际类型决定；成立需同时满足继承、重写、父类引用指向子类对象三条件。
Java中的多态是通过编译时静态绑定与运行时动态绑定协同实现的，核心在于方法调用的实际执行目标由对象实际类型决定，而非引用变量声明类型。它不是语法糖，而是JVM底层机制与Java语言规范共同支撑的重要特性。
多态成立的三个前提条件
只有同时满足以下三点，Java中才能发生典型的运行时多态（即重写引起的动态分派）：
- 继承关系：子类继承父类，或类实现接口
- 方法重写（Override）：子类提供父类中已声明的非static、非private、非final方法的具体实现
- 父类引用指向子类对象：如 Animal a = new Dog(); —— 这是触发动态绑定的关键句式
JVM如何在运行时确定调用哪个方法
当执行 a.sound() 这样的调用时，JVM不看 a 的声明类型（Animal），而是通过对象头中的类元信息（Class Metadata）查出该对象的真实类型（Dog），再根据该类型的虚方法表（vtable）定位到具体方法字节码地址。
- 每个类在加载时，JVM会为其构建一张虚方法表，表中按声明顺序存放所有可被重写的实例方法入口
- 子类vtable会复制父类vtable内容，并将被重写的方法替换成自己的版本地址
- final、static、private 方法不进入vtable，因此不参与动态分派
哪些情况看似多态，实则不走动态绑定
容易混淆的几种“假多态”场景，本质是编译期就确定了调用目标：
立即学习“Java免费学习笔记（深入）”；
- 重载（Overload）：方法名相同但参数列表不同 → 编译器根据引用类型和实参类型静态选择，与对象实际类型无关
- static方法调用：即使子类定义同签名static方法，也只看引用类型，不查vtable
- 成员变量访问：字段不具有多态性，访问始终依据引用变量的声明类型
- 构造器、private方法：无法被重写，自然不参与动态分派
多态带来的典型应用价值
它让代码具备更强的扩展性与解耦能力，常见于以下模式：
- 策略替换：同一接口引用，运行时切换不同算法实现（如不同支付方式）
- 模板方法：父类定义流程骨架，子类重写钩子方法定制行为
-
集合统一处理：List
shapes 可容纳 Circle、Rect 等，遍历时自动调用各自 draw() 实现 - 框架回调设计：如Spring BeanPostProcessor、JUnit @Test 方法执行链，依赖多态实现插件化扩展
