第5章 泛型
java 1.5增加了泛型。
*** 第23条：请不要在新代码中使用原生态类型 ***
泛型类和接口统称为泛型。
每种泛型定义一组参数化的类型，名称<类型>，如List<String>
每个泛型都定义一个原生态类型，即不带任何实际类型参数的泛型名称。如List<E>的raw type 就是List
如果使用原生态类型，就失掉了泛型在安全性和表述性方面的所有优势。（移植兼容性，原生态类型还被支持）
无限制通配类型，如Set<?>
总之，使用原生态类型会在运行时导致异常，因此不要在新代码中使用。（原生态只是用来兼容的嘛）
如Set<Object> Set<?>
本章的术语
*** 第24条：消除非受检警告 ***
如果无法消除，但是代码是类型安全的,可以加 @SuppressWarnings("unchecked")
@SuppressWarnings("unchecked")粒度应尽可能精确。
*** 第25条：列表优先于数组 ***
数组是协变的；泛型是不可变的
数组是具体化的（运行时才检查元素的类型约束），泛型是通过擦除（编译时强化他们类型信息，并在运行时丢弃或者擦除）。
数组与泛型不能很好的混用。泛型数组是非法的，因为它不是类型安全的。
*** 第26条：优先考虑泛型 ***
*** 第27条：优先考虑泛型方法 ***
返回类型，参数列表
类型推导
泛型静态工厂方法
public static <K,V> HashMap<K,v> newHashMap(){
return new HashMap<K,V>();
}
Map<String,List<String>> gram = newHashMap();
递归类型限制
public static <T extends Comparable<T>> T max(List<T> list){...}
*** 第28条：利用有限制通配符来提升API的灵活性 ***
<? extends E>
<? super E>
PECS : producer-extends ,consumer-super(PECS)
comparable,comparator 都是消费者
*** 第29条：优先考虑类型安全的异构容器 ***
网友评论