java多态底层由jvm通过invokevirtual指令、对象实际类型、类方法表（vtable）和栈帧动态链接协同实现动态绑定；编译期仅生成符号引用，运行时根据this指向的对象真实类型查vtable确定方法地址。
掌握多态的底层原理，关键不是死记概念，而是把 JVM 执行时“怎么找到该调用哪个方法”这个过程看清楚。它不依赖编译器猜测，而是一套可验证、有迹可循的运行时机制。
从字节码入手，看清 invokevirtual 的真实作用
编译后的 Java 代码里，普通实例方法调用都会变成 invokevirtual 指令。它不直接写死方法地址，只存一个符号引用（比如 “Animal.say()”）。真正执行时，JVM 才开始干活：
- 从栈帧取出 this 引用，定位堆中实际对象
- 读取对象头里的类元信息，确认真实类型（如 Dog）
- 查 Dog 类的方法表（vtable），找与符号引用匹配的方法槽
- 拿到该槽中存储的真实内存地址，跳转执行
你可以用 javap -c 反编译一个含多态调用的 class 文件，亲眼看到 invokevirtual 指令和它引用的常量池项，这是最直接的证据。
理解方法表（vtable）是怎么组织和复用的
vtable 是每个类在加载时由 JVM 构建的静态结构，它决定了动态绑定的效率：
- 父类方法按声明顺序排入表中，每个槽位对应一个可重写方法
- 子类继承父类 vtable 结构，仅把被重写的方法槽替换成自己的实现地址
- 未重写的方法槽仍指向父类或接口中的原始实现
- 这样，只要知道对象是 Dog 实例，查它的 vtable 就能 O(1) 定位 Dog.say，不用层层向上搜索
注意：static、private、final、构造方法不进 vtable，它们走静态绑定，用的是 invokespecial 或 invokestatic。
动手验证动态链接和对象实际类型的作用
栈帧中的动态链接字段，让同一行源码能在不同上下文中调出不同行为：
- 写一个方法接收 Animal 类型参数并调用 sound()
- 分别传入 new Dog() 和 new Cat()，观察输出差异
- 再在构造器中调用 this.sound()，会发现即使子类重写了，也只执行父类版本——因为此时子类对象尚未初始化完成，vtable 还没完全就绪
这种“构造器中调用重写方法”的陷阱，正是靠理解动态链接和对象生命周期才能避开。
区分哪些方法不参与多态，避免误用
不是所有方法都能体现多态。以下情况一律静态绑定，编译期就定死：
- static 方法：只看引用类型，Animal.sayStatic() 永远调 Animal 的
- private / final / 构造方法：用 invokespecial，不查子类 vtable
- 接口方法（Java 8 以前）：用 invokeinterface，需遍历实现类表，开销略大（Java 8+ 加了内联缓存优化）
混淆重载（overload）和重写（override）也是常见误区：重载是编译期根据参数类型选方法，属于静态多态；重写才是运行时根据对象类型分派，才是真正的多态核心。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
