java - 我可以将扩展类中的变量类型强制转换为 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
}