Java抽象類使用泛型實現接口

Question

我想要定義一個實現Comparable的抽象類。當我定義，定義如下類：

public abstract class MyClass implements Comparable <MyClass> 

子類必須實現compareTo(MyClass object)。相反，我希望每個子類都實現compareTo(SubClass object)，接受它自己類型的對象。當我嘗試用類似的方式定義抽象類時：

public abstract class MyClass implements Comparable <? extends MyClass> 

它抱怨說「超類型不能指定任何通配符」。

有沒有解決方案？

Answer 1

這在我看來有點太冗長，但工作原理：

public abstract class MyClass<T extends MyClass<T>> implements Comparable<T> { 

} 

public class SubClass extends MyClass<SubClass> { 

    @Override 
    public int compareTo(SubClass o) { 
     // TODO Auto-generated method stub 
     return 0; 
    } 

} 

Answer 2

我不知道你需要捕獲：

首先，添加的compareTo抽象類...

public abstract class MyClass implements Comparable <MyClass> { 

@Override 
public int compareTo(MyClass c) { 
... 
}  
} 

然後添加實現...

public class MyClass1 extends MyClass { 
... 
} 

public class MyClass2 extends MyClass { 
... 
} 

呼叫比較會調用超類方法......

MyClass1 c1 = new MyClass1(); 
MyClass2 c2 = new MyClass2(); 

c1.compareTo(c2); 

Answer 3

除了你遇到聲明簽名機械的困難，我們的目標沒有太大的意義。你正試圖建立一個協變比較函數，這個函數打破了建立派生類可以定製的接口的想法。

如果你定義一些子類​​使得它的情況下，只能相對於其他​​實例，則如何​​滿足MyClass定義的合同嗎？回想一下MyClass是說它和它的任何類型可以與其他MyClass實例進行比較。您正試圖使​​不正確，這意味着​​不符合MyClass的合同：由於​​的要求更嚴格，因此您不能用​​替代MyClass。

這個問題主要集中在協方差和反變量上，以及它們如何通過類型派生來改變函數簽名。您可以放寬對參數類型的要求 - 接受比超類型的簽名要求更寬的類型 - 您可以加強對返回類型的要求 - 承諾返回比超類型簽名更窄的類型。這些自由中的每一個仍然允許超類型的派生類型的完美替換;當通過超類型的接口使用派生類型時，調用者無法區分差異，但具體使用派生類型的調用者可以利用這些自由。

Willi's answer教導一些關於泛型聲明的內容，但我希望你在接受技術之前重新考慮你的目標，而不要犧牲語義。

Answer 4

看到Java的自己的例子：在SEH的評論

public abstract class Enum<E extends Enum<E>> implements Comparable<E> 
    public final int compareTo(E o) 

：通常的說法是正確的。但泛型使得類型關係更加複雜。子類可以不是MyClass在威利的溶液亞型....

SubClassA是MyClass<SubClassA>一個亞型，但不是MyClass<SubClassB>

類型MyClass<X>的子類型定義了一個合同compareTo(X)其中所有其亞型的絕榮譽。那裏沒有問題。

Answer 5

public abstract class MyClass<T> implements Comparable<T> { 

} 

public class SubClass extends MyClass<SubClass> { 

    @Override 
    public int compareTo(SubClass o) { 
     // TODO Auto-generated method stub 
     return 0; 
    } 

} 

Answer 6

我知道你說你想「的compareTo（子類對象），接受自己的類型的對象」，但我還是建議聲明抽象類是這樣的：

public abstract class MyClass implements Comparable <Object> 

，做一個instanceof檢查在MySubClass覆蓋的compareTo時：

@Override 
public int compareTo(Object o) { 
    if (o instanceof MySubClass)) { 
     ... 
    } 
    else throw new IllegalArgumentException(...) 
} 

類似 '等於' 或 '克隆'

Answer 7

發現了另一個解決方案：

1. 定義在其上構成comaprable（例如ComparableFoo）的字段的接口
2. 實現父類的接口
3. 實現對父類具有可比性。
4. 編寫您的實施。

解決方案應該是這樣的：

public abstract class MyClass implements ComparableFoo,Comparable<ComparableFoo> { 
    public int compareTo(ComparableFoo o) { 
    // your implementation 
    } 
} 

這種解決方案意味着更多的東西有可能實現的ComparableFoo - 這很可能並非如此，但那麼你的編碼到一個接口和仿製藥的表達很簡單。