我什麼時候應該在 Java 泛型中使用 `` 和 `` ？

泛型和 的使用與

在Java 中，泛型允許在更廣泛的類型上進行類型安全操作。然而，當在和之間進行選擇時，就會出現問題。 在某些情況下，例如下面介紹的情況：

Map<String, Class<? extends Serializable>> expected = null;
Map<String, Class<java.util.Date>> result = null;
assertThat(result, is(expected)); 

由於傳遞給assertThat方法的參數類型不正確，該方法需要一個Matcher，因此該程式碼無法編譯。延伸T>而不是 Matcher。為了理解為什麼會發生這種情況，我們需要深入研究泛型類型中協變的概念。

協變表示子類型可以安全地分配給超類型。換句話說，一個 Class物件可以分配給一個 Class目的。然而，反之則不然： Class物件不能指派給Class object.

這是因為協變只適用於型別參數本身，而不適用於它包含的型別參數。在我們的範例中，java.util.Date 是Serialized 的子類型，但Class不一定是Class 的子類型extends Date>.

將assertThat方法的簽名更改為Matcher透過允許匹配器與實際類型的任何子類型相符來解決此問題。這為程式碼片段中的情況提供了必要的靈活性。

但是，需要注意的是，使用 有潛在的缺點。在此背景下。例如，在某些情況下，它可能會導致意外行為或降低類型安全性。因此，應該明智地使用它並仔細考慮。

關於assertThat方法的通用性，它允許進行類型檢查以確保所使用的匹配器與結果類型相容。雖然這並不能完全消除運行時錯誤的可能性，但它透過防止不相容的匹配增加了安全等級。

以上是我什麼時候應該在 Java 泛型中使用 `` 和 `` ？的詳細內容。更多資訊請關注PHP中文網其他相關文章！