Пытаюсь постичь смысл использования lower-bound wildcard. Какие реальные преимущества он дает?
Представим ситуацию:
class A {}
class B extends A {}
И такой дженерик:
List<? super B>
Что из этого следует?
- Фактический тип может быть: Object, A, B
- Возвращаться из такого листа в любом случае будет Object
- Внутрь такого листа мы можем положить только B или его наследники
С первыми двумя пунктами всё понятно, а вот третий вызывает вопросы.
List<? super B> sup = new ArrayList<>();
sup.add(new A()); // ERROR
sup.add(new B()); // OK
В первом случае мы не можем положить в sup объект A, т.к. не знаем фактический тип (вдруг это В). Но ведь компилятор считает всё внутри Object`ом и нам в любом случае надо будет делать кастинг при получении! Какой смысл в таком ограничении? Ведь оно легко обходится через присвоение ссылки, например, на List< Object>, в котором может быть вообще что угодно.
List<? super B> sup = new ArrayList<>();
List<Object> a = new ArrayList<>();
a.add(new A()); // OK
a.add(new B()); // OK
a.add(new Number() { ... }); // OK
sup = a; // OK
Так зачем городить весь огород с контравариантностью, если фактически никаких гарантий мы не получаем? Можно же указать List< Object> без всяких wildcard`ов и получить, по сути, то же самое? Разница всего лишь в том, что в варианте с super исключаются присвоения типа
List<? super B> sup = new ArrayList<C>();
...хотя фактически под видом Object`а можно будет пропихнуть всё, что угодно?