fxleyu
commented
6 years ago 第 23 条：请不要在新代码中使用原生态类型
| 术语 | 示例 | 所在条目 |
|---|---|---|
| 参数化的类型 | List<String> |
第 23 条 |
| 实际类型参数 | String |
第 23 条 |
| 泛型 | List<E> |
第 23、26 条 |
| 形式类型参数 | E |
第 23 条 |
| 无限制通配符类型 | List<?> |
第 23 条 |
| 原生态类型 | List |
第 23 条 |
| 有限制类型参数 | <E extends Number> |
第 26 条 |
| 递归类型参数 | <T extends Comparable<T>> |
第 27 条 |
| 有限制通配符类型参数 | List<? extends Number> |
第 28 条 |
| 泛型方法 | static <E> List<E> asList(E[] a) |
第 27 条 |
| 类型令牌 | String.class |
第 29 条 |
- 声明中具有一个或者多个 类型参数(type parameter) 的类或者接口，就是 泛型（generic）类或者接口。例如，从 Java 1.5 发性版本起，
List接口就只有单个类型参数E，表示列表的元素类型。从技术角度来看，这个接口的名称应该是指现在的List<E>（读作"E 的列表"）。但是人们经常把它简称为List。泛型类和接口统称为 泛型（generic type）。 - 每种泛型定义一组 参数化的类型（parameterized type），构成格式为：先是类或者接口的名称，接着用尖括号（
<>）把对应于泛型形式类型参数的实际类型参数列表括起来。例如，List<String>（读作“字符串列表”）是一个参数化的类型，表示元素类型为String的列表。（String是与形式类型参数E相对的实际类型参数。） - 每个泛型都定义一个 原生态类型（raw type），即不带任何实际类型参数的泛型名称。例如，与
List<E>相对应的原生态类型是List。原生态类型就像从类型声明中删除所有泛型形象一样。实际上，原生态类型List与 Java 平台没有泛型之前的接口类型List完全一样。
如上所述，如果不提供类型参数，使用集合类型和其他泛型也仍然是合法的，但是不应该这么做。如果使用原生类型，就失掉了泛型在安全性和表述性方面的所有优势。 移植兼容性（Migration Compatibility） 促成了支持原生态类型的决定。
原生态类型 List 和参数化的类型 List<Object> 之间到底有什么区别呢？不严格地说，前者逃避了泛型检查，后者则明确声明告知编译期，它能够持有任意类型的对象。
虽然你可以将 List<String> 传递给类型 List 的参数，但是不能将它传给类型 List<Object> 的参数。泛型有子类型（subtyping）的规则， List<String> 是原生态类型 List 的一个子类型，而不是参数化类型 List<Object> 的子类型。
如果使用像 List 这样的原生态类型，就会失掉类型安全性，但是如果使用像 List<Object> 这样的参数化类型，则不会。
List rawTypeList = Lists.newArrayList();
List<Object> genericList = Lists.newArrayList();
List<String> stringList = Lists.newArrayList();
rawTypeList = stringList;
genericList = stringList; // ERRORERROR 信息如下：
Incompatible types.
Required: List <java.lang.Object>
Found: List <java.lang.String>- 无限制通配符类型（unbounded wildcard type），如果使用泛型，但不确定或者不关系实际的类型参数，就可以使用一个问号代替。例如泛型
Set<E>的无限制通配符类型为Set<?>(读作“某个类型的集合”)。
通配符类型是安全的，原生态类型则不安全。由于可以将任何元素放进使用原生态类型的集合中，因此很容易破坏该集合的类型约束条件；但 不能将任何元素（除了 null 之外）放到 Collection<?> 中。
你不仅无法将任何元素（除 null 之外）放进 Collection<?> 中，而且根本无法猜测你会得到哪种类型的对象。要是无法接受这些限制，就可以使用 泛型方法（generic method） 或者 有限制的通配符类型（bounded wildcard type）。
不要再新代码中使用原生态类型，这条规则有两个小小的例外，两者都源于“ 泛型信息可以在运行时被擦除 ”这一事实。
- 在类文字（class literal）中必须使用原生态类型。 规范不允许使用参数化类型（虽然允许数组合基本类型）。换句话说，
List.class,String.class和int.class都合法，但是List<String>.class和List<?>.class则不合法。 - 由于泛型信息可以在运行时被擦除，因此在参数化类型而非无限通配符类型上使用
instanceof操作符是非法的。if (o instanceof List) { List<?> list = (List<?>) o; }
总结
使用原生态类型会在运行时导致异常，因此不要在新代码中使用。原生态类型只是为了引入泛型之前的遗留代码进行兼容和互用而提供的。
让我们做个快速的回顾：Set<Object> 是个参数化类型，表示可以包含任何对象类型的一个集合；Set<?> 则是一个通配符类型，表示只能包含某种未知对象类型的一个集合；Set 则是个原生态类型，它脱离了泛型系统。前两种是安全的，最后一种不安全。
Java 1.5 发行版本中增加了 泛型（Generic）。在没有泛型之前，从集合中读取到的每一个对象都必须进行转换。如果有人不小心插入了类型错误的对象，在运行时的转换处理就会出错。有了泛型之后，可以告诉编译器每个集合中接受哪些对象类型。编译器自动地为你的插入进行转化，并在编译期告知是否插入了类型错误的对象。这样可以使程序既更加安全，也更加清楚，但是要享有这些优势有一定的难度。
本章就是教你如何最大限度地享有这些优势，又能使整个过程尽可能地简单化。
本章目录