effective java 第五章 (笔记)

第5章 泛型

java 1.5增加了泛型。

*** 第23条:请不要在新代码中使用原生态类型 ***

泛型类和接口统称为泛型。

每种泛型定义一组参数化的类型,名称<类型>,如List

每个泛型都定义一个原生态类型,即不带任何实际类型参数的泛型名称。如List的raw type 就是List

如果使用原生态类型,就失掉了泛型在安全性和表述性方面的所有优势。(移植兼容性,原生态类型还被支持)

无限制通配类型,如Set

总之,使用原生态类型会在运行时导致异常,因此不要在新代码中使用。(原生态只是用来兼容的嘛)

如Set Set

effective java 第五章 (笔记)_第1张图片
本章的术语

*** 第24条:消除非受检警告 ***

如果无法消除,但是代码是类型安全的,可以加 @SuppressWarnings("unchecked")

@SuppressWarnings("unchecked")粒度应尽可能精确。

*** 第25条:列表优先于数组 ***

数组是协变的;泛型是不可变的

数组是具体化的(运行时才检查元素的类型约束),泛型是通过擦除(编译时强化他们类型信息,并在运行时丢弃或者擦除)。

数组与泛型不能很好的混用。泛型数组是非法的,因为它不是类型安全的。

*** 第26条:优先考虑泛型 ***

*** 第27条:优先考虑泛型方法 ***
返回类型,参数列表

类型推导

泛型静态工厂方法

public static  HashMap newHashMap(){
    return new HashMap();
}

Map> gram = newHashMap();

递归类型限制

public static > T max(List list){...}

*** 第28条:利用有限制通配符来提升API的灵活性 ***

PECS : producer-extends ,consumer-super(PECS)
comparable,comparator 都是消费者

*** 第29条:优先考虑类型安全的异构容器 ***

你可能感兴趣的:(effective java 第五章 (笔记))