Java 泛型與協變：了解限制
泛型中的協變是指子類型在不違反規則的情況下替換其超類型的能力類型安全。然而，在 Java 中，泛型不是協變的，這意味著子類型不能指派給超類型變數。
為了說明這個概念，請考慮以下程式碼片段：
List<Integer> li = new ArrayList<Integer>(); List<Number> ln = li; // illegal ln.add(new Float(3.1415));
這裡，ln 是別名為 li，這表示 ln 引用與 li 相同的列表。然而，ln 被宣告為 List
如果允許協變，上面的程式碼將是合法的，但它會違反型別安全。透過分配列表
因此，為了維護型別安全，Java 泛型不是協變的。此限制可確保子類型無法在泛型上下文中與超類型互換使用，從而防止潛在的類型錯誤。
以上是為什麼 Java 泛型不是協變的？的詳細內容。更多資訊請關注PHP中文網其他相關文章！
