泛型中和 差异

泛型中<? extends T>和<? super T> 差异

<? extends T>和<? super T>含有JAVA5.0的新的概念。因为它们的外表致使了不少人误解了它们的用途：

 1.<? extends T>首先你很容易误解它为继承于T的全部类的集合，这是大错特错的，相信能看下去你必定见过或用过List<? extends T>吧？为何我说理解成一个集合是错呢？若是理解成一个集合那为何不用List<T>来表示？因此<? extends T>不是一个集合，而是T的某一种子类的意思，记住是一种，单一的一种，问题来了，因为连哪种都不肯定，带来了不肯定性，因此是不可能经过 add()来加入元素。你或许还以为为何add(T)不行? 由于<? extends T>是T的某种子类，能放入子类的容器不必定能放入超类，也就是没可能放入T。

2.<? super T>这里比较容易使用，没<? extends T>这么多限制，这里的意思是，以T类为下限的某种类，简单地说就是T类的超类。但为何add(T)能够呢？由于能放入某一类的容器必定能够放入其子类，多态的概念。

擦除

也许泛型最具挑战性的方面是擦除（erasure），这是 Java 语言中泛型实现的底层技术。擦除意味着编译器在生成类文件时基本上会抛开参数化类的大量类型信息。编译器用它的强制类型转换生成代码，就像程序员在泛型出现以前手工所作的同样。区别在于，编译器开始已经验证了大量若是没有泛型就不会验证的类型安全约束。

经过擦除实现泛型的含义是很重要的，而且初看也是混乱的。尽管不能将List<Integer> 赋给List<Number>，由于它们是不一样的类型，可是 List<Integer> 和 List<Number> 类型的变量是相同的类！要明白这一点，请评价下面的代码：

new List<Number>().getClass() == new List<Integer>().getClass()

编译器只为 List 生成一个类。当生成了 List 的字节码时，将不多剩下其类型参数的的跟踪。

当生成泛型类的字节码时，编译器用类型参数的擦除替换类型参数。对于无限制类型参数（<V>），它的擦除是 Object。对于上限类型参数（<K extends Comparable<K>>），它的擦除是其上限（在本例中是 Comparable）。对于具备多个限制的类型参数，使用其最左限制的擦除。

若是检查生成的字节码，您没法说出 List<Integer> 和 List<String> 的代码之间的区别。类型限制 T 在字节码中被 T 的上限所取代，该上限通常是 Object。

 

多重限制

一个类型参数能够具备多个限制。当您想要约束一个类型参数好比说同时为 Comparable 和 Serializable 时，这将颇有用。多重限制的语法是用“与”符号分隔限制：

class C<T extends Comparable<? super T>&Serializable>

通配符类型能够具备单个限制 —— 上限或者下限。一个指定的类型参数能够具备一个或多个上限。具备多重限制的类型参数能够用于访问它的每一个限制的方法和域。

类型形参和类型实参

在参数化类的定义中，占位符名称（好比 Collection<V> 中的 V）叫作类型形参（type parameter），它们相似于方法定义中的形式参数。在参数化类的变量的声明中，声明中指定的类型值叫作类型实参（type argument），它们相似于方法调用中的实际参数。可是实际中两者通常都通称为“类型参数”。因此给出定义：

interface Collection<V> { ... }

和声明：

Collection<String> cs = new HashSet<String>();

那么，名称 V（它可用于整个 Collection 接口体内）叫作一个类型形参。在 cs 的声明中，String 的两次使用都是类型实参（一次用于 Collection<V>，另外一次用于 HashSet<V>）。

关于什么时候可使用类型形参，存在一些限制。大多数时候，能够在可以使用实际类型定义的任何地方使用类型形参。可是有例外状况。不能使用它们建立对象或数组，而且不能将它们用于静态上下文中或者处理异常的上下文中。还不能将它们用做父类型（class Foo<T> extends T），不能用于 instanceof 表达式中，不能用做类常量。

相似地，关于可使用哪些类型做为类型实参，也存在一些限制。类型实参必须是引用类型（不是基本类型）、通配符、类型参数，或者其余参数化类型的实例化。因此您能够定义 List<String>（引用类型）、List<?>（通配符）或者 List<List<?>>（其余参数化类型的实例化）。在带有类型形参 T 的参数化类型的定义中，您也能够声明 List<T>（类型形参）。