Инстанцирование из родового объекта с групповым символом

Question

У меня есть класс

public class OrderedBox<T> {}  

Компилятор не позволяет создать члена/локальную переменную, как это.

OrderedBox<? extends T> testItems1 = new OrderedBox<? extends T>(); 
List<? extends T> testItems2 = new ArrayList<? extends T>(); 

Ее причина понятно во время выполнения, это не гарантирует тип объектов (верхний, ограниченный Т) будет вставлено и будет игнорировать типобезопасность.

Но это позволяет создавать переменную-член/локальную переменную, подобную этим. Почему и как это можно сделать?

private List<OrderedBox<? extends T>> testItems = new ArrayList<OrderedBox<? extends T>>(); 

Примечание: У меня есть это сомнение, проходя через http://www.onjava.com/pub/a/onjava/excerpt/javaian5_chap04/index1.html

Вероятные дублей:
Creating new generic object with wildcard
Generics wildcard instantiation

Но оба эти вопросы дают s аргументирование сбоя компиляции двух опций. Я не мог понять, почему и как разрешено последнее 1.

Answer 1

Ответ на вариации одной линии на самом деле объясняется второй SO вопрос вы писали: Generics wildcard instantiation

Один лайнер делает объявить собой тип OrderedBox, но не создает его экземпляр.

private List<OrderedBox<? extends T>> testItems = new ArrayList<OrderedBox<? extends T>>(); 

Это говорит о том, что у вас будет OrderedBox, но он не говорит, какой из них. Вы будете иметь проблемы при попытке создать экземпляр как

testItems.add(new OrderedBox<? extends T>()) 

Потому что в то время, вы будете фиксировать тип.