Java方法分发：为何运行时无法区分接口与类参数？

Java不支持这种基于接口参数实际类型的运行时分派，核心原因在于它的方法分派规则是编译时静态确定重载方法签名，运行时仅针对方法接收者的实际类型做动态分派，具体细节如下：

• 重载方法的匹配是编译期静态行为
  Java编译器处理方法调用时，只会根据参数的编译时静态类型来匹配对应的重载方法。在你的代码中，mapper.map(a)里的a编译时类型是I，但C接口的map方法仅提供了接收A和B类型的重载版本，没有接收I类型的方法，因此编译器直接判定没有匹配的方法，报错终止，完全不会进入运行时阶段去判断参数的实际类型。

• 运行时分派仅作用于方法接收者，与参数无关
  Java的动态多态（运行时分派）只针对调用方法的对象（即mapper的实际类型），用于确定执行哪个重写的方法。但重载方法的选择逻辑完全在编译期完成，和参数的运行时类型没有关系——哪怕你把I定义为密封接口，限定它只能被A和B实现，编译器也不会利用这个信息去推断运行时可能的参数类型，因为重载匹配规则只认编译时的静态类型。

• 密封接口不改变重载解析规则
  密封接口的作用是限制接口的实现类范围，让编译器能在特定场景（比如switch模式匹配）中做穷尽性检查，但它并没有扩展Java的重载方法匹配逻辑。重载依然严格遵循“编译时静态类型匹配”的规则，不会因为接口是密封的就自动匹配所有可能的实现类对应的重载方法。

内容的提问来源于stack exchange，提问作者maroodb