Java Generics - tipo di ritorno atteso diverso da quello attuale

Question

Ecco un esempio di codice su cui sto lavorando:

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

di più scontato ci saranno molte implementazioni concrete diverse di FooMaker Let. Così ho scritto un codice per utilizzare i FooMakers.

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

La seconda riga di codice causa il problema, eclissi mi dice che il codice dovrebbe essere:

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

Sto avendo difficoltà a capire il motivo per cui la dichiarazione Foo come il tipo parametrico in lista deve andare via per rendere corretto il tipo di ritorno.

Qualche idea?

Answer 1

Prova a modificare:

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

Il problema è che se questo è stato permesso:

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

Poi, per estensione, si sarebbero già stati in grado di farla franca con questo così:

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

tali da inficiare il contratto generico della lista restituita.

Per evitare ciò, il compilatore java impone che il tipo di ritorno sia basato su caratteri jolly, ovvero che Foo può essere utilizzato come tipo di ritorno (per estrarre elementi dall'elenco) ma non sarà possibile aggiungere caratteri jolly. tipi di Foo basati sulla tua lista.

Answer 2

Perché si dichiara maker come FooMaker<?>. Perché non dovresti dichiararlo come il tipo di AwesomeFooMaker se sai cosa restituisce lo TAwesomeFooMaker specifico?

Answer 3

usuale:

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!