Java Generics Curiosity

Question

Tengo una interfaz A, que clase B implementa.

El siguiente método genérico funciona

public static <T, U extends T> List<T> listFactory(Collection<U> source) { 
    return new ArrayList<T>(source); 
} 

pero

public static <T> List<T> listFactory(Collection<? extends T> source) { 
    return new ArrayList<T>(source); 
} 

no (error de compilación, de coincidencia de tipos), cuando estoy dirigiendo la salida en

List<A> tester = listFactory(B.defaultCollectionFactory(3)); 

defaultCollectionFactory(int count) estáticamente proporciona una colección de B s, con un esquema de etiquetado predeterminado.

¿Alguna idea de por qué es así? Parece que el U genérico y el comodín están haciendo lo mismo.

Answer 1

En la primera construcción, especifica que está devolviendo List de la interfaz del elemento que se pasó. Usted especifica la relación entre el objeto pasado en Object y el tipo de objeto devuelto en la dirección U extends T. En este caso, el compilador puede asociar A y B con T y U respectivamente.

En el segundo, no hay tal diferenciación, por lo que el compilador supone que T se refiere a y escribirá el valor de retorno como List<B>. Luego cae en la trampa donde, aunque B es una instancia de A, List<B> no es una instancia de List<A>. El compilador se quejará:

coinciden los tipos: no se puede convertir de Lista <B> a la lista <Un>

se encuentra que, con el primer constructo, usted tiene la libertad de especificar un List de cualquier interfaz implementa B o cualquier superclase en la jerarquía B (List<Object>, por ejemplo), y el compilador no se quejará.

Answer 2

El compilador está infiriendo un parámetro de tipo diferente para el método listFactory de lo esperado. Se infiere que T es tipo B, por lo que la firma es efectivamente List<B> listFactory(Collection<? extends B> source). Especifique el parámetro de tipo A al ser explícito en la invocación al método:

List<A> tester = Test.<A> listFactory(B.defaultCollectionFactory(3));