Непонимание класса возвращаемого экземпляра из общего метода класса вызывается из экземпляра подкласса в Java

Question

Пример:

interface S {} 

interface SS extends S {} 

abstract class A<T extends S> { 
    T get() {…} 
} 

abstract class B<BT extends SS> extends A<BT> {} 

Почему ((B)someInstanceOfB).get() возвращает объект типа S (и мы должны привести его к SS вручную), когда компилятор может определить, что возвращаемый объект по крайней мере относится к типу SS?

Почему компилятор не делает неявный класс, чтобы иметь более четкий код? Код имеет версию 1.5+, и это не секрет для компилятора. (Раскрыты)

Update: Почему не компилятор компилировать B класс, как он неявно имеет метод BT get() { return super.get(); }?

Является ли эта проблема решена в Java 1.7+?

Answer 1

Ключом к B вы используете a raw type.

Использование исходного типа удаляет всю общую информацию от объекта, независимо от его местонахождения.

Это означает, что для исходного типа Bget метода выглядит как он возвращает S (потому что это стирание (то есть фактический типа, используемый во время выполнения) параметра типа T).

Чтобы избежать этого, никогда не использовать необработанные типы! Они предназначены исключительно для обратной совместимости и взаимодействия с устаревшим кодом.

Вместо этого B<? extends SS>.

И нет: эта проблема, вероятно, никогда не будет «решена» в любой будущей версии Java, поскольку она не существует при правильном использовании генериков.

об обновлении: нет, B делает не есть способ BT get(). Он имеет способ T get(), где T связан с параметром типа BT, который имеет нижнюю границу SS. Но так как вся информация о родовом типе отбрасывается при использовании необработанного типа, T будет еще возвращается к первоначальному стиранию, которое равно S.

правило довольно просто и в основном говорит: «Когда вы используете сырой тип, он действует так, как будто у класса вообще нет дженериков». Однако последствия не всегда очевидны, как в этом случае.

Answer 2

Вы не указали параметры вашего экземпляра B.

Допустим, у вас есть класс C реализующий SS:

Тогда new B<C>().get(); будет возвращать объект типа C.

На линии new B().get(); ваша IDE должна была сообщить вам «B является необработанным типом. Ссылки на общий тип B должны быть параметризованы»..