Java多态的本质是行为的动态绑定，即编译看引用类型、运行看实际类型，依赖invokevirtual指令和虚方法表实现高效分派，仅非static、非private、非final的实例方法参与多态，体现面向抽象编程的设计契约。
Java 多态性的本质是「行为的动态绑定」——方法调用不取决于变量声明时的类型，而取决于运行时对象的真实类型。
核心在于“编译看左，运行看右”
当你写 Animal a = new Dog(); 时：
- 编译阶段只检查 Animal 类中是否存在被调用的方法（比如 sound()），存在就通过；
- 运行阶段 JVM 查看 a 实际指向的是 Dog 对象，于是调用 Dog 中重写的 sound() 方法。
这种分离让代码在编译期稳定、运行期灵活，是多态可扩展性的根基。
底层靠 invokevirtual 指令和虚方法表（vtable）
JVM 不是靠 if-else 判断类型，而是通过机制保障效率：
立即学习“Java免费学习笔记（深入）”；
- 每个类加载时，JVM 为其生成一张方法表，记录所有可被重写实例方法的入口地址；
- 当执行 a.sound()，字节码用的是 invokevirtual 指令；
- 该指令会顺着对象的实际类型（Dog）查找其 vtable，直接跳转到对应实现，无需反射或条件判断。
不是所有成员都参与多态
只有满足「可被重写 + 非静态 + 非私有 + 非 final」的实例方法才有多态性：
- 成员变量：访问时只认引用类型（Animal.name），不看实际对象，无多态；
- static 方法：由引用类型决定调用哪个类的版本，属于静态绑定；
- private 和 final 方法：编译期就确定调用目标，无法重写，自然不参与多态。
多态不是语法糖，而是设计契约
它体现的是「面向抽象编程」的思想：
- 你依赖的是 Animal 这个行为契约（能发声、能吃东西），而非某个具体动物；
- 新增 Bird 类只需继承并重写，原有使用 Animal 的代码完全不用改；
- Spring 的 Bean 管理、MyBatis 的 Executor、JDBC 的 Driver 加载，底层全靠这套机制解耦。
