Java泛型中，数组与类型擦除究竟会导致哪些运行时错误？

Java泛型：数组、类型擦除与运行时错误详解

本文深入探讨Java泛型中数组与类型擦除引发的运行时错误，特别是java.lang.ArrayStoreException和java.lang.ClassCastException。这些错误的根源在于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]; // 创建Pair<String>数组      Object[] objPairs = pairs; // 将泛型数组赋值给Object数组      // 以下代码会抛出ArrayStoreException，因为String不是Pair<String>的子类型     // objPairs[0] = "123";      // 以下代码不会抛出编译时错误，因为类型擦除后，Pair<Integer>和Pair<String>都被视为Pair     objPairs[0] = new Pair<>(1);      // 以下代码会抛出ClassCastException，因为实际存储的是Pair<Integer>对象     // Pair<String> 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等集合类来代替泛型数组。