擴展通用抽象類：正確綁定

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泛型在編譯時未能應用限制。