invokestatic编译期绑定静态方法，不查vtable、无多态；invokespecial强制调用构造器/私有方法/super父类方法，绕过虚表；invokevirtual运行时查vtable实现动态多态。
JVM 通过字节码指令的语义和方法绑定时机，严格区分 invokespecial、invokevirtual 和 invokestatic 的分派机制——不是靠“猜”，而是由编译器根据方法修饰符、调用上下文和类型关系，在生成字节码时就决定用哪条指令；运行时则按指令约定执行对应逻辑。
invokestatic：编译期锁定，不查表，无多态
用于调用静态方法（static）、类初始化块（<clinit></clinit>）等与实例无关的方法。它的目标方法在编译期就能完全确定，类加载的解析阶段就把符号引用转为直接引用。运行时直接跳转执行，不访问虚方法表（vtable），也不考虑对象实际类型。
- 哪怕子类重写了同名静态方法，
invokestatic仍只认声明类型（编译期类型）对应的类 - 没有“重写”概念，只有“隐藏”；调用结果与变量声明类型强绑定
- 性能最快，因为省去了运行时查找开销
invokespecial：绕过虚表，强制调用“当前类声明版本”
专用于三种场景：构造器（<init></init>）、私有方法（private）、以及用 super.xxx() 显式调用父类方法。它不走虚方法分派，而是直接定位到字节码中硬编码的类+方法名组合。
- 即使
this实际是子类实例，invokespecial调用私有方法时，仍按编译时所在类（如父类）去查找——因为私有方法不会被继承，子类里那个同名方法本质上是另一个方法 -
super.xxx()不是“找父类的实现”，而是“强制调用当前类继承链中父类那一层定义的方法”，哪怕子类覆盖了，也绕过覆盖逻辑 - 试图对非私有、非构造、非
super场景使用invokespecial，JVM 会在验证阶段或运行时报错（如IncompatibleClassChangeError）
invokevirtual：运行时查 vtable，支持动态单分派
这是普通实例方法（非 static、非 private、非 final、非构造器）的默认调用指令。它依赖对象的实际运行时类型，在虚方法表中查找目标方法——这就是 Java 多态的底层支撑。
- 调用前先拿到对象的实际类，再查该类的 vtable，找到方法入口地址
- 哪怕声明类型是父类（如
Base b = new Child();），只要方法可被覆盖，就一定走子类实现 -
final实例方法虽也用invokevirtual指令，但因无法被覆盖，vtable 中只有一个确定入口；JIT 编译器常将其内联优化，但字节码层面仍是invokevirtual
关键区别一句话总结
invokestatic 看声明类 + 方法名；invokespecial 看字节码里写的类 + 方法名（无视运行时类型）；invokevirtual 看对象实际类 + 方法签名（查 vtable 动态决议）。三者分工明确，共同支撑 Java 的静态绑定、封装性和运行时多态。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
