Tại sao nó không được phép trong Java để quá tải Foo (Object ...) với Foo (Object [])?

Question

Tôi đã tự hỏi tại sao nó không được phép trong Java quá tải Foo(Object[] args) với Foo(Object... args), mặc dù chúng được sử dụng theo một cách khác?

Foo(Object[] args){} 

được sử dụng như:

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

trong khi hình thức khác:

Foo(Object... args){} 

được sử dụng như:

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

Có bất kỳ lý do đằng sau này?

Answer 1

Điều này 15.12.2.5 Choosing the Most Specific Method nói về điều này, nhưng nó khá phức tạp. ví dụ. Chọn giữa Foo (Số ... ints) và Foo (Số nguyên ... ints)

Vì lợi ích của tính tương thích ngược, đây là những điều tương tự.

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

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

ví dụ: bạn có thể xác định main() như

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

---

Một cách để làm cho họ khác nhau là để có một đối số trước khi 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. 

---

Họ không phải là giống hệt nhau. Sự khác biệt tinh tế là trong khi bạn có thể truyền một mảng tới một varargs, bạn không thể xử lý một tham số mảng như là một 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. 

Ngoài ra, biến thể phải là thông số cuối cùng.

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

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

Answer 2

Câu trả lời trực tiếp nhất cho câu hỏi là có cả hai khai báo sẽ tạo ra sự mơ hồ trong logic tra cứu phương pháp. Nếu bạn tuyên bố cả hai trong cùng một lớp, sẽ có không có cách nào để tìm ra phương pháp nào bạn muốn khi gọi thusly:

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

Và Java đòi hỏi rằng có luôn là một phương pháp cụ thể nhất cho mỗi gọi phương pháp. Đối với số lý do tại sao, xem câu trả lời của Peter.