java多态的底层机制是jvm在运行时通过invokevirtual指令、对象实际类型、类方法表（vtable）和栈帧动态链接协同实现的动态绑定。
多态的底层机制，核心在于“运行时才决定调用哪个方法”，而不是编译时就定死。它不是靠语法糖或编译器猜，而是由JVM在执行过程中，结合对象实际类型、方法表和字节码指令协同完成的。
invokevirtual 指令是动态绑定的关键
Java中普通实例方法（非static、非private、非final、非构造）的调用，编译后生成的是 invokevirtual 指令。这条指令不直接指向具体方法代码，而是携带一个符号引用——比如“调用 Animal.say()”。真正执行时，JVM会：
- 从当前栈帧中取出 this 引用所指的对象
- 查该对象的实际类（比如是 Dog 类的实例）
- 定位到 Dog 类的方法表（vtable），查找与符号引用匹配的同名同签名方法
- 拿到该方法在内存中的真实入口地址（直接引用），跳转执行
方法表（vtable）是多态的静态支撑
每个类在JVM加载时，都会在方法区构建一张方法表。这张表按固定顺序排列所有可被重写（virtual）的实例方法，子类的方法表会继承父类结构，并把被重写的方法槽位替换为自己的实现地址。例如：
- Animal 类方法表：[say → Animal.say 的地址]
- Dog 类方法表：[say → Dog.say 的地址]（其余未重写方法仍指向父类或接口实现）
这样，只要知道对象是 Dog 实例，查它的方法表就能立刻命中 Dog.say，无需逐层向上搜索。
栈帧里的动态链接让调用实时生效
每个方法调用都会创建新栈帧，其中包含局部变量表、操作数栈和一个关键字段：动态链接（Dynamic Link）。这个链接指向当前方法所属类的运行时常量池，用于解析符号引用。当 invokevirtual 执行时，JVM正是通过这个链接+当前对象的实际类型，完成“符号引用→直接引用”的实时解析。也就是说，同一行 animal.say() 字节码，在 animal 指向 Dog 时走 Dog 的方法表，在指向 Cat 时走 Cat 的方法表——差异完全由栈帧上下文和对象实类型驱动。
静态绑定与动态绑定有明确分界
不是所有方法都参与多态。以下情况使用静态绑定（编译期确定）：
- static 方法：用 invokestatic，只看引用类型（如 Animal.sayStatic() 永远调 Animal 的）
- private / 构造 / final 方法：用 invokespecial，按引用类型+方法签名直接定位，不查子类表
- 接口方法（早期）：用 invokeinterface，需额外遍历实现类方法表，开销略高（Java 8+ 有优化）
只有 invokevirtual 覆盖的常规实例方法，才真正启用运行时类型判定，构成我们常说的“Java多态”。
