Java Generics - Невозможно преобразовать из <? extends MyObject> to <MyObject>

Question

Почему следующий код дает ошибку компиляции?

public MyObject(Builder<? extends MyObject> builder) { 
    // Type mismatch: cannot convert from MyObject.Builder<capture#5-of ? extends MyObject> to MyObject.Builder<MyObject> 
    Builder<MyObject> myObjBuilder = builder; 
} 

Если тип Builder подкласс MyObject, то почему не может назначать строитель просто ввести MyObject? Мне нужно сделать это, потому что я не могу использовать объект типа MyObject с построителем. Посмотрите на этот код, например:

public MyObject(Builder<? extends MyObject> builder) { 
    // The method getData(capture#8-of ? extends MyObject) in the type Builder<capture#8-of ? extends MyObject> is not applicable for the arguments (MyObject) 
    this.data = builder.getData(this); 
} 

Мне кажется, что это должно быть разрешено. Или я чего-то не хватает? Есть ли способ сделать это без литья строителя до (Builder<MyObject>) и использования @SuppressWarnings?

Также обратите внимание, что мне нужно, чтобы Builder был <? extends MyObject>, потому что MyObject и его Builder будут подклассы (как абстрактные).

Благодарим за помощь!

Answer 1

Потому что Foo<? extends Bar> не является Foo<Bar>.

Say Foo имеет метод:

void add (T t) 

затем по контракту, вы можете только добавить T объекты. Теперь, если T был создан как ? extends Bar, мы не знаем тип. Принятие Bar может привести к проблемному поведению: если у вас есть ArrayList<Foo>, вы ожидаете, что ArrayList будет содержать только Foo экземпляров. Если вы увидите ArrayList<Foo> как ArrayList<SuperFoo>, то нельзя гарантировать, что ArrayList<Foo> содержит только Foo.

Некоторые языки позволяют covariance: если вы используете только T в качестве вывода, можно сказать, что класс Foo<T> является такой же, как Foo<SuperT>, а также (то же самое с входом). Но в настоящее время Java этого не поддерживает. C# однако работает на уровне интерфейса.