java泛型：数组、类型擦除与运行时错误详解
本文深入探讨Java泛型中数组与类型擦除引发的运行时错误，特别是java.lang.ArrayStoreException和java.lang.ClassCastException。这些错误的根源在于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]; // 创建Pair 数组 Object[] objPairs = pairs; // 将泛型数组赋值给Object数组 // 以下代码会抛出ArrayStoreException，因为String不是Pair 的子类型 // objPairs[0] = "123"; // 以下代码不会抛出编译时错误，因为类型擦除后，Pair 和Pair 都被视为Pair objPairs[0] = new Pair<>(1); // 以下代码会抛出ClassCastException，因为实际存储的是Pair 对象 // Pair pair = pairs[0]; }
这段代码中，我们定义了一个泛型类Pair。创建Pair数组后，将其赋值给Object数组。虽然编译器允许此操作，但它掩盖了一个潜在问题：objPairs虽然声明为Object数组，但底层仍然指向Pair数组。
立即学习“Java免费学习笔记（深入）”；
尝试将String对象赋值给objPairs[0]会抛出ArrayStoreException，因为String不是Pair的子类型。然而，将Pair对象赋值给objPairs[0]不会报错，这是因为类型擦除机制使得Pair和Pair在运行时都被视为Pair类型，从而绕过了编译时的类型检查。但随后尝试将pairs[0]强制转换为Pair则会抛出ClassCastException，因为实际存储的是Pair对象。
因此，Java泛型中数组与类型擦除导致的“类型错误”，指的是运行时异常ArrayStoreException或ClassCastException。 这强调了不能直接创建参数化类型的数组，因为运行时泛型类型信息已丢失。 正确的做法是使用List等集合类来代替泛型数组。
