Java泛型中参数化类型数组为何会引发类型错误？

Java泛型：剖析“参数化类型数组”的运行时类型错误

Java泛型中，创建参数化类型数组看似可行，实则隐藏着运行时陷阱。本文将通过代码示例，深入探讨这种类型错误的根源。

Java泛型的类型擦除机制是问题的关键。编译器在编译时会移除泛型类型信息，只保留原始类型。例如，Pair在运行时等同于Pair。 因此，虽然Pair[] pairs = new Pair[10];看似正确，但pairs数组的运行时类型仍然是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，因为数组的实际类型是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对象时，会引发ArrayStoreException异常，因为数组的底层类型仍然是Pair[]。 而添加Pair则不会报错，因为类型擦除后，只检查了Pair类型。 最后尝试将pairs[0]强制转换为Pair，由于实际存储的是Pair，则会抛出ClassCastException。

总结：Java泛型的类型擦除机制导致数组的运行时类型与编译时类型不一致，从而可能引发ArrayStoreException或ClassCastException。 因此，直接创建参数化类型的数组是不可靠的，可能导致运行时错误。 避免此类问题的最佳方法是使用集合类（如ArrayList>），它们在运行时保留了泛型类型信息。