public class GenericTest {
public static void main(String[] args) {
Manager<SlotA> mA = new Manager<SlotA>();
}
}
class Manager<SlotClass extends Slot> {
}
abstract class Slot {
public Slot(Manager<? extends Slot> m) {
}
}
class SlotA extends Slot {
public SlotA(Manager<SlotB> m) { //a constructor with Manager<SlotA> is not required!
super(m);
}
}
class SlotB extends Slot {
public SlotB(Manager<SlotA> m) { //a constructor with Manager<SlotB> is not required!
super(m);
}
}
以上是模拟我试图克服的问题的代码。我的目标是强制执行 Slot
的子类必须具有使用相同泛型类型的管理器的构造函数。也就是说,SlotC
必须有一个构造函数 SlotC(Manager<SlotC> m)
.如上所示,SlotA
和 SlotB
不需要 SlotA(Manager<SlotA>)
和 SlotB(Manager<SlotB>)
分别。
我知道抽象的构造函数Slot
不符合这个要求。我怎样才能编辑上面的代码来实现这一点?
编辑:
我知道我可以添加一个通用参数 T
至 Slot
并使构造函数Slot<T>(Manager<T>)
但这意味着需要 SlotA<SlotA>
那SlotA<SlotB>
是可能的。还有比这更好的方法吗?
最佳答案
您必须制作 Slot
泛型类,使用自引用类型参数:
abstract class Slot<T extends Slot<T>> {
public Slot(Manager<T> m) {
}
}
class SlotA extends Slot<SlotA> {
public SlotA(Manager<SlotA> m) { //a constructor with Manager<SlotA> is not required!
super(m);
}
}
class SlotB extends Slot<SlotB> {
public SlotB(Manager<SlotB> m) { //a constructor with Manager<SlotB> is not required!
super(m);
}
}
现在您的 SlotA
构造函数只能有一个 Manager<SlotA>
.
但是,这并不限制某人创建如下类:
class SlotC extends Slot<SlotA> { }
而且您无法避免这种情况。这是一个这样的领域,Java 泛型无法在编译时应用限制。
关于java - 扩展通用抽象类 : Correct Bounding,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28682707/