為什麼我無法在 Java 中建立通用數組？

探索泛型與陣列連結性：了解泛型陣列所建立的限制

泛型和陣列，看似不同的概念，卻有著某種神秘的關係在Java程式設計中。雖然泛型類型提供了一定程度的類型安全性，但數組擁有固有的類型信息，從而導致潛在的衝突。理解這種交互作用對於有效的 Java 編碼至關重要。

泛型和陣列：相容的一對？

泛型型別聲明，例如 private E[] 元素;，是允許的。但是，嘗試建立具有泛型類型的陣列物件（如 elements = new E[10]; 所示）將導致編譯錯誤。

為什麼有限制？

這個限制源自於泛型和陣列之間的根本差異。泛型被具體化，在運行時保留類型資訊。相反，數組帶有運行時組件類型資訊。這種差異會導致潛在的類型安全問題。

陣列建立的微妙之處

值得注意的是，程式碼elements = (E[]) new Object[10];可以編譯，但在執行時面臨風險。由於類型擦除，創建的數組並不是真正的 E[] 類型，增加了運行時錯誤的可能性。

數組協方差的情況

數組，與泛型，表現出協方差。這意味著子類型的陣列可以分配給超類型的變數。但是，這不適用於泛型，泛型是禁止進行此類賦值的。

避免建立泛型陣列

為了遵守 Java 的型別安全原則，禁止建立泛型陣列。然而，一種替代方法是使用Array#newInstance() 方法建立給定元件類型的數組，如下面的程式碼片段所示：

public <e> E[] getArray(Class<e> clazz, int size) {
    @SuppressWarnings("unchecked")
    E[] arr = (E[]) Array.newInstance(clazz, size);

    return arr;
}</e></e>

透過利用此方法，可以有效地建立具有特定組件類型的數組，而不影響類型安全。

以上是為什麼我無法在 Java 中建立通用數組？的詳細內容。更多資訊請關注PHP中文網其他相關文章！