Co oznacza znak zapytania w parametrze typu generics Java?

Jest to mały fragment kodu wzięty z niektórych przykładów towarzyszących parserowi Stanforda. Zajmuję się programowaniem w Javie od około 4 lat, ale nigdy nie bardzo dobrze rozumiałem, co powinien wskazywać ten styl kodu.

List<? extends HasWord> wordList = toke.tokenize();

Nie martwię się o szczegóły kodu. To, co mnie dezorientuje, to dokładnie to, co powinno przekazać ogólne wyrażenie w języku angielskim.

Czy ktoś może mi to wyjaśnić?

? extends HasWord

oznacza „klasę / interfejs, który się rozszerza HasWord”. Innymi słowy, on HasWordsam lub którekolwiek z jego dzieci ... w zasadzie wszystko, co działałoby z instanceof HasWordplusem null.

Mówiąc bardziej technicznie, ? extends HasWordjest to symbol wieloznaczny ograniczony, objęty pozycją 31 Effective Java 3rd Edition , począwszy od strony 139. Ten sam rozdział z 2nd Edition jest dostępny online w formacie PDF ; część ograniczonych symboli wieloznacznych to pozycja 28, począwszy od strony 134.

Aktualizacja: link PDF został zaktualizowany, ponieważ Oracle usunął go jakiś czas temu. Teraz wskazuje na kopię hostowaną przez School of Electronic Engineering and Computer Science na Queen Mary University of London.

Aktualizacja 2: Przejdźmy trochę bardziej szczegółowo do tego, dlaczego chcesz używać symboli wieloznacznych.

Jeśli zadeklarujesz metodę, której podpis spodziewasz się przekazać List<HasWord>, jedyną rzeczą, którą możesz przekazać, jest List<HasWord>.

Jeśli jednak wspomniany podpis List<? extends HasWord>byłby, można List<ChildOfHasWord>zamiast tego przekazać .

Zauważ, że istnieje subtelna różnica między List<? extends HasWord>i List<? super HasWord>. Jak ujął to Joshua Bloch: PECS = producent rozszerza, konsument super.

Oznacza to, że jeśli przekazujesz kolekcję, z której twoja metoda pobiera dane (tj. Kolekcja wytwarza elementy do użycia przez metodę), powinieneś jej użyć extends. Jeśli przekazujesz kolekcję, do której twoja metoda dodaje dane (tj. Kolekcja zużywa elementy tworzone przez twoją metodę), należy jej użyć super.

Może to brzmieć myląco. Jednak można go zobaczyć w List„ssort polecenia (które jest po prostu skrót do wersji dwu-Arg z Collections.sort). Zamiast brać Comparator<T>, w rzeczywistości zajmuje Comparator<? super T>. W takim przypadku Komparator zużywa elementy List, aby zmienić kolejność samej listy.

Znak zapytania oznacza „dowolny typ”. ?sam oznacza

Dowolny typ rozszerzający Object(w tym Object)

podczas gdy powyższy przykład oznacza

Dowolny typ rozszerzający lub implementujący HasWord(w tym HasWordjeśli HasWordjest klasą nieabstrakcyjną)

List<? extends HasWord>akceptuje wszelkie konkretne klasy, które rozszerzają HasWord. Jeśli masz następujące klasy ...

public class A extends HasWord { .. }
public class B extends HasWord { .. }
public class C { .. }
public class D extends SomeOtherWord { .. }

... wordListmoże zawierać TYLKO listę As lub Bs lub ich kombinację, ponieważ obie klasy rozszerzają tego samego rodzica lub null(co nie sprawdza instancji sprawdzania HasWorld).

Być może pomógłby wymyślony przykład „prawdziwego świata”.

W moim miejscu pracy mamy kosze na śmieci o różnych smakach. Wszystkie pojemniki zawierają śmieci, ale niektóre pojemniki są specjalistyczne i nie przyjmują wszystkich rodzajów śmieci. Więc mamy Bin<CupRubbish>i Bin<RecylcableRubbish>. System typów musi upewnić się, że nie mogę umieścić mojego HalfEatenSandwichRubbishw żadnym z tych typów, ale może przejść do ogólnego kosza na śmieci Bin<Rubbish>. Gdybym chciał porozmawiać o jednym Binz tych, Rubbishktóre mogą być wyspecjalizowane, więc nie mogę wrzucać niekompatybilnych śmieci, to byłoby to możliwe Bin<? extends Rubbish>.

(Uwaga: ? extendsnie oznacza tylko do odczytu. Na przykład mogę, przy zachowaniu odpowiednich środków ostrożności, wyjąć śmieci z kosza o nieznanej specjalizacji, a następnie umieścić je z powrotem w innym miejscu).

Nie jestem pewien, jak bardzo to pomaga. Wskaźnik do wskaźnika w obecności polimorfizmu nie jest całkowicie oczywisty.

Po angielsku:

Jest to Listpewnego rodzaju rozszerzenie klasy HasWord, w tymHasWord

Ogólnie rzecz biorąc, ?rodzajowe oznacza dowolną klasę. I extends SomeClassokreśla, że ​​ten obiekt musi się rozszerzać SomeClass(lub być tą klasą).

Znak zapytania służy do definiowania symboli wieloznacznych . Zapoznaj się z dokumentacją Oracle na ich temat: http://docs.oracle.com/javase/tutorial/java/generics/wildcards.html