Java 接口类型参数的动态分派机制解析-java教程-PHP中文网

Java 接口类型参数的动态分派机制解析

java 通过动态分派（dynamic dispatch）在运行时根据实际对象类型而非引用类型确定方法调用目标，接口变量虽无具体实现，但其指向的对象始终携带自身类信息，从而精准定位到重写后的方法。

java 通过动态分派（dynamic dispatch）在运行时根据实际对象类型而非引用类型确定方法调用目标，接口变量虽无具体实现，但其指向的对象始终携带自身类信息，从而精准定位到重写后的方法。

在 Java 中，方法调用的绑定时机分为两类：静态分派（Static Dispatch） 和 动态分派（Dynamic Dispatch）。理解二者差异，是掌握多态行为的关键。

静态分派：编译期决定，基于引用类型

静态分派发生在编译阶段，编译器仅依据变量声明的类型（即引用类型）来选择重载（overload）方法。它不关心实际对象是什么，只看“看起来像什么”。例如：

public class Dispatcher {
    public void invoke(A a) { System.out.println("A version"); }
    public void invoke(B b) { System.out.println("B version"); }
}

Dispatcher d = new Dispatcher();
d.invoke(new B()); // 输出 "B version" —— 编译器根据参数类型 B 选择方法

注意：静态分派与 interface 或 extends 无关，它只作用于方法重载场景，且完全由编译器完成。

动态分派：运行期决定，基于实际对象类型

动态分派才是 Java 实现多态（尤其是重写/override）的核心机制。它发生在方法调用执行时，JVM 查看栈帧中接收者对象的实际运行时类型（runtime type），再按类继承链自底向上查找匹配的方法实现。

回到原始示例：

Java Maven Secondary Analysis

分析ZIP压缩包或GitLab仓库中的Java Maven项目，确定二次开发范围、类数量、模块分布及生产相关指标。

下载

public interface In { void method(); }
public class A implements In { public void method() { System.out.println("A"); } }
public class B extends A { public void method() { System.out.println("B"); } }

public void test1(In i) { i.method(); } // 动态分派：i 指向 B 实例 → 调用 B.method()
public void test2(A a)   { a.method(); } // 同样动态分派：a 指向 B 实例 → 仍调用 B.method()

⚠️ 注意：原问题中 test2(new B()) 输出 "B"（而非 "A"），并非输出 "A" —— 这是关键纠错点。只要 method() 是 public、非 static、非 final、非 private 的实例方法，且被子类重写，无论参数声明为 In、A 还是 Object，JVM 始终依据实际对象类型调用 B.method()。

验证代码：

public static void main(String[] args) {
    test1(new A()); // 输出 "A"
    test1(new B()); // 输出 "B" ← 动态分派生效
    test2(new B()); // 输出 "B" ← 同样是动态分派，非静态绑定！
}