17370845950

Java多态方法执行版本由运行时实际对象类型决定，核心机制是动态绑定；只有非静态、非私有、非final的重写实例方法参与，JVM通过虚方法表（vtable）实现查表跳转。

Java多态方法的执行版本，由运行时实际对象类型决定，而非引用变量声明类型。这背后的核心机制是动态绑定（Dynamic Binding），也叫晚期绑定（Late Binding），它在程序运行时才确定调用哪个具体方法实现。

方法重写（Override）是多态的前提

只有被子类重写（@Override）的非静态、非私有、非final实例方法，才会参与动态绑定。编译器只检查语法和继承关系，真正选哪个方法，要等对象创建出来、调用发生时才定。

• 静态方法、private方法、构造器不参与多态，它们是静态绑定，看的是引用类型
• final方法虽可被继承，但不能被重写，因此也不触发动态绑定
• 接口默认方法（default）和静态方法（static）按类似规则处理：default方法支持重写和动态绑定；static方法不支持

JVM如何完成动态方法选择

每个类在加载时，JVM会为它的虚方法表（vtable）分配空间。vtable里存的是该类所有可被动态调用的方法的实际入口地址。当子类重写了父类方法，子类的vtable中对应位置就会替换成子类方法的地址。

• 调用一个虚方法（如 obj.doSomething()）时，JVM先根据obj实际指向的对象所属类，找到其vtable
• 再根据方法签名（名称+参数类型）查vtable索引，跳转到对应地址执行
• 整个过程对开发者透明，但正是这个查表+跳转，实现了“同一调用，不同行为”

常见误区与验证技巧

容易混淆的地方往往出在“看起来像多态，其实没走动态绑定”。可以用几个小测试快速判断：

• 把方法改成static，输出结果立刻变成“看左边”，说明脱离了动态绑定
• 在父类方法里加System.out.println(this.getClass().getName())，运行时打印的才是真实类型
• 用javap -c反编译class文件，看到invokevirtual指令就表示这是动态绑定；invokestatic或invokespecial则不是

基本上就这些。动态绑定不是魔法，是JVM基于类型信息和方法表做的确定性查找。理解它，才能真正用好多态，而不是靠猜。