Java方法绑定由声明特征和调用上下文决定：static、private、final实例方法及构造方法走静态绑定，使用invokestatic或invokespecial指令；非static、非private、非final且被正确重写的实例方法走动态绑定，使用invokevirtual指令查vtable。
Java 中方法调用的绑定方式不是由“写法”决定的，而是由方法声明特征（是否 static、final、private，是否被重写）和调用上下文共同决定的。静态绑定在编译期完成，动态绑定在运行期根据实际对象类型分派。
哪些方法走静态绑定
编译器能直接确定调用目标的方法，不依赖运行时对象类型：
-
static方法：绑定到声明类，与实例无关，Parent p = new Child(); p.staticMethod()仍调用Parent.staticMethod -
private方法：隐式final，仅在本类可见，子类里同名方法是全新方法，不是重写 -
final实例方法：禁止重写，编译期可锁定目标 - 构造方法：本质是
static的特殊函数，只属于当前类
这些方法调用在字节码中是 invokestatic 或 invokespecial 指令，无多态性。
哪些方法走动态绑定
只有满足以下全部条件，才触发运行时动态绑定（即虚拟方法调用）：
立即学习“Java免费学习笔记（深入）”；
- 是非
static、非private、非final的实例方法 - 在子类中被正确重写（签名一致 + 可见性不降级）
- 通过引用变量调用，且该变量声明类型是父类，实际指向子类对象（如
Animal a = new Dog()）
此时字节码使用 invokevirtual 指令，JVM 在运行时查对象的实际类的虚方法表（vtable）来定位具体实现。注意：static 方法即使“看起来被重写”，也不会进入 vtable，不参与动态绑定。
容易混淆的典型错误场景
开发者常误以为“重写了就一定动态绑定”，但很多情况会意外退回到静态绑定：
- 子类方法加了
static：父类是实例方法，子类改成static→ 不是重写，是隐藏（hiding），调用取决于引用类型，不是实际类型 - 参数列表不同：只是重载（overload），不是重写（override），编译期按引用类型 + 参数类型匹配，绑定发生在编译期
- 返回类型协变但访问修饰符缩小（如父类
public，子类写protected）：编译失败，根本不会生成重写关系 - 泛型擦除导致签名实际不同：例如父类
void foo(List，子类) void foo(ArrayList→ 是重载，不是重写)
如何验证绑定行为
最直接的方式是看字节码或调试时观察实际执行路径：
- 用
javap -c MyClass查看调用指令：出现invokestatic/invokespecial就是静态绑定；invokevirtual才可能动态绑定 - 在 IDE 中打断点：对动态绑定方法，在子类实现处断点能命中；静态绑定方法则永远停在声明类里
- 把子类方法临时改成
private或static，观察行为是否突变 —— 若调用结果变了，说明原来确实是动态绑定在起作用
真正关键的不是记住“什么情况下绑定”，而是理解 JVM 如何依据修饰符和继承关系构建方法解析规则。很多诡异问题，根源都在某个看似普通的 static 或参数类型偏差上。
