effective java 第五章 (笔记)

第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条：优先考虑类型安全的异构容器 ***