java不允许直接创建泛型数组，根本原因是类型擦除导致运行时无法获取t的实际类型，而数组需在运行时检查组件类型以保证安全，二者语义冲突。

Java 不允许直接创建泛型数组，这是语言规范中一条明确且不可绕过的限制。根本原因在于泛型的实现机制——类型擦除。编译后所有泛型信息都被抹去，JVM 看不到 的真实类型，也就无法在运行时验证数组元素是否符合泛型约束，从而可能破坏类型安全性。

为什么不能写 new T[10]？

这种写法在编译期就会报错：「Generic array creation」。因为 T 在运行时已不存在，JVM 无法确定该分配哪种具体类型的数组对象。比如 new ArrayList[5] 是合法的（String 是具体类型），但 new ArrayList[5] 或 new T[5] 都非法。

常见的替代方案

实际开发中，有几种被广泛接受的处理方式：

Java Maven Code Review

审查Java Maven项目（ZIP压缩包或GitLab仓库URL），检查代码规范、命名、模块边界、可维护性问题以及重复代码。

下载

• 用 Object[] 作为底层存储，配合强制类型转换（需确保逻辑上安全）：private Object[] elements = new Object[capacity];
• 通过反射获取运行时类型（仅适用于泛型类构造时已知类型参数的场景）：Array.newInstance(componentType, size)
• 使用集合类替代，如 ArrayList —— 它内部已妥善封装了上述细节，对外提供类型安全接口

类型擦除带来的连锁影响

由于泛型只在编译期起作用，以下情况需特别注意：

• 无法用 instanceof 判断泛型类型，如 if (obj instanceof List) 编译不通过
• 静态上下文中不能引用类型参数（static 字段/方法里不能出现 T）
• 泛型数组的协变性不存在，List[] 和 List 之间没有继承关系

如何安全地实现泛型容器的 get/add 操作

以泛型动态数组为例，关键在于把类型检查前移到编译期，运行时只做可信转换：

• add(T item)：参数 T 已由编译器校验，存入 Object[] 安全
• T get(int i)：返回前执行 (T) elements[i]，只要 add 过程没被绕过（如反射或非泛型代码混用），该转换就是可靠的
• 避免暴露底层 Object[] 给外部，防止类型污染

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南