本文解析 Java 中通过接口引用调用重载方法时的绑定行为，明确指出 RemoteControl tvRemote = new TV(); 语句中方法选择分为两层：方法签名（重载）在编译期静态解析，而具体实现（重写）在运行期动态分派。二者协同构成完整的多态体系。
本文解析 java 中通过接口引用调用重载方法时的绑定行为，明确指出 `remotecontrol tvremote = new tv();` 语句中方法选择分为两层：方法签名（重载）在编译期静态解析，而具体实现（重写）在运行期动态分派。二者协同构成完整的多态体系。
在您提供的代码中，看似简单的一组接口调用，实则融合了 Java 多态机制中两个关键维度：编译期方法解析（overload resolution） 和 运行期方法分派（override dispatch）。二者不可混淆，但又紧密协作。
首先看接口定义与实现：
interface RemoteControl {
void turnOn();
void turnOn(int channel);
}
class TV implements RemoteControl {
public void turnOn() {
System.out.println("TV is turned on");
}
public void turnOn(int channel) {
System.out.println("TV is turned on. Channel: " + channel);
}
}此处 TV 类实现（implements） 接口，而非继承（extends）抽象类；但 Java 的接口实现本质上仍属于 is-a 关系，且所有接口方法默认为 public abstract，因此 TV 必须提供具体实现——这正是运行期多态的基础。
关键在于以下三行代码的绑定时机分析：
RemoteControl tvRemote = new TV(); // ① 引用声明与对象创建 tvRemote.turnOn(); // ② 无参调用 tvRemote.turnOn(5); // ③ 带参调用
✅ 第①行（引用声明）：
RemoteControl tvRemote声明了一个接口类型的静态类型（static type）。编译器仅据此确认tvRemote可合法调用turnOn()和turnOn(int)—— 这是编译期接口契约检查，属于“显式接口”（Explicit Interface）的典型应用。-
✅ 第②③行（方法调用）：
-
重载（Overloading）决策发生在编译期：编译器根据
tvRemote的静态类型（RemoteControl） 和实参列表，从接口中匹配最具体的重载签名。turnOn()匹配无参版本，turnOn(5)匹配int参数版本。该过程不依赖实际对象，与TV是否存在无关，甚至可在TV类尚未编译时完成。 -
重写（Overriding）分派发生在运行期：当字节码执行
invokeinterface指令时，JVM 根据tvRemote实际指向的对象（即new TV()的实例）的动态类型（dynamic type），查找TV类中对应签名的具体实现并调用。若未来新增Radio implements RemoteControl，只需替换new TV()为new Radio()，无需修改UserCode—— 这正是运行期多态（Runtime Polymorphism） 提供的可扩展性保障。
-
重载（Overloading）决策发生在编译期：编译器根据
⚠️ 注意：Java 中不存在“编译期多态”这一独立术语。所谓“编译期多态”实为误称，准确应称为 “编译期方法重载解析”（compile-time overload resolution）；而真正的多态（polymorphism）特指同一消息（方法名+签名）在不同对象上产生不同行为的能力，其核心机制必然是运行期的动态分派（
invokevirtual/invokeinterface）。接口多态的本质，正是通过静态类型限定合法操作集，再由动态类型决定具体行为——二者缺一不可。
总结而言：
? RemoteControl 定义了显式、契约化的接口，确保类型安全与API一致性；
? tvRemote.turnOn(...) 的签名选择由编译器静态决定（基于接口声明和实参）；
? tvRemote.turnOn(...) 的具体执行逻辑由JVM运行期动态绑定（基于 TV 实例的实际类型）；
? 这种“编译期约束 + 运行期解绑”的双阶段机制，正是面向对象多态强大灵活性与严格安全性的根源。
