为什么在Java中不允许用Foo(Object[])重载Foo(Object...)?

我想知道为什么在Java中不允许重载,尽管它们以不同的方式使用?Foo(Object[] args)Foo(Object... args)

Foo(Object[] args){}

使用方式如下:

Foo(new Object[]{new Object(), new Object()});

而另一种形式:

Foo(Object... args){}

使用方式如下:

Foo(new Object(), new Object());

这背后有什么原因吗?


答案 1

这个 15.12.2.5 选择最具体的方法 谈到了这一点,但它相当复杂。例如,在 Foo(数字...ints) 和 Foo(Integer...整数)

为了向后兼容,这些实际上是一回事。

public Foo(Object... args){} // syntactic sugar for Foo(Object[] args){}

// calls the varargs method.
Foo(new Object[]{new Object(), new Object()});

例如,您可以将 main() 定义为

public static void main(String... args) {

使它们与众不同的一种方法是在varargs之前取一个参数

public Foo(Object o, Object... os){} 

public Foo(Object[] os) {}

Foo(new Object(), new Object()); // calls the first.

Foo(new Object[]{new Object(), new Object()}); // calls the second.

它们并不完全相同。微妙的区别在于,虽然您可以将数组传递给 varargs,但不能将数组参数视为 varargs。

public Foo(Object... os){} 

public Bar(Object[] os) {}

Foo(new Object[]{new Object(), new Object()}); // compiles fine.

Bar(new Object(), new Object()); // Fails to compile.

此外,varags 必须是最后一个参数。

public Foo(Object... os, int i){} // fails to compile.

public Bar(Object[] os, int i) {} // compiles ok.

答案 2

这个问题最直接的答案是,同时拥有这两个声明会在方法查找逻辑中产生歧义。如果在同一类中声明了两者,则在调用时无法确定所需的方法:

Object[] a = new Object[10];
Foo(a); // array or vararg?

Java要求每个方法调用总是有一个最具体的方法。原因见彼得的回答。