Java泛型中參數(shù)化類型數(shù)組為何會引發(fā)類型錯誤？

Java泛型：剖析“參數(shù)化類型數(shù)組”的運行時類型錯誤

Java泛型中，創(chuàng)建參數(shù)化類型數(shù)組看似可行，實則隱藏著運行時陷阱。本文將通過代碼示例，深入探討這種類型錯誤的根源。

Java泛型的類型擦除機制是問題的關鍵。編譯器在編譯時會移除泛型類型信息，只保留原始類型。例如，Pair在運行時等同于Pair。 因此，雖然Pair[] pairs = new Pair[10];看似正確，但pairs數(shù)組的運行時類型仍然是Pair[]，而非Pair[]。

以下代碼演示了這種類型錯誤：

立即學習“Java免費學習筆記（深入）”；

private static class Pair<T> {     public T t;      public Pair(T t) {         this.t = t;     } }  public static void main(String[] args) {     Pair<String>[] pairs = new Pair[10];      Object[] objPairs = pairs; //看似合法，但實際類型仍然是Pair[]      // 這里拋出ArrayStoreException: java.lang.String，因為數(shù)組的實際類型是Pair[]     // objPairs[0] = "123";      // 這里不會報錯，因為類型擦除后，檢查的是Pair類型     objPairs[0] = new Pair<Integer>(1);      // 這里拋出ClassCastException: java.lang.Integer cannot be cast to java.lang.String     // Pair<String> pair = pairs[0]; }

代碼中，將Pair[]賦值給Object[]看似合理，但嘗試向objPairs中添加String對象時，會引發(fā)ArrayStoreException異常，因為數(shù)組的底層類型仍然是Pair[]。 而添加Pair則不會報錯，因為類型擦除后，只檢查了Pair類型。 最后嘗試將pairs[0]強制轉(zhuǎn)換為Pair，由于實際存儲的是Pair，則會拋出ClassCastException。

總結(jié)：Java泛型的類型擦除機制導致數(shù)組的運行時類型與編譯時類型不一致，從而可能引發(fā)ArrayStoreException或ClassCastException。 因此，直接創(chuàng)建參數(shù)化類型的數(shù)組是不可靠的，可能導致運行時錯誤。 避免此類問題的最佳方法是使用集合類（如ArrayList>），它們在運行時保留了泛型類型信息。