我可以在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
}