為什麼 Java 泛型中的「super」關鍵字僅限於通配符而不是型別參數？

泛型與'super' 關鍵字綁定

有人可能想知道為什麼super 關鍵字只適用於通配符，而不適用於Java 泛型中的型別參數。考慮 Collection 介面中的以下範例，其中 toArray 方法不是這樣聲明的：

interface Collection<T> {
    <S super T> S[] toArray(S[] a);
}

此語法將導致非法聲明，要理解其原因，需要探索將 super 與命名一起使用的含義類型參數。

類型參數中 'super' 的限制

使用 super 綁定命名型參數 () 將無法實現預期的效果。由於 Object 是所有引用類型的最終超類，因此任何引用類型數組都可以轉換為 Object[]。這意味著即使使用假設的語法，以下程式碼仍然會編譯並在運行時導致ArrayStoreException：

List<Integer> integerList;
integerList.toArray(new String[0]);  // should be disallowed, but compiles

因此，不允許使用super 與命名類型參數，以防止無法強制執行的錯覺

泛型和陣列：複雜的關係

另一個需要考慮的方面是泛型和陣列之間的複雜交互作用。在 Java 中，陣列的處理方式與其他集合類型不同，導致在強制類型安全性方面受到限制。這解釋了為什麼泛型類型邊界無法阻止給定範例中的 ArrayStoreException。

使用'super' 進行非法邊界的範例

為了進一步說明該問題，請考慮一種假設方法聲明：

<T super Integer> void add(T number)  // hypothetical! currently illegal

使用此語法，人們可能期望它接受Integer 和Number 實例，但不接受String。然而，由於 String 是 Object 的子類，而 Object 是 Integer 的超類，因此 add(aString) 仍然有可能編譯，導致潛在的錯誤。

結論

總之，使用具有命名類型參數的 super 受到限制，以確保類型安全並防止無效假設。 Java 中的泛型和陣列具有獨特的特徵，這些特徵限制了使用 super 綁定類型參數的有效性。

以上是為什麼 Java 泛型中的「super」關鍵字僅限於通配符而不是型別參數？的詳細內容。更多資訊請關注PHP中文網其他相關文章！