Warum mag der ternäre Operator keine generischen Typen mit beschränkten Platzhaltern?

Question

Die folgende Klasse definiert zwei Methoden, von denen beide intuitiv die gleiche Funktionalität haben. Jede Funktion wird mit zwei Listen vom Typ List<? super Integer> und einem booleschen Wert aufgerufen, der angibt, welche dieser Listen einer lokalen Variablen zugewiesen werden soll.

import java.util.List; 

class Example { 
    void chooseList1(boolean choice, List<? super Integer> list1, List<? super Integer> list2) { 
     List<? super Integer> list; 

     if (choice) 
      list = list1; 
     else 
      list = list2; 
    } 

    void chooseList2(boolean choice, List<? super Integer> list1, List<? super Integer> list2) { 
     List<? super Integer> list = choice ? list1 : list2; 
    } 
} 

Nach javac 1.7.0_45, chooseList1 ist gültig während chooseList2 nicht ist. Es klagt:

java: incompatible types 
    required: java.util.List<? super java.lang.Integer> 
    found: java.util.List<capture#1 of ? extends java.lang.Object> 

Ich weiß, dass die Regeln für den Typ eines Ausdrucks zu finden, die ternäre Operator (… ? … : …) sind ziemlich komplex enthält, aber soweit ich sie verstehe, wählt es die spezifischste Art, auf die sowohl Das zweite und dritte Argument können ohne explizite Umwandlung konvertiert werden. Hier sollte dies List<? super Integer> list1 sein, aber es ist nicht.

Ich würde gerne eine Erklärung sehen, warum dies nicht der Fall ist, vorzugsweise mit einer Referenz der Java-Sprache Spezifikation und eine intuitive Erklärung, was schief gehen könnte, wenn es nicht verhindert wurde.

Answer 1

Dies beantwortet gilt für Java 7.

Die Java Language Specification besagt Folgendes über die conditional operator (? :)

Ansonsten sind die zweiten und dritten Operanden sind von Typen S1 und S2 sind. Sei T1 der Typ, der sich aus der Anwendung der Boxing-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) (§15.12.2.7).

Im Ausdruck

List<? super Integer> list = choice ? list1 : list2; 

T1 ist List<capture#1? super Integer> und T2List<capture#2? super Integer> ist. Beide haben untere Grenzen.

This article geht ins Detail darüber, wie man lub(T1, T2) (oder join function) berechnet. Lassen Sie uns von dort ein Beispiel nehmen

<T> T pick(T a, T b) { 
    return null; 
} 

<C, A extends C, B extends C> C test(A a, B b) { 
    return pick(a, b); // inferred type: Object 
} 

void tryIt(List<? super Integer> list1, List<? super Integer> list2) { 
    test(list1, list2); 
} 

Wenn Sie ein IDE verwenden und schweben über test(list1, list2), werden Sie die Rückgabetyp feststellen

List<? extends Object> 

ist

Dies ist die beste, die Java Typinferenz tun können. Wenn list1 ein List<Object> und list2 ein List<Number> war, ist der einzige akzeptable Rückgabetyp List<? extends Object>. Da dieser Fall abgedeckt werden muss, muss die Methode diesen Typ immer zurückgeben.

Ähnlich in

List<? super Integer> list = choice ? list1 : list2; 

Die lub(T1, T2) ist wieder List<? extends Object> und seine Capture Konvertierung ist List<capture#XX of ? extends Object>.

Schließlich kann eine Referenz des Typs List<capture#XX of ? extends Object> nicht einer Variablen vom Typ List<? super Integer> zugewiesen werden und der Compiler erlaubt es nicht.