关于java不支持泛型数组的思考

Posted lkjhgfdsa123

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了关于java不支持泛型数组的思考相关的知识,希望对你有一定的参考价值。

起因:
今天在看LinkedList源码时,发现

 public <T> T[] toArray(T[] a)方法创建一个泛型数组使用了很奇怪的方式
a = (T[])java.lang.reflect.Array.newInstance(
                                a.getClass().getComponentType(), size)
 
    @SuppressWarnings("unchecked")
    public <T> T[] toArray(T[] a) {
        if (a.length < size)
            a = (T[])java.lang.reflect.Array.newInstance(
                                a.getClass().getComponentType(), size);
        int i = 0;
        Object[] result = a;
        for (Node<E> x = first; x != null; x = x.next)
            result[i++] = x.item;

        if (a.length > size)
            a[size] = null;

        return a;
    }

 

疑问:为什么不直接使用T[] a = new T[size]来创建泛型数组?

在eclipse测试时,报错

 

 

百度上搜索后

Java不能创建泛型数组的解决方案

 

Java不能创建泛型数组 

Java中创建泛型数组

 

总结

java数组时是协变,即Base[] base= new Sub[];Base是Sub的父类

先假设Java可以创建泛型数组,由于java泛型的类型擦除和数组的协变。下面的代码将会编译通过。但是运行时会报错

List<String>[] stringLists=new List<String>[1];
List<Integer> intList = Arrays.asList(40);
Object[] objects = stringLists;
Objects[0]=intList;
String s=stringLists[0].get(0);

 java集合不支持协变,因此出现了泛型

 

 

以上是关于关于java不支持泛型数组的思考的主要内容,如果未能解决你的问题,请参考以下文章

Java 为什么不支持泛型数组?

关于Java泛型"擦除"的一点思考

什么是java泛型

关于JAVA泛型数组类型擦除引发的问题及解决方案

关于Java泛型的小知识点

[JAVA冷知识]什么是逆变(contravariant)与协变(covariant)?数组是否支持协变&逆变?泛型呢?