为什么Java不支持泛型数组初始化？现有相关解释无法解决我的疑惑

你遇到的矛盾本质是两种完全不同的场景 #

你写的测试代码能运行成功，和「Java不允许创建泛型数组」的限制没有任何关系：

• 你的测试里getStrArr只是透传你外部手动创建的String[]对象，类型擦除只会把方法签名改成public Object[] getStrArr(Object[] arr)，但返回的对象本身运行时类型就是String[]，从Object[]强转回真实类型当然不会报错。
• 「泛型数组转型失败」的场景，指的是在泛型代码内部直接创建擦除后的Object[]，再强转为T[]返回的情况，这种情况数组本身的运行时类型就是Object[]，和目标类型不匹配，自然会抛转型错误。

为什么Java禁止new T[10]这类泛型数组创建语法 #

1. 数组的协变特性会破坏泛型的类型安全约定

Java数组是协变的：String[]是Object[]的子类，但泛型不支持协变：List<String>和List<Object>没有继承关系。如果放开泛型数组的创建限制，会直接出现编译期拦不住的类型安全漏洞：

// 假设下面这行语法合法
T[] arr = new T[10];
// 类型擦除后实际生成的代码为 Object[] arr = new Object[10];

// 利用数组协变可以直接把arr赋值给Object[]
Object[] objArr = arr;
// 往Object数组里塞Integer完全符合编译规则
objArr[0] = 123;

// 当你按泛型类型取用元素时，才会抛出ClassCastException，而且错误位置和问题发生位置差很远，极难排查
String str = arr[0];

2. 数组的运行时类型要求无法满足

数组是「具体化类型」，运行时会保留组件的类型信息，创建数组时必须明确指定组件类型。泛型经过类型擦除后，运行时T的实际类型已经被替换为上限类型（无上限时就是Object），JVM根本不知道你要创建的是String[]还是Integer[]，只能生成Object[]，这和你期望的T[]语义完全不符。

如果编译器真的默认给你生成Object[]当泛型数组，就会出现下面的必现错误：

public class Test<T> {
    // 假设允许new T[5]，擦除后等价于 return (T[]) new Object[5];
    public T[] createArr() {
        return (T[]) new Object[5];
    }

    public static void main(String[] args) {
        Test<String> test = new Test<>();
        // 这里直接抛出ClassCastException，因为返回的Object[]本身运行时类型就是Object[]，无法转为String[]
        String[] arr = test.createArr();
    }
}

Java为了尽可能把类型问题拦截在编译期，避免运行时出现难以定位的类型转换错误，直接从语法层面禁止了泛型数组的创建操作。

内容的提问来源于stack exchange，提问作者HKIT