Использование generic wildcards для повышения удобства Java API

[burdakovd]

Когда начал писать на Java — и узнал что есть конструкции ? extends T и ? super T — сразу попытался представить ситуации, где они могут быть полезны — и как-то естественно пришёл к таким интерфейсам.

Я бы сформулировал вместо PECS другой принцип (сокрытия реализации.) — «знай только необходимый минимум о типах передаваемых тебе параметров» — отсюда вытечет как использование extends так и super.

[Colwin]

Не для всех это очевидно, к сожалению. :-)
У разных людей по-разному развита склонность к абстрактному мышлению.
И если человек специально не подумает об этом, то может и не прийти к аналогичным выводам.

[grossws]

Ага, вот пример, на который я нарвался в apache commons-configuration: issues.apache.org/jira/browse/CONFIGURATION-561.

Товарищи удачно мигрировали на Java 1.5+ (до этого была совместимость 1.4+, где generics ещё не было).

проблемный код

В API

public List getList(String key, List defaultValue)

поменялся на

public List<Object> getList(String key, List<Object> defaultValue)

И код вида

Configuration conf = ...; // some configuration
List<String> defaults = ...; // some default value

List<Object> value = conf.getList("id", defaults);

Теперь просто не соберется.

Сейчас это, конечно, исправлено.

[Skyggedans]

Было бы неплохо в контексте статьи упомянуть такой термин, как "вариантность". Например, что параметр типа в конструкции <T> является инвариантным, в <? extends T> — ковариантным, а в <? super T> — контравариантным. А то много разработчиков слышали эти термины, но что именно они описывают — без понятия, хотя каждый знаком с их сутью. К тому же, во всяких блогах по ООП они, почему-то, в подавляющем большинстве объясняются на примерах из C#.

[23derevo]

Вот тут Миша Ершов хорошо рассказал про совместимые API, в том числе, и про дженерификацию:

[steff]

@weekens, поправьте вёрстку. Похоже, перед строкой «Predicate вместо Predicate, но в ответ получит ошибку компиляции» Вы вставили лишний тег. Из-за этого остаток статьи завернулся в какой-то контейнер и в некоторых местах текст приходится горизонтально скролить...

[weekens]

Спасибо огромное! Раньше так не было. < вместо &lt; внутри code стал так себя вести. Я бы и не узнал, если бы не Вы!