Java无法直接创建泛型数组，根本原因是类型擦除导致运行时无法获取T的实际类型，而数组需在运行时检查组件类型以保证安全，二者语义冲突。
Java 中无法直接创建泛型数组，根本原因在于 类型擦除（Type Erasure） —— 编译器在编译期会把泛型类型参数（如 T）全部替换为它的上界（通常是 Object），运行时 JVM 完全不知道泛型的实际类型信息。而数组是协变的（covariant）且在运行时保留组件类型（runtime component type），需要能检查元素是否符合该类型。这两者冲突，导致直接写 new T[10] 在编译期就被禁止。
为什么数组要求运行时知道组件类型
Java 数组在创建时就绑定具体组件类型（如 String[]、Integer[]），JVM 会在运行时对每次赋值做类型检查。例如：
String[] strs = new String[1]; strs[0] = "hello"; // OK strs[0] = new Integer(1); // ArrayStoreException！
这个检查依赖数组对象内部记录的组件类型（可通过 strs.getClass().getComponentType() 获取）。如果允许 new T[10]，运行时 T 已被擦除为 Object，JVM 就无法判断该数组究竟该接受哪些类型，失去类型安全保证。
为什么泛型和数组的语义本质冲突
- 泛型是**编译期机制**：只用于静态检查，不生成新类型，运行时无痕迹；
- 数组是**运行时实体**：有明确的组件类型，支持协变（
String[]是Object[]的子类型），并执行动态类型检查； - 若允许
T[] arr = new T[5]，就等于要求 JVM 在运行时“凭空知道 T 是什么”，但擦除后它只剩Object—— 这会让数组的运行时类型检查失效或产生矛盾。
实际开发中怎么绕过这个限制
不是“真正创建泛型数组”，而是用类型安全的方式模拟：
-
用 Object[] + 强制转型（需谨慎）：
@SuppressWarnings("unchecked") T[] arr = (T[]) new Object[10];—— 转型本身不报错，但后续若误存非 T 类型，会在取出时才抛ClassCastException（延迟失败）； -
用 ArrayList
替代 ：推荐首选，类型安全、无需手动管理容量，底层用Object[]但封装了类型约束； -
传入 Class 对象构造数组：如
public <T> T[] createArray(Class<T> clazz, int size) { return (T[]) Array.newInstance(clazz, size); }—— 利用反射绕过编译检查，运行时可获知真实类型，适合工具类场景。
小结：这不是语法缺陷，而是设计取舍
Java 选择擦除式泛型是为了向后兼容（1.5 以前无泛型），牺牲了运行时泛型信息，换来 class 文件格式稳定和泛型类/方法的二进制兼容性。数组的运行时类型检查机制与之不兼容，因此编译器主动禁止 new T[...]。理解这点，就能明白为何替代方案都围绕“用已知运行时类型重建约束”展开，而不是强行突破 JVM 限制。
