我可以在Java中將擴展類中的可變類型強制為子類型嗎？

Question

有這個：

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

有什么方法可以創建擴展C的類D，以便在所有D實例中x的類型都必須為B ？ 請注意，C是我正在編寫的類，因此我可以有目的地對其進行編輯以滿足D的需要。

Answer 1

使用通用類型

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

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