我如何在語法上正確地實現具有類型的接口<K extends Comparable<K> ,V&gt;?

Question

K 和 V 保證是字符串或整數。 我已經多次使用泛型，但從來沒有<K extends Comparable<K>, V> ，所以我現在很掙扎。

Answer 1

當你實現一個泛型接口時，你應該總是指定類型參數。 您可以不指定它們，但是您使用的是原始類型， 而您不應該使用原始類型。

當你指定它們，你還需要一個有效的方式來指定。

由於兩個原因，第一個選項是錯誤的：

• 當您指定類型參數時，您永遠不會重寫該參數的邊界，因此編寫K extends Comparable<K>是錯誤的
• K和V沒有在任何地方定義。

第二個選項是錯誤的，因為您重寫了K的邊界。 在第一選擇此選項不同K和V在這里被定義- K和V是類型參數Son 。

第三個選項編譯，但它使用原始類型，這首先違背了使用泛型的目的。

理想情況下，您會編寫如下內容：

class Son<K extends Comparable<K>, V> implements Father<K, V> {

}

請注意我沒有重寫邊界，並將K和V定義為Son的類型參數。

或者，指定一個具體類型：

class Son implements Father<String, Integer> {

}