《Effective Java》——第23条：请不要在新代码中使用原生态类型

本文大部分摘自《Effective Java》，示例为本人手打，IDE是eclipse。
本人之前写过一篇关于泛型的介绍：http://www.jianshu.com/p/dc70a0058a29

1. 先看几个定义

• 泛型（generic）：

  • 声明中具有一个或者多个类型参数（type parameter）的类或者接口，就是泛型类或者接口。

  • 例如，从Java 1.5发行版本开始，List接口就只有单个类型参数E，表示列表的元素类型。

  • 从技术角度来看，这个借口的名称应该是指现在的List（读作“list of E/E的列表”），但是人们一般把它简称为List。

  • 泛型类和接口统称为泛型（generic type）。

• 参数化的类型（parameterized type）：

  • 构成格式。先是类或者接口的名称，接着用尖括号<>把对应于泛型形式类型参数的实际类型参数列表括起来。

  • 例如，List（读作“list of string”）是一个参数化的类型，表示元素类型为String的列表。（String是与形式类型参数E相对应的实际类型参数）

• 原生态类型（raw type）：

  • 不带任何实际类型参数的泛型名称

  • 例如，与List相对应的原生态类型是List。原生态类型就像从类型生命中删除了所有泛型信息一样。

  • 实际上，原生态类型List与Java平台没有泛型之前的接口类型List完全一样。

2. 从一个原生态类型的示例引出泛型

1. 在Java 1.5版本发行之前（即无泛型之前），假设有这样的集合声明：

    /**
     * My stamp collection. Contains only stamp instances.
     * /
    private final Collection stamps = ... ;
   

   如果不小心将一个coin放入了stamp集合，这个错误的操作照样可以编译和运行，并且没有任何错误提示：

    stamp.add(new Coin(...));
   

   直到从stamp集合中获取到这个coin时才会收到错误提示：

    for(Iterator i = stamps.iterator(); i.hasNext();){
        Stamp s = (Stamp) i.next(); // 抛出ClassCastException异常！！！
    }
   

   这种错误应该尽快发现，最好在编译时就发现。在本例中，这个错误已经存在很久很久了，距离你现在的代码也许已经很远很远了，一旦出现这种错误，你可能得花费大量时间找出错误的原因。

2. 有了泛型之后，就可以利用改进后的类型声明来代替集合中这种注释，告诉编译器之前的注释隐含的信息（注释是给人看到，而不是给机器看的）：

    //Parameterized collection type - typesafe
    private final Collection stamp = ... ;
   

   有了这条声明，编译器就知道了：stamps应该只包含stamp实例。如果这时候再试图添加一个coin实例进入stamp集合中，那么编译器给出error,准确地告诉你哪里出错了。

   这就是泛型的好处。

   如果使用原生态类型，就失掉了泛型在安全性和表述性方面的所有优势。
   既然不应该使用原生态类型，为什么还要允许使用它们呢？
   因为Java在之前版本已经有大量的代码，为了提供兼容性，旧代码和新代码应可以互用。
   这种需求被称作移植兼容性（Migration Compatibility）。

3. 原生态类型（如List）与参数化的类型（如List