為什麼 Java 陣列是協變的，而泛型是不變的？

數組的協變性與泛型的不變性

Java 中的數組和泛型表現出不同的協變性行為，引發不同的協變性行為，引發人們對其設計決策的疑問。雖然陣列是協變的，但泛型是不變的，這意味著子類型關係不適用於它們的類型參數。

陣列的協變

在 Java 中，陣列是協變的。如果 X 是 Y 的子類型，則 X[] 也會是 Y[] 的子類型。這種協方差允許對不同類型的陣列進行多態操作。例如，採用 Object[] 的方法可以毫無問題地接受 String[]。

數組中的這種協變行為源自於其基本性質。在陣列中儲存特定類型的值不會變更陣列本身的內在類型。因此，陣列可以保存不同子類型的元素。

泛型的不變性

與陣列不同，Java 中的泛型是不變的。列表不是 List 的子類型；即使 X 是 Y 的子類型。這種不變性源自於泛型提供的型別安全保證。

如果泛型是協變的，則將類型 Y 的元素加入 List 中就可以了。即使 X 和 Y 不相容，也是可能的。這可能會損害清單的完整性並導致運行時錯誤。

數組協變和泛型不變的原因

使數組協變的決定是由需要多態性數組操作。如果沒有協變性，有用的程式將僅限於對特定的、不可變類型的陣列進行操作。

相反，泛型的不變性透過確保對泛型類型的操作尊重指定的類型參數來保障類型安全。這可以防止意外分配不相容的類型，從而保持通用代碼的可靠性和可預測性。

以上是為什麼 Java 陣列是協變的，而泛型是不變的？的詳細內容。更多資訊請關注PHP中文網其他相關文章！