為什麼我不能將'父”實例新增到'列表”中

通配符泛型類型併發症

Java 通配符泛型提供了一種表示類型的方法，而無需提交特定的具體類型。雖然這種靈活性非常強大，但它也可能導致意外行為。

考慮以下範例，其中定義了Parent 介面的未知子類型的Java 清單：

List<? extends Parent> list = ...;

然而，Java 的類型系統不允許將Parent 實例新增至此清單：

Parent p = factory.get();   // returns concrete implementation
list.set(0, p);   // compilation error

這種明顯的矛盾源自於型別安全的概念。允許將父實例新增至清單中會損害通配符泛型類型的完整性。原因如下：

想像一下如果允許添加此內容。假設我們有一個 Child 實例列表，它們是 Parent 的具體子類型：

List<Child> childList = new ArrayList<Child>();
childList.add(new Child());

如果我們使用通配符泛型類型將此 childList分配給我們的列表，那麼我們似乎有一個列表父實例的數量：

List<? extends Parent> parentList = childList;

但是，我們可以向此添加一個父實例ParentList:

parentList.set(0, new Parent());

這將導致災難性的類型安全違規。稍後從 childList 中檢索索引 0 處的項目時，我們期望它是一個 Child 實例，但它實際上是一個 Parent 實例，從而導致意外行為。

為了防止這種類型安全違規， Java 強制規定您只能將通配符泛型類型本身的實例新增到清單中，即使您可以檢索其超類型的實例也是如此。此限制可確保類型參數的完整性並防止潛在的錯誤。

以上是為什麼我不能將'父”實例新增到'列表”中的詳細內容。更多資訊請關注PHP中文網其他相關文章！