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这个原生态类型。那么最后第五行就会报错了。

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

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

你可能感兴趣的:(Java泛型——泛型和数组)