Java可变参数与重载顺序解析

Java中可变参数（varargs）与重载方法共存时，编译器并非随意选择，而是严格遵循“精确匹配优先、具体类型优先、varargs仅作兜底”的三级优先级规则——它会首先尝试调用无需展开为可变参数的非varargs方法，其次在多个非varargs候选中选取最具体的子类型版本，仅当完全无精确匹配时才考虑varargs；而一旦出现多个语义等效的varargs方法（如泛型擦除后签名相同）或varargs与数组参数方法并存，就会触发编译错误，导致调用歧义。掌握这一机制，不仅能规避隐蔽的编译失败和意外行为，更能写出更清晰、健壮且符合直觉的重载设计。

Java 中可变参数（varargs）与重载方法共存时，编译器选择哪个方法，并非随意决定，而是遵循一套明确、严格的优先级规则。理解这些规则，能避免调用歧义、编译错误或意料之外的方法执行。

基本匹配优先于可变参数

当存在多个重载方法时，编译器首先尝试寻找无需使用 varargs 就能完全匹配参数类型和数量的方法。只有在找不到这样的精确匹配时，才会考虑将 varargs 方法作为备选。

例如：

void print(String s) { System.out.println("String: " + s); }
void print(String... strs) { System.out.println("Varargs: " + Arrays.toString(strs)); }

print("hello"); // 调用第一个（精确匹配），不是 varargs

即使 varargs 方法也能接受单个 String（因为 String... 可接一个 String），但编译器仍优先选择更具体的、非 varargs 的版本。

更具体类型的重载优于更宽泛类型的 varargs

如果多个非 varargs 方法都可匹配，编译器按类型继承关系选择最具体的那个；若仅剩 varargs 方法可选，则进一步比较它们的参数类型具体性。

例如：

void log(Object o) { System.out.println("Object"); }
void log(String s) { System.out.println("String"); }
void log(String... ss) { System.out.println("String..."); }

log("test"); // 调用 log(String)，不选 Object 或 String...
log(null);     // 仍调用 log(String)，因 String 是 Object 的子类型，更具体

当多个 varargs 方法都“可行”，编译器会报错

如果存在两个或以上 varargs 方法，且它们在擦除泛型后签名相同（即仅参数名不同，或泛型类型不同但擦除后一致），编译器无法确定优先级，将直接拒绝编译。

常见错误场景：

• void foo(List... args) 和 void foo(List... args) → 擦除后均为 foo(List...)，冲突
• void bar(Object... a) 和 void bar(String... s) → 不冲突，因 String... 比 Object... 更具体，前者优先

数组参数与 varargs 的等价性及陷阱

声明为 void method(String... args) 的方法，既可传入零到多个 String，也可直接传入一个 String[] 数组。但注意：这会导致重载模糊。

例如：

void process(String[] arr) { System.out.println("Array"); }
void process(String... args) { System.out.println("Varargs"); }

process(new String[]{"a", "b"}); // 编译错误！歧义：两个方法都匹配

此时必须显式转型或改用其他参数形式来消除歧义，如：process((String[]) new String[]{"a","b"}) 或重命名方法。

今天关于《Java可变参数与重载顺序解析》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！