慕碼人8056858
2022-11-30 16:51:13
我正在閱讀關于泛型的 Java 文檔,特別是關于有界類型的頁面,我迷路了。這是我的代碼的一個簡單版本,對于上下文,我通常想要一個可比較的鍵,一個帶有 an Integer,另一個抽象類帶有Date,這里只是基本抽象類和整數實現:抽象類:public abstract class A<K extends Comparable<K>, V> extends TreeMap<K, V>整數抽象類:public abstract class B<K extends Integer, V> extends A<K,V>我得到的錯誤是在 part 的第二個類的類型引用中extends A<K,V>。具體來說,我的 IDE 是 K 的基礎并說Type parameter 'K' is not within its bound; should implement 'java.lang.Comparable<K>'我對此感到困惑,因為在的定義中Integer,它實現了一個Comparable<Integer>,這還不足以滿足這個要求嗎?此外,當我嘗試執行以下操作時public abstract class B<K extends Integer & Comparable<K>, V> extends A<K,V>,它也不起作用。我對泛型有誤解嗎?
2 回答

慕標5832272
TA貢獻1966條經驗 獲得超4個贊
由于Integer
是最終類,因此正確的定義B
是:
public abstract class B<V> extends A<Integer,V> { }
您不需要K
類型參數。

慕森王
TA貢獻1777條經驗 獲得超3個贊
發生編譯器錯誤是因為雖然Date實現Comparable<Date>了,但子類Date可能沒有實現Comparable<SubclassOfDate>,所以編譯器會報錯。
您可以通過將A的聲明更改為使用通配符來解決此問題:
public abstract class A<K extends Comparable<? super K>, V> extends TreeMap<K, V>
但是,您可能打算這樣聲明B:
public abstract class B<V> extends A<Integer,V> {
}
Integer是final,沒有其他類可以繼承它。所以B不必在K.
至于以Dateas 為鍵的類,您可能也想這樣做:
public abstract class C<V> extends A<Date,V> {
}
但由于Date不是final,您可以創建一個通用參數K extends Date:
public abstract class C<K extends Date, V> extends A<K,V> {
}
添加回答
舉報
0/150
提交
取消