Могу ли я принудительно преобразовать тип переменной в расширенном классе в подтип в Java?

Question

Имея это:

public class A{}
public class B extends A{}
public class C{
    protected A x;
}

Есть ли способ создать класс D, который расширяет C так, что тип x должен быть B во всех экземплярах D? Обратите внимание, что C - это класс, который я пишу, поэтому я мог отредактировать его специально для удовлетворения потребностей D.

Answer 1

Использовать универсальный тип

public class C<T>{
    protected T x;
}

public class D extends C<SomeConcreteType>{
     //x will be SomeConcreteType
}