Java Generics - Esperado tipo de retorno diferente a la real

Question

Aquí está un ejemplo de un código que estoy trabajando:

public interface FooMaker<T extends Enum<T> & FooType> 
{ 
     public List<Foo<T>> getFoos(String bar); 
} 

de Supóngase además habrá muchas diferentes implementaciones concretas de FooMaker Let. Así que escribí un código para utilizar los FooMakers.

FooMaker<?> maker = Foos.getRandomMaker(); 
List<Foo<?>> fooList = maker.getFoos("bar"); //error here! 

La segunda línea de código hace que el tema, eclipse me dice que el código debe ser:

FooMaker<?> maker = Foos.getRandomMaker(); 
List<?> fooList = maker.getFoos("bar"); 

estoy teniendo problemas para entender por qué la declaración de Foo como el tipo parametrizado en la lista tiene que ir de distancia para hacer que el tipo de devolución sea correcto.

¿Alguna idea?

Answer 1

probar este lugar:

List<? extends Foo<? extends Enum<?>>> fooList = maker.getFoos("bar"); 

El problema es que si esto se ha permitido:

List<Foo<?>> fooList = maker.getFoos("bar"); 

Entonces, por extensión, que habría sido capaz de salirse con la suya también:

Foo<?> foo1 = new Foo<String>(); 
Foo<?> foo2 = new Foo<Integer>(); 
fooList.add(foo1); 
fooList.add(foo2); 

Lo que invalidaría el contrato genérico de la lista devuelta.

Para evitar esto, el compilador java obliga al tipo de retorno a estar basado en comodines, lo que significa que Foo puede usarse como un tipo de retorno (para sacar elementos de la lista) pero no podrá agregar caracteres comodín. tipos Foo basados ​​en su lista.

Answer 2

Porque declara maker como FooMaker<?>. ¿Por qué no lo declararía como el tipo de AwesomeFooMaker si sabe qué datos específicos TAwesomeFooMaker devuelve?

Answer 3

usual:

class Bar {} 
class Baz {} 

FooMaker<?> maker = new FooMaker<Bar>(); 
List<Foo<?>> fooList = maker.getFoos("bar"); //error here! 
fooList.add(new Foo<Baz>());     //cock-up here!