泛型数组为何报错

在 Java 里，“泛型数组报错”是一个非常经典的问题，核心原因是：Java 不允许直接创建泛型数组。

下面从「为什么会报错」「典型错误示例」「为什么这样设计」「正确写法」几个方面说明。

一、典型报错示例

List<String>[] lists = new List<String>[10]; // ❌ 编译错误

或

T[] arr = new T[10]; // ❌ 编译错误

错误信息通常是：

Generic array creation is not allowed

二、根本原因：类型擦除（Type Erasure）

Java 的泛型是 编译期机制，在运行期会被擦除：

List<String>  → List
List<Integer> → List

如果允许创建泛型数组：

List<String>[] arr = new List<String>[10];

在运行时，JVM 只能看到：

List[] arr = new List[10];

这会导致 类型安全彻底失效。

三、为什么数组和泛型“天生冲突”

1️⃣ 数组是 协变 + 运行时检查

Object[] objs = new String[10]; // ✅
objs[0] = 123;                 // ❌ 运行时抛 ArrayStoreException

数组在 运行时 知道自己的元素类型。

2️⃣ 泛型是 不变 + 编译期检查

List<Object> list = new ArrayList<String>(); // ❌

泛型只在 编译期 存在，运行期已经没有 <String> 信息了。

❗ 冲突点

如果允许泛型数组：

List<String>[] arr = new List<String>[10];
Object[] objArr = arr;
objArr[0] = new ArrayList<Integer>(); // 编译通过，运行时无法检查

类型系统直接崩了。

所以 Java 干脆禁止创建泛型数组。

四、哪些情况“看起来像泛型数组”是允许的？

✅ 1. 声明泛型数组变量（不创建）

List<String>[] lists; // ✅

但不能 new。

✅ 2. 使用通配符（仍然不能 new）

List<?>[] lists = new List<?>[10]; // ✅

但意义有限，使用起来很受限。

✅ 3. 通过反射（不推荐）

T[] arr = (T[]) new Object[10];

⚠️ 会伴随 unchecked cast 警告。

五、正确替代方案（推荐）

✅ 方案一：用 ArrayList 替代数组（最推荐）

List<List<String>> lists = new ArrayList<>();

✅ 类型安全
✅ 符合 Java 泛型设计理念

✅ 方案二：用 Object[] + 强转（不推荐）

T[] arr = (T[]) new Object[10];

⚠️ 只能在你非常清楚自己在做什么时使用。

✅ 方案三：用 Array.newInstance（少见）

T[] arr = (T[]) Array.newInstance(String.class, 10);

一般只在底层框架中使用。

六、一句话总结

Java 不允许创建泛型数组，是因为数组是运行时类型检查，而泛型在运行期已被擦除，两者无法安全共存。

如果你愿意，可以把你具体的报错代码贴出来，我可以帮你改成最合理的写法。