IDEA提示'Type parameter 'T' cannot be instantiated directly'，如何正确声明泛型数组？

• Java泛型基于类型擦除机制实现：编译期会清除所有泛型类型参数信息，T默认会被替换为Object（若声明了泛型上界则替换为上界类型），运行时不存在泛型的具体类型信息。
• 数组属于运行时具体化类型，初始化时必须明确知道元素的实际类型才能完成内存分配，直接编写new T[length]时，运行时无法获取T的实际类型，因此Java语法禁止直接实例化泛型类型参数对应的数组。

方案1：Object数组强转（Java标准库常用实现，代码简单） #

该方案是java.util.ArrayList等泛型容器的底层实现逻辑，仅需要对创建的Object数组做强制类型转换即可，修改后的代码如下：

package linear_list;

public class SeqList<T> {
    protected int n;
    protected T[] element;
    private static final int MIN_CAPACITY=16;

    // 增加注解消除unchecked强制转换警告
    @SuppressWarnings("unchecked")
    public SeqList(int length){
        if (length<MIN_CAPACITY)
            length=MIN_CAPACITY;
        // 先创建Object数组，再强转为T[]类型
        this.element = (T[]) new Object[length];
        this.n=0;
    }
}

注意：只要你在类的所有方法中，仅允许T类型的元素存入element数组，运行时不会出现类型转换异常，该方案是工业界最常用的实现方式。

方案2：反射创建数组（类型更安全，无强制转换警告） #

如果需要避免强制转换警告，且保证数组运行时的类型严格匹配T的实际类型，可以通过反射传入T的Class对象来创建数组，修改后的代码如下：

package linear_list;

import java.lang.reflect.Array;

public class SeqList<T> {
    protected int n;
    protected T[] element;
    private static final int MIN_CAPACITY=16;

    public SeqList(Class<T> clazz, int length){
        if (length<MIN_CAPACITY)
            length=MIN_CAPACITY;
        // 反射根据实际类型创建对应数组
        this.element = (T[]) Array.newInstance(clazz, length);
        this.n=0;
    }
}

调用该类时需要传入对应类型的Class对象，示例：

// 创建元素类型为String的SeqList
SeqList<String> strList = new SeqList<>(String.class, 32);

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