Java rodzajowych - Oczekiwany rodzaj powrotu inny niż rzeczywisty

Question

Oto przykład jakiegoś kodu pracuję nad:

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

Chodźmy dalej zakładać, że będzie wiele różnych konkretne implementacje FooMaker. Napisałem więc kod do wykorzystania FooMakers.

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

Druga linia kodu powoduje problem, zaćmienie mówi mi, że kod powinien być:

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

mam problemy ze zrozumieniem, dlaczego deklaracja Foo jako sparametryzowane typu w liście musi odejść z dala, aby typ zwrotu był poprawny.

Wszelkie pomysły?

Answer 1

Spróbuj to zamiast:

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

Problem polega na tym, że jeśli zostało to dozwolone: ​​

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

Następnie za tym idzie, to byłby już można też uciec:

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

Co spowodowałoby unieważnienie ogólnej umowy zwróconej listy.

Aby temu zapobiec, kompilator języka Java zmusza typ zwracany jako oparty na bazie wieloznacznej, co oznacza, że ​​Foo może być używany jako typ zwracany (w celu wyciągania elementów z listy), ale nie będzie można dodawać symboli wieloznacznych. oparte typy Foo na twoją listę.

Answer 2

Ponieważ zgłaszasz maker jako FooMaker<?>. Dlaczego nie zadeklarowałbyś tego jako typu AwesomeFooMaker, jeśli wiesz, co konkretnie zwraca: TAwesomeFooMaker?

Answer 3

zwykle:

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!