¿Por qué no se permite en Java sobrecargar Foo (Objeto ...) con Foo (Objeto [])?

Question

Me preguntaba por qué no está permitido en Java sobrecargar Foo(Object[] args) con Foo(Object... args), aunque se usan de otra manera?

Foo(Object[] args){} 

se utiliza como:

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

mientras que la otra forma:

Foo(Object... args){} 

se utiliza como:

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

¿Hay alguna razón detrás de esto?

Answer 1

Esto 15.12.2.5 Choosing the Most Specific Method habla de esto, pero es bastante complejo. p.ej. Elegir entre Foo (Números ...) y Foo (Números enteros)

En aras de la compatibilidad con versiones anteriores, estas son en realidad la misma cosa.

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

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

e.g. puede definir main() como

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

---

Una manera de hacer que los diferencia es tomar un argumento ante los 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. 

---

Ellos no son exactamente lo mismo. La diferencia sutil es que, aunque puede pasar una matriz a una varargs, no puede tratar un parámetro de matriz como 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. 

Además, un varags debe ser el último parámetro.

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

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

Answer 2

La respuesta más directa a la pregunta es que tener ambas declaraciones crearía una ambigüedad en la lógica de búsqueda de métodos. Si ambos declarados en la misma clase, no habría manera de averiguar qué método que quería cuando se llama así:

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

y Java requiere que haya siempre un método más específico para cada invocación de método. Para por qué, vea la respuesta de Peter.