java - 扩展通用抽象类 : Correct Bounding

Question

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>是可能的。还有比这更好的方法吗？

Answer 1

您必须制作 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 泛型无法在编译时应用限制。