Що означає знак питання в параметрі типу дженерики Java?

Це невеликий фрагмент коду, взятий із деяких прикладів, які супроводжують Stanford Parser. Я розвивався в Java близько 4 років, але ніколи не мав дуже сильного розуміння того, що повинен вказувати цей стиль коду.

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

Я не переживаю за деталі коду. Мене плутає те, що саме має висловити родовий вираз англійською мовою.

Може хтось мені це пояснить?

? extends HasWord

означає "Клас / інтерфейс, який розширюється HasWord." Іншими словами, HasWordсама або будь-яка її дитина ... в основному все, що працювало б з instanceof HasWordплюсом null.

Більш технічно, ? extends HasWordце обмежений підстановочний код, який розглядається в пункті 31 Ефективної Java 3-го видання , починаючи з сторінки 139. Цей самий розділ з другого видання доступний в Інтернеті як PDF ; Частина на обмежених символах - пункт 28, починаючи зі сторінки 134.

Оновлення: посилання PDF було оновлено, оскільки Oracle деякий час його видалив. Тепер він вказує на копію, яку розмістила Лондонська школа електронної інженерії та комп’ютерних наук з університету королеви Мері.

Оновлення 2: Давайте детальніше розберемося, чому ви хочете використовувати подстановочні символи.

Якщо ви заявляєте метод, підпис якого очікує, що ви перейдете List<HasWord>, то єдине, що ви можете передати - це List<HasWord>.

Однак, якщо згаданий підпис був List<? extends HasWord>тоді, ви можете List<ChildOfHasWord>замість цього передати .

Зауважте, що між List<? extends HasWord>і та є незначна різниця List<? super HasWord>. Як сказав Джошуа Блох: PECS = виробник розширює, споживач - супер.

Це означає, що якщо ви передаєте колекцію, з якої ваш метод витягує дані (тобто колекція створює елементи для використання вашого методу), ви повинні використовувати extends. Якщо ви передаєте колекцію, до якої ваш метод додає дані (тобто колекція споживає елементи, створені вашим методом), він повинен використовувати super.

Це може здатися заплутаним. Однак ви можете побачити його в команді List's sort(що є лише ярликом до двоаргументованої версії Collections.sort). Замість того, щоб взяти a Comparator<T>, він насправді бере a Comparator<? super T>. У цьому випадку компаратор споживає елементи Listсимволу для того, щоб впорядкувати сам Список.

Знак питання - це означення "будь-якого типу". ?поодинці означає

Будь-який тип, що розширюється Object(включаючи Object)

тоді як ваш приклад вище означає

Будь-який тип, що розширює або впроваджує HasWord(включаючи, HasWordякщо HasWordце не абстрактний клас)

List<? extends HasWord>приймає будь-які конкретні класи, які розширюють HasWord. Якщо у вас є такі класи ...

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

... wordListможе САМО містити список або As, або Bs, або суміш обох, тому що обидва класи поширюють один і той же батьківський null( або не вдається instanceof перевірити HasWorld).

Можливо, допоможе надуманий приклад "реального світу".

На моєму місці роботи у нас є контейнери для сміття, які виходять різними смаками. Усі сміттєві контейнери містять сміття, але деякі контейнери є спеціалізованими і не приймають усі види сміття. Так у нас Bin<CupRubbish>і є Bin<RecylcableRubbish>. Система типу повинна переконатися, що я не можу поставити HalfEatenSandwichRubbishжоден із цих типів, але вона може перейти у загальний сміттєвий контейнер Bin<Rubbish>. Якби я хотів поговорити про Binз Rubbishяких може бути спеціалізовані , тому я не можу поставити в суперечливому смітті, то це було б Bin<? extends Rubbish>.

(Примітка: ? extendsне означає лише для читання. Наприклад, я можу з належними запобіжними засобами вийняти шматок сміття з бака невідомої спеціальності та пізніше перенести його в інше місце.)

Не впевнений, наскільки це допомагає. Покажчик-покажчик у присутності поліморфізму не зовсім очевидний.

Англійською:

Це Listпевний тип, який розширює клас HasWord, в тому числіHasWord

Взагалі ?в "generics" означає будь-який клас. І extends SomeClassвказує, що цей об'єкт повинен поширюватися SomeClass(або бути цим класом).

Знак питання використовується для визначення символів . Ознайомтеся з документацією Oracle про них: http://docs.oracle.com/javase/tutorial/java/generics/wildcards.html