為什麼Java中不能直接建立泛型陣列？

泛型和陣列如何互動

雖然您可以使用泛型類型（E[] 元素）建立陣列引用，但可以使用泛型類型（E[ ] 元素）建立數組物件elements = new E[10]) 被禁止。這是由於泛型和陣列處理類型強制的方式存在根本差異。

陣列和協變

與泛型不同，陣列是協變的。這意味著可以將超類型數組（例如，Object[]）指派給子類型數組（例如，String[]）。泛型的情況並非如此，泛型強制保持不變性（例如，List

類型強制

泛型在編譯時強制執行更強的類型檢查，防止運行時異常並保持類型安全。然而，陣列攜帶運行時類型訊息，如果插入不相容類型的元素，則會導致潛在的 ArrayStoreExceptions。

通用陣列建立問題

使用通用元件類型建立陣列（例如, T[]) 是不安全的，因為類型在運行時未知。這可能會導致類型轉換錯誤或 ArrayStoreExceptions，因為建立的陣列實際上可能是偽裝的 Object[]。

為什麼類型轉換有效

您可能想知道為什麼 elements = (E[]) new Object[10] 似乎可以工作。這是由於未經檢查的類型轉換造成的，它會抑制編譯時警告，但仍然存在運行時異常的風險。在這種情況下，如果陣列元素與泛型類型相容，則轉換可能會成功，但可能不會總是有效。

E[]

建立泛型陣列的解決方法類型而不依賴於未經檢查的轉換，請使用 Array#newInstance()方法：

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

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

通配符參數化類型

建立通配符參數化類型的陣列（例如，List>[]）是允許的，因為通配符是在運行時保留其參數化的可具體化類型。例如，List>[] 相當於 List[].

以上是為什麼Java中不能直接建立泛型陣列？的詳細內容。更多資訊請關注PHP中文網其他相關文章！