Tại sao Java lại thích gọi hàm dựng kép?

Question

public class test { 
    test(double[] a) 
    { 
     System.out.println("in double"); 
    } 
    test(Object a) 
    { 
     System.out.println("in object"); 
    } 
    public static void main(String args[]) 
    { 
     new test(null); 
    } 
} 

Trong đoạn mã trên, tôi vượt qua null làm đối số hàm tạo. Như null có thể là bất cứ điều gì, mã trên biên dịch tốt. Khi tôi chạy mã, tôi mong đợi nó in trong đối tượng nhưng nó in trong đôi Lý do đằng sau điều này là gì?

LƯU Ý các câu hỏi liên quan có thể không trùng lặp vì câu hỏi này có liên quan với datatype nguyên thủy vs Object

Answer 1

Lý do là Java diễn giải null như bất kỳ loại nào và khi chọn phương thức để gọi, nó sẽ chọn phương pháp cụ thể nhất đầu tiên loại đối số. Vì null có thể thuộc loại double[] và double[] là Object, trình biên dịch sẽ chọn phương thức mất double[]. Nếu các lựa chọn liên quan đến các loại có thể có liên quan như nhau nhưng không liên quan, ví dụ: double[] và String, khi đó trình biên dịch sẽ không thể chọn phương thức và điều đó sẽ dẫn đến lỗi cuộc gọi phương thức không rõ ràng.

Các JLS, Section 4.1, khẳng định:

Các tham chiếu null luôn có thể được chỉ định hoặc bầu cho bất kỳ loại tài liệu tham khảo (§5.2, §5.3, §5.5).

Trong thực tế, lập trình viên có thể bỏ qua loại null và chỉ giả vờ rằng null chỉ là một chữ đặc biệt có thể thuộc bất kỳ loại tham chiếu nào.

Answer 2

Cả nhà xây dựng được áp dụng, vì null là mui trần cho cả Object và double[] - vì vậy trình biên dịch cần phải sử dụng quá tải độ phân giải để xác định hàm tạo nào cần gọi.

JLS 15.9.3 sử dụng JLS 15.12.2 để xác định chữ ký hàm tạo "cụ thể nhất" để sử dụng, dựa trên hàm tạo nào có loại thông số cụ thể nhất, theo JLS 15.12.2.5. Các chi tiết chính xác hơi mơ hồ (IMO) nhưng trong trường hợp này quy tắc cơ bản của ngón tay cái "nếu bạn có thể chuyển đổi từ T1 sang T2, nhưng không T2 đến T1, thì T1 là cụ thể hơn" là đủ tốt.

double[] là loại cụ thể hơn Object, bởi vì có chuyển đổi ẩn từ double[] thành Object, nhưng không ngược lại.