Czy "lista koksów wiśniowych" jest "listą koksów"?

Question

otrzymuję „Niezgodność typów: nie można przekonwertować z List<CherryCoke> do List<Coke<?>>”

Wygląda jak „listy koksu wiśni” nie jest „lista koksu”. Jest to sprzeczne z intuicją. Jak mogę utworzyć "xs" tak czy inaczej, jeśli musi to być List<Coke<?>> i muszę mieć podklasę ?

class Taste { } 
class Cherry extends Taste { } 

abstract class Coke<T extends Taste> { }  

class CherryCoke extends Coke<Cherry> { } 

class x { 
    void drink() { 
    List<Coke<?>> xs = Arrays.asList(new CherryCoke()); 
    } 
} 

Answer 1

Masz rację - a „lista koksu” nie jest „lista koksu wiśni” - listy „rzeczy, które rozciągają się koks” jest „lista koksu wiśni” chociaż.

Prawdopodobnie chcesz określić xs jak List <? extends Coke<?>> xs = Arrays.asList(new CherryCoke());

Answer 2

List<Coke<?>> xs = Arrays.asList(new CherryCoke()); 

List<CherryCoke> nie jest typu sub List<Coke<?>> (Lista Coke czegokolwiek).

należy zdefiniować górną granicę rodzaju ogólnego.

List<? extends Coke<?>> xs = Arrays.asList(new CherryCoke()); 

Answer 3

Jak inni zwrócili uwagę, List<CherryCoke> i List<Coke<?>> nie to samo.

Ale to nie jest naprawdę problem tutaj. Nie trzeba wpisywać xs jako List<? extends Coke<?>>. Równie dobrze można było stworzyć nowy List<Coke<?>>, a następnie dodać do niego nowy CherryCoke.

Błąd polega po prostu na niepoprawnym wprowadzeniu parametru typu T przez kompilator asList. Jeśli podasz T się kompiluje:

List<Coke<?>> xs = Arrays.<Coke<?>>asList(new CherryCoke());