Java方法重载解析严格在编译期完成，依据参数静态类型、方法名及参数列表（数量、类型、顺序）唯一确定调用目标，不依赖运行时对象实际类型。
Java 方法重载的解析完全发生在编译期，不依赖运行时对象的实际类型，而是严格依据参数的静态类型、方法名和参数列表（数量、类型、顺序）来唯一确定调用目标。
编译器如何匹配重载方法
当遇到一个方法调用（如 mapper.map(a)），编译器会执行以下步骤：
- 收集当前作用域中所有名为
map的候选方法（包括继承来的） - 根据实参变量的声明类型（即静态类型），筛选出参数类型可接受的方法——例如变量
a声明为I a = new A();，编译器只认I，不看new A() - 在候选集中应用“最精确匹配”规则：优先选择参数类型与实参静态类型完全一致或可通过无损转换（如子类→父类、基本类型提升）直接适配的方法
- 若找不到唯一最优解（比如传
null且存在map(String)和map(Integer)），则报错 “reference to map is ambiguous”
为什么不能等到运行时再决定
Java 明确放弃运行时多分派，原因很实在：
- 编译后字节码必须指向确定的方法符号（如
invokeinterface Map.map(A)），JVM 不会在每次调用时重新做类型匹配 - 如果允许按实际类型选方法，新增一个
class C implements I就可能导致已有代码在运行时突然找不到方法，引发NoSuchMethodError - 自动装箱、泛型擦除、类型提升等机制已在编译期参与解析，运行时已无足够信息还原原始意图
常见误解与典型现象
这些情况常让人误以为“重载没起作用”，其实是编译期规则在生效：
-
void f(int)和void f(Integer)是合法重载，但传int字面量时总会绑定到前者，因为基本类型优先级高于包装类 -
void g(Object)和void g(String)同时存在时，传"hello"一定调用后者；但传null会编译失败，除非只有一个g(String) - 泛型方法
void h(T) void h(T) h(Object)），无法构成重载
开发者该怎么应对
理解规则后，写法上可以更稳妥：
- 优先用具体类型声明变量（如
A a = new A();），而非接口/父类类型，让重载解析更直观 - 避免依赖
null触发重载，必要时显式转型：mapper.map((A) a) - 对需要按实际类型分发的场景，改用访问者模式、
instanceof分支或策略接口，别硬靠重载
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
