Warum arbeitet der Ternary-Operator nicht innerhalb eines Methodenarguments in Java

Question

Ich habe dies in der Mitte einer Entwicklung festgestellt.

Warum arbeitet der Ternary-Operator nicht innerhalb eines Methodenarguments? Hier ist es eindeutig oder (sonst) 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

Der Ausdruck useIsr ? inputStream : arg ist vom Typ Object, denn das ist die übliche Art von inputStream (InputStream) und arg (String) ist.

Sie haben keine opAlpha Methode, die eine Object akzeptiert. Daher der Kompilierungsfehler.

Answer 2

Der Compiler muss entscheiden, welche Methode überlastet es in Ihrem main Methode aufrufen sollte. Der Methodenaufruf muss in den kompilierten Bytecode main gestellt und zur Laufzeit nicht entschieden werden.

In der Tat, obwohl Sie wissen, dass die Art des bedingten Ausdrucks ist entweder InputStream oder String, sieht der Compiler den Typ als Object. Von Section 15.25.3 of the Java Language Specification:

Ein Referenzbedingungsausdruck ist eine Poly-Expression, wenn es in einer Zuweisungskontext oder einen Aufrufkontext erscheint (§5.2 §5.3.). Ansonsten ist es ein eigenständiger Ausdruck.

Wo ein Poly Referenzbedingungsausdruck mit Zielart T in einem Zusammenhang mit einer bestimmten Art erscheint, der zweiten und der dritten Operanden Ausdrücke erscheinen in ähnlicher Weise in einem Rahmen von der gleichen Art mit Zielart T.

Die Art der Ein bedingter PolyReferenzausdruck ist derselbe wie sein Zieltyp.

Der Typ einer eigenständigen Referenzbedingungsausdruck wird wie folgt bestimmt:

• Wenn die zweiten und dritten Operanden denselben Typ haben (der die Null Typ sein kann), so dass der Typ der ist bedingter Ausdruck.

• Wenn der Typ eines der zweiten und dritten Operanden der Null-Typ ist und der Typ des anderen Operanden ein Referenztyp ist, dann ist der Typ des bedingten Ausdrucks dieser Referenztyp.

• Ansonsten sind der zweite und der dritte Operand vom Typ S1 bzw. S2. Sei T1 der Typ, der sich aus der Anwendung der Box-Konvertierung auf S1 ergibt, und sei T2 der Typ, der sich aus der Anwendung der Box-Konvertierung auf S2 ergibt. Der Typ des bedingten Ausdrucks ist das Ergebnis der Anwendung der Capture-Konvertierung (§5.1.10) auf lub (T1, T2).

wo lub(T1, T2) steht für "Least Upper Bound" von Typen T1 und T2. Der am wenigsten obere Typ von InputStream und String ist Object.