Effective Java 泛型 第23条:列表优先于数组

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/weixin_39923324/article/details/82255735

列表优先于数组?why?

对于数组而言,列表肯定表现的更加优秀。

列表数数组的区别:
1数组是协变的,泛型是不可变的。
2.数组是具体化的,泛型是通过擦除来实现的。

1数组是协变的,泛型是不可变的。

什么是协变?
如果Sub是Super的子类型,那么数组类型Sub[] 就是Super[]子类型。
什么是不可变?
对于任意两个不同类型的type1和type2,List< type1 >既不是List< type2 >的子类型,也不是List< type2 >的超类型。
那么你可能会觉得泛型是有缺陷的,恰恰相反,有缺陷的是数组。
下面大码是合法的:

//Fails at runtime
Object[] objectArray=new Long[1];
ObjectArray[0]="I don't fit in";//Throws ArrayStoreException

但下面的代码则是不合法的:

//Won't compile
List<Object> o1=new ArrayList<Long>();、、Incompatible types
o1.add("I don't fit in");

无论哪种方法都不能将String放入到Long容器中,不同的是数组在运行时才会抛出异常,而列表,则在编译时报错。相对于前者,后者显然是更好的。

2.数组是具体化的,泛型是通过擦除来实现的。

数组是具体化的,因此数组在运行时才知道并检查它们的元素类型约束。如上所述,如果企图将String保存到Long数组中,就会得到一个ArrayStoreException异常。相比之下,泛型则是通过擦除来实现,因此泛型只在编译时强化它们的类型信息,并在运行时丢弃(或者擦除)它们的元素类型约束。擦除就是使泛型可以与没有使用泛型的代码随意进行互用(见第23条)。

由于上述的这些区别,因此数组和泛型不能不好的混合使用。
例如:创建泛型、参数化类型或者类型参数的数组是非法的。
如下,这些数组创建表达式都是非法的,在编译时都会导致一个 generic array creation (泛型数组创建)错误.


new List< E >[] 
new List< String >[]  
new E[] 

为什么创建泛型数组是非法的?因为它不是类型安全的。要是它合法,编译器在其他正确的程序中发生的转换就会在运行时失败,并出现一个ClassCastException异常。这就违背了泛型系统提供的基本保证。

例:

//why generic array creation is illegal - won't compile!
List<String>[] stringLists=new List<String>[1];//假设合法,他创建了一个泛型数组
List<Integer> intList= Arrays.asList(42);//创建并初始化一个包含单个元素的List<Integer>
Object[] objects=stringLists;//将List<String>数组保存到一个Object数组变量中,这是合法的,因为数组和协变的。
objects[0]=intList;//将List<Integer>保存到Object数组里唯一的元素中,这是可以的,因为泛型是通过擦除实现的:List<Integer>实例运行时类型只是List,List<String>[]实例的运行时类型则是List[],因此这种安排不会产生ArrayStoreException异常。但现在我们有麻烦了我们将一个List<Integer>实例保存到了原本声明只包含List<String>实例的数组中。
String s=stringLists[0].get(0);//我们从这个数组里唯一的列表中获取唯一的元素,编译器会自动地获取到元素转换成String,但它是一个Integer,因此,我们在运行时得到一个ClassCastException异常

//为了防止这种情况(创建泛型数组),第一行就产生了一个编译时错误。

从技术的角度来说,像E、List< E>和List< String>这样的类型应称作不可具体化的类型.不可具体化类型是指其运行时表示法包含的信息比它编译时表示法包含的信息更少的类型。唯一可具体化的参数化类型是无限制的通配符类型,如List< ?>,Map< ? ,?>。虽然不常用,但是创建无限制通配类型的数组是合法的。

总而言之,数组和泛型有着非常不同的类型规则。数组是协变且可以具体化的;泛型是不可变的且可以被擦除的。因此,数组提供了运行时的类型安全,但是没有编译时的类型安全,反之,对于泛型也一样。一般来说,数组和泛型不能很好地混合使用。如果你发现自己将它们混合起来使用,并且得到了编译时错误或者警告,你的第一反应就应该是用列表代替数组。

猜你喜欢

转载自blog.csdn.net/weixin_39923324/article/details/82255735