第23条:请不要在新代码中使用原生态类型
类型参数:List
参数化类型:List
原生态类型:List
使用原生态类型的缺点:
当我们获取一个值的时候,必须进行强制类型转换。
如果放入了非预期的类型,编译时我们不会收到任何的错误提示,运行时java.lang.ClassCastException
原生态类型和参数化类型的区别:
比如List和List
泛型有子类型化的规则,List
无限制的通配符类型 如果要使用泛型,但不确定或者不关心实际的参数类型,就可以使用问号代替。Set>
无限制通配类型Set>和原生态类型Set之间的区别:
可以将任何元素放进使用原生态类型的集合中
不能将任何元素放到无限制通配类型中(除了null)。
不要在新代码中使用原生态类型:(原因就是泛型信息在运行时被擦除)
在类文字中必须使用原生态类型。
instanceof操作符后面的类型不能是泛型。
第24条:消除非受检警告
非受检警告很重要,不要忽略它们。
如果无法消除非受检警告,同时可以证明引起警告的代码是类型安全的,就可以在尽可能小的范围中,用@SuppressWarnings("uncheck")注解禁止该警告。
第25条:列表优先于数组
数组与泛型
数组是协变的,就是如果Sub为Super的子类型,那么数组类型Sub[]就是Super[]的子类型。
泛型是不可变的,对于任意两个不同类型Type1和Type2,List
数组是具体化的,数组是在运行时才知道并检查他们的元素类型约束;泛型只是在编译时强化它们的类型信息。
Object[] objectArray = new String[10];
objectArray[0] = "100";
objectArray[1] = 100;//java.lang.ArrayStoreException
List strlist = new ArrayList();
List intlist = new ArrayList();
System.out.println(strlist.getClass() == intlist.getClass());
//true,因为类型擦除,可以查看字节码得知
数组和泛型不能混合使用。
用列表代替数组
第26条:优先考虑泛型
泛型更加安全
第27条:优先考虑泛型方法
static
编译器会进行类型推导获取E的值。
利用类型推导简化代码:
Map> anagrams = new HashMap>();
//静态泛型工厂
public static HashMap newHashMap(){
return new HashMap();
}
Map> = newHashMap();
第28条:利用有限通配符来提升API的灵活性
每个类型都是自身的子类型,所以有限通配符也可以把自身类型传进去。
生产者:< ? extends T>
消费者: super T>
producer-extends,consumer-super
不要用通配符类型作为返回类型
类型推导并非总能完成工作:
Set integers = ...;
Set doubles = ...;
Set numbers = union(integers, doubles);//incompatible types
//显式的类型参数
Set numbers = Union.union(integers, doubles);
public static E void swap(List list, int i, int j);
public static void swap(List> list, int i, int j);
如果类型参数只在方法声明中出现一次,就可以使用通配符取代它。