Java泛型：剖析“参数化类型数组”的运行时类型错误
Java泛型中，创建参数化类型数组看似可行，实则隐藏着运行时陷阱。本文将通过代码示例，深入探讨这种类型错误的根源。
Java泛型的类型擦除机制是问题的关键。编译器在编译时会移除泛型类型信息，只保留原始类型。例如，Pair在运行时等同于Pair。 因此，虽然Pair看似正确，但pairs数组的运行时类型仍然是Pair[]，而非Pair。
以下代码演示了这种类型错误：
立即学习“Java免费学习笔记（深入）”；
private static class Pair{ public T t; public Pair(T t) { this.t = t; } } public static void main(String[] args) { Pair [] pairs = new Pair[10]; Object[] objPairs = pairs; //看似合法，但实际类型仍然是Pair[] // 这里抛出ArrayStoreException: java.lang.String，因为数组的实际类型是Pair[] // objPairs[0] = "123"; // 这里不会报错，因为类型擦除后，检查的是Pair类型 objPairs[0] = new Pair (1); // 这里抛出ClassCastException: java.lang.Integer cannot be cast to java.lang.String // Pair pair = pairs[0]; }
代码中，将Pair赋值给Object[]看似合理，但尝试向objPairs中添加String对象时，会引发ArrayStoreException异常，因为数组的底层类型仍然是Pair[]。 而添加Pair则不会报错，因为类型擦除后，只检查了Pair类型。 最后尝试将pairs[0]强制转换为Pair，由于实际存储的是Pair，则会抛出ClassCastException。
总结：Java泛型的类型擦除机制导致数组的运行时类型与编译时类型不一致，从而可能引发ArrayStoreException或ClassCastException。 因此，直接创建参数化类型的数组是不可靠的，可能导致运行时错误。 避免此类问题的最佳方法是使用集合类（如ArrayList），它们在运行时保留了泛型类型信息。
