Java方法重载匹配由编译器静态决定，优先级为：精确匹配 > 扩展原语/引用转换 > 装箱+引用转换 > 可变参数；null调用无继承关系的重载方法会因无法判定“最具体”而报错。
Java 方法重载的匹配过程是编译期静态决定的，核心在于“最具体参数”（most specific）的判定。编译器不会自动做宽泛类型转换后再匹配，而是按严格优先级逐层筛选：先找**完全匹配**，再考虑**隐式类型提升**（如 int → long），最后才尝试**装箱/拆箱或可变参数**——但后两者属于“宽松匹配”，容易引发歧义甚至编译错误。
匹配优先级：从高到低严格分层
调用 method(x) 时，编译器对所有重载方法按以下顺序筛选：
- 精确匹配：实参类型与形参类型完全一致（包括基本类型、引用类型、数组类型）
-
扩展原语转换（widening primitive conversion）：如
byte → short → int → long → float → double，只允许单步向上提升，且不跨类别（int不能转成char） -
扩展引用转换（widening reference conversion）：如子类 → 父类、实现类 → 接口、
String→Object -
装箱 + 扩展引用转换：如
int → Integer → Object（注意：这比单纯int → long优先级更低） - 可变参数（varargs）：仅当以上全部失败时才启用，且是最低优先级
常见混淆场景与规避方式
以下情况极易导致编译失败或意料外调用：
-
基本类型与包装类并存：定义了
void f(int x)和void f(Integer x)，传入5会选前者；但若只定义了后者，5会自动装箱调用它——看似一样，但若同时存在，就可能因“两个都可匹配”而报错 -
多层级继承下的引用匹配：有
f(Object o)、f(String s)、f(CharSequence cs)，传入"abc"会选String版本（最具体），没问题；但若删掉String版本，"abc"会匹配CharSequence而非Object（因String是CharSequence的子类型） -
float/double 与 int 混用：定义
f(int)和f(double)，传入5L（long）会匹配double（因long → double是合法扩展转换，而long → int是窄化，不被允许）
确保匹配明确的实用建议
避免靠编译器“猜”，主动控制匹配路径：
- 同一组重载中，尽量避免混合使用基本类型和对应包装类（如不用同时声明
print(int)和print(Integer)） - 若需支持多种数值类型，优先用更宽泛但明确的类型（如统一用
double或Number），或用泛型方法替代重载 - 慎用 varargs：它永远垫底，且一旦启用，编译器不再检查其他重载是否更贴切；例如
f(int...)和f(int, int)同时存在时，传两个int会调用后者；但若删掉后者，才退化到前者 - 必要时显式转型：如想强制走
f(double)，就写f((double)5)；想走f(Integer)就写f(Integer.valueOf(5))
一个典型陷阱示例
下面代码会编译失败：
void m(Number n) { }
void m(Integer i) { }
m(10); // OK → 调用 m(Integer)
m(null); // 编译错误！因为 null 可匹配两者，无“更具体”者
原因：null 是所有引用类型的字面量，Integer 和 Number 都接受它，但编译器无法判断哪个更具体（二者无继承关系）。解决办法：显式转型，如 m((Integer)null) 或 m((Number)null)。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
