java 泛型list赋值_Java泛型——泛型和数组

集合和数组到处都可以看到，灵活运用这两个工具也是很重要的，可以发现，在我们实际的业务代码中，都是运用的泛型而非数组，那么是不是就说明泛型是优于数组的呢？或者说列表是优于数组的呢？

那我们得明确两点区别：

1.数组是协变的，泛型是不可变的。相信这一点看过上一篇文章的朋友都能理解一点了。

2.数组是具化的，而泛型是通过类型擦除来实现的。

一点一点来说，什么是协变？名字很吓人，其实道理很简单。例如：

Sub是Super的子类，那么Sub[]就是Super[]的子类。

泛型是不可变的，意味着：

对于两种任意的类型Type1和Type2,List和List之间是不存在子类与超类的关系的。 不信咱们来试试：

Object[] objectArray = new Long[1];

objectArray [0] = "I don't fit in";

上述代码在编译期不会报错，因为Long[]确实是Object[]的子类啊。但是在运行时期就会出错了。

List list = new ArrayList();

list.add("I don't fit in");

这一小段代码在编译期就会告诉你类型不合适。所以，其实从这点就可以看出泛型相比于数组的优势了，也就是说数组其实是有缺陷的。

下面再来看看第二点，数组是具化的，而泛型是类型擦除的。

也就是说，数组会到运行时期才知道并去检查它里面的元素是否满足类型约束，而泛型在运行时期已经被擦除了，也就是说，编译器在构建字节码的时候会抹去一部分泛型信息，这一点可以通过反编译工具看到。所以说泛型只在编译期约束或者强化类型信息，而在运行时选择了丢弃，这主要是为了保持与非泛型代码可以很好的兼容。

以上就是泛型与数组的区别了，所以我们的问题就有答案了：

列表是优先于数组的。

到这，还有一个很有趣的问题需要我们去探讨一下，能否创建泛型数组呢？

例如：List[],List[]等等。

其实，从一点上我们就可以判断，那就是数组是具化的，而泛型在运行期类型就被擦出了，所以泛型数组本身就是矛盾的两个结合体，因此是不允许创建的。

更细一点，我们来看看代码(假设可以创建泛型数组，以下代码不可运行)：

List[] stringLists = new List[1];

List intList = Arrays.asList(42);

Object[] objects = stringLists;

objects[0] = intList;

String s = stringLists[0].get(0);

首先第一行创建了一个泛型数组(假设能创建成功)，第二行创建了只包含一个数据的List。

那么第三行能否赋值成功呢？其实是可以的，因为数组具有协变性，且List肯定是Object的子类吧。

再看第四行，能否成功呢？我的意思是要将List放入Object[]的第一个元素中，而Object[0]是List,所以按道理这是不允许插入的，但是，结果却是可以这样赋值。

有一点在运行时期泛型的类型会被擦除的，那么List赋值给List就没有问题啦，因为都变成了List这个原生态类型。那么最后第五行就会报错了。

这也就是为什么不允许创建泛型数组的原因了。总之在实际的代码编写中基本不会有这种需求，只需要一个泛型我们就能解决大多数问题，我们也不会有机会来思考这些东西。但是，当我们看源代码的时候，特别是运用反射机制越过泛型检查这些问题的时候，还是需要我们一步一步来了解。

最后一点，网上有一些博文写得很好，把反编译之后的结果也贴出来了，大家可以搜搜看，帮助更好的理解。