型安與通配符泛型：了解禁止修飾符

在Java 使用泛型集合時，通配符泛型的概念可以引入某些最初看起來可能違反直覺的限制。一個典型的例子是無法在具有通配符泛型類型的 Java 集合中新增值。

考慮以下程式碼片段：

List extends Parent> list = ...;
Parent p = factory.get(); // returns concrete implementation
list.set(0, p); // fails here: set(int, ? extends Parent) cannot be applied to (int, Parent)

為什麼此程式碼無法編譯？答案在於通配符泛型強制執行的固有安全機制。

無限制檢索和限制添加原則

通配符泛型類型，以 ? 表示擴展 Parent，表示屬於 Parent 介面後代的元素列表。雖然它允許不受限制地檢索這些元素，但類型安全性規定了向集合添加值的限制。

如果允許編譯程式碼，它將允許將 Parent 實例指派給清單中的元素。但是，此操作可能會破壞類型安全性。

考慮以下情況：

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

List extends Parent> parentList = childList;
parentList.set(0, new Parent());

Child child = childList.get(0); // No! It's not a child! Type safety is broken...

在這種情況下，Child 物件清單被轉換為 ? 清單擴展父級。隨後將 Parent 實例指派給清單的第一個元素違反了型別安全，因為結果清單包含不是有效 Child 實例的元素。

確保不可變型別安全

透過禁止向通配符泛型集合添加值，Java 強制執行不可變型別安全。這可確保清單的元素始終遵守其聲明類型所施加的約束。

如果沒有此限制，類型安全性將受到損害，從而導致潛在的錯誤和意外行為。