java - 扩展泛型抽象类:正确的边界

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的子类必须具有带有使用相同泛型类型的Manager的构造函数。也就是说，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泛型无法在编译时应用限制。