java方法重载解析是编译期静态分派，依据实参的静态类型按三阶段匹配：精确匹配→类型提升/上转型→装箱拆箱/可变参数；同一阶段选最具体类型，null需显式转型避免歧义。
Java 中多态本身不参与重载解析——重载是编译时行为，而多态（特指运行时多态）依赖重写（Override），发生在方法调用已确定目标签名之后。但你问的“重载解析时怎么匹配最精确的参数”，实际指的是编译器如何从多个同名重载方法中，为一次方法调用选出最匹配的那个。这个过程虽不涉及运行时多态，却和类型继承关系密切相关，核心就是“最具体匹配”原则。
匹配依据只看实参的静态类型，不是运行时类型
编译器在解析 obj.method(a, b) 时，完全依据变量 a、b 的声明类型（即编译期已知类型），而非它们实际指向的对象类型。例如：
Object obj = new String("hello");
print(obj); // 调用的是 print(Object)，不是 print(String)
即使 obj 实际是 String，但声明为 Object，编译器就只考虑 Object 及其父类（如 Serializable、Comparable）的适用性，不会“向下”查找更具体的子类方法。
匹配优先级严格分三阶段，不可跨阶跳过
Java 编译器按固定顺序尝试匹配，每阶段只允许一类转换，失败才进下一阶段：
第一阶段：仅允许精确匹配（exact match）
参数类型与方法签名完全一致，包括基本类型与对应包装类（如int对int，Integer对Integer），不触发任何转换。第二阶段：允许自动类型提升（widening primitive conversion）和向上转型（upcasting）
比如byte → short → int → long → float → double；或String → CharSequence → Object。
注意：char会优先转为int，而不是Character；int不能自动转成Integer（那是装箱，属于第三阶段）。-
第三阶段：允许装箱/拆箱 + 可变参数（boxing/unboxing + varargs）
这是兜底层级。只有前两阶段都找不到匹配时，才考虑int ↔ Integer转换，或把1, 2, 3匹配到void f(int...)。
同一阶段内，有多个候选时，选“最具体”的那个：-
String比Object更具体 → 传"abc"优先选print(String)而非print(Object) -
ArrayList比List更具体 → 若有handle(List)和handle(ArrayList)，传new ArrayList()选后者
-
null 实参容易引发歧义，需显式转型null 没有具体类型，当多个重载方法参数分别是不同引用类型（如 String 和 Integer）时，编译器无法判断该选哪个，直接报错：
void f(String s) { }
void f(Integer i) { }
f(null); // 编译错误：reference to f is ambiguous
解决办法是强制指定类型：
f((String) null); // 明确调用 f(String) f((Integer) null); // 明确调用 f(Integer)
泛型和可变参数的特殊限制
- 泛型在编译后被擦除，
handle(List<string>)</string>和handle(List<integer>)</integer>擦除后都是handle(List)，不能共存，否则编译失败。 - 可变参数本质是数组，所以
f(int...)和f(int[])冲突，不能同时定义。 -
f(String...)和f(String)共存时，传单个字符串优先匹配f(String)；只有传多个或空参时才选f(String...)。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
