Java 为什么不支持创建泛型化数组

没事的时候在书中翻了下泛型相关的知识,注意到一个比较有意思的问题:Java 不能创建泛型化数组。比如像下面这样就是不允许的:

// 创建一个泛型类
public class Generic<T> {
}

// 测试类
public class Test {
    public static void main(String[] args) {
        // 创建一个泛型化数组:error
        Generic<Integer>[] generics = new Generic<Integer>[10];
    }
}

为什么不能创建泛型化数组呢?下面就来简单的分析一下这个问题。

我们知道 Java 中的泛型只有在编译阶段存在,在代码运行的时候是没有泛型的,这也被称为泛型擦除。下面是一段可以证明泛型擦除的代码:

    public static void main(String[] args) throws Exception {
        List<String> list = new ArrayList<>();
        list.add("abc");
        
        Class<? extends List> listClass = list.getClass();
        Method addMethod = listClass.getMethod("add", Object.class);

        // 在 String 类型的集合中添加一个 int 类型的数据
        addMethod.invoke(list, 10);
        // 输出:2
        System.out.println(list.size());
    }

上面的测试代码中,我们创建了一个 String 类型的集合,通过反射技术获取到集合对象的 add 方法,然后调用 invoke 执行了 add 方法,向 String 类型的集合中添加了一个 int 类型的整数,代码会正确运行且输出 2。

证明了泛型擦除现在还回到我们一开始的问题上:为什么不能创建泛型化数组?原因就是数组会记住它的元素类型,如果试图存储其他类型的元素,就会抛出一个 ArrayStoreExceptiongenerics = new Generic<Integer>[10]; 声明了会创建一个 Generic<Integer> 元素类型的数组,但是在代码运行阶段会将泛型擦除,在泛型数组中添加元素自然就是不允许的了,这与数组的特性相矛盾。

那么有没有什么方法创建泛型化数组呢?答案是有的:先建一个通配类型的数组,然后转型为泛型数组。就像下面这样:

public class Generic<T> {
}

public class Test {
    public static void main(String[] args) throws Exception {
        Generic<Integer>[] generics = (Generic<Integer>[]) new Generic[10];
        System.out.println(generics[0] = new Generic<Integer>());
    }
}
©️2020 CSDN 皮肤主题: 编程工作室 设计师:CSDN官方博客 返回首页