為什麼我們不能在 Java 泛型中使用帶有命名類型參數的「Super」關鍵字？

使用逆變「Super」關鍵字限制泛型

在Java 泛型中，「super」關鍵字在建立子類型方面起著至關重要的作用類型參數。但是，它只能與通配符一起使用，而不能與命名類型參數一起使用。這提出了一個常見問題：為什麼？

為什麼不使用型別參數？

'super' 不能與型別參數一起使用的原因是這樣的限制將是無法有效防止意外行為。 Object 是所有引用類型的終極超類，在實踐中會使任何假設的「超級」界限變得毫無意義。

例如，考慮 Collection 介面中的以下假設方法：

<code class="java"><S super T> S[] toArray(S[] a);</code>

嘗試宣告這樣的方法將在編譯時失敗。即使允許，也達不到預期的目的。由於所有引用類型數組都是物件數組，因此任何數組類型都可以用作參數，從而使“超級”綁定無效。

數組的後果

泛型和數組具有複雜的關係，命名類型參數缺乏「超級」界限反映了這一點。雖然將參數數組限制為僅具有參數化類型超類的參數數組似乎是可取的，但這對於數組來說是不可能的。

例如，「List」理論上，應該只接受 Integer[]、Number[] 或 Object[] 作為 'toArray' 的參數。但是，由於數組協變性，所有引用類型數組也是物件數組。因此，不是“Integer[]”子類別的“String[]”仍然可以傳遞給“toArray”，可能會在執行時導致“ArrayStoreException”。

結論

最終，「super」關鍵字從 Java 泛型中的命名類型參數中排除是由於泛型上下文中數組的固有限制。透過禁止此類界限，Java 可以防止開發人員建立潛在的誤導性約束，最終無法提供所需的安全性保證。

以上是為什麼我們不能在 Java 泛型中使用帶有命名類型參數的「Super」關鍵字？的詳細內容。更多資訊請關注PHP中文網其他相關文章！