Tại sao toán tử Ternary không hoạt động bên trong một đối số phương thức trong java

Question

Tôi đã nhận thấy điều này ở giữa sự phát triển.

Tại sao toán tử Ternary không hoạt động bên trong một đối số phương thức? Ở đây rõ ràng là InputStream hoặc (khác) String.

class A{ 

    public static boolean opAlpha(InputStream inputStream) { 

     // Do something 

     return true; 

    } 

    public static boolean opAlpha(String arg) { 

     // Do something else 

     return true; 
    } 

    public static void main(String[] args) throws Exception { 

     boolean useIsr = true; 

     InputStream inputStream = null; 
     String arg = null; 

//  boolean isTrue = useIsr ? A.opAlpha(inputStream): A.opAlpha(arg); // This is OK. 
     boolean isTrue = A.opAlpha(useIsr ? inputStream : arg); // This is not. (Error : The method opAlpha(InputStream) in the type A is not applicable for the arguments (Object)) 

    } 

} 

Answer 1

Khái niệm useIsr ? inputStream : arg là loại Object, vì đó là loại phổ biến của inputStream (InputStream) và arg (String).

Bạn không có bất kỳ phương thức opAlpha nào chấp nhận Object. Do đó lỗi biên dịch.

Answer 2

Trình biên dịch cần quyết định phương thức quá tải nào cần gọi trong phương thức main của bạn. Cuộc gọi phương thức phải được đặt trong bytecode được biên dịch của main và không được quyết định khi chạy.

Trong thực tế, mặc dù bạn biết rằng các loại biểu thức điều kiện là một trong hai InputStream hoặc String, trình biên dịch thấy loại của nó như Object. Từ Section 15.25.3 of the Java Language Specification:

Biểu thức điều kiện tham chiếu là biểu thức poly nếu nó xuất hiện trong ngữ cảnh gán hoặc ngữ cảnh yêu cầu (§5.2. §5.3). Nếu không, nó là một biểu thức độc lập.

Trong trường hợp biểu thức điều kiện nhiều tài liệu tham khảo xuất hiện trong một bối cảnh của một loại đặc biệt với loại mục tiêu T, biểu thức toán hạng thứ hai và thứ ba của nó tương tự xuất hiện trong một bối cảnh cùng loại với loại mục tiêu T.

Loại một biểu thức điều kiện tham chiếu poly là giống như kiểu đích của nó.

Loại một biểu thức điều kiện tham khảo độc lập được xác định như sau:

• Nếu toán hạng thứ hai và thứ ba có cùng loại (trong đó có thể là loại null), thì đó là kiểu của biểu thức điều kiện.

• Nếu loại của toán hạng thứ hai và thứ ba là loại rỗng và loại toán hạng khác là loại tham chiếu, thì loại biểu thức có điều kiện là loại tham chiếu đó.

• Nếu không, toán hạng thứ hai và thứ ba thuộc loại S1 và S2 tương ứng. Gọi T1 là kiểu kết quả từ việc áp dụng chuyển đổi quyền anh sang S1, và để T2 là loại kết quả từ việc áp dụng chuyển đổi quyền anh sang S2. Loại biểu thức điều kiện là kết quả của việc áp dụng chuyển đổi chụp (§5.10.10) sang lub (T1, T2).

nơi lub(T1, T2) đứng cho "Least Upper Bound" các loại T1 và T2. Loại giới hạn trên ít nhất là InputStream và String là Object.