第2个回答 2017-05-27
泛型 差别
含JAVA5.0新概念由于外表导致误解用途：
1.<?
extends T>首先容易误解继承于T所类集合错特错相信能看定见或用List<?
extends T>吧我说理解集合错呢理解集合用List表示所<?
extends
T>集合T某种类意思记住种单种问题由于连哪种都确定带确定性所能通
add（）加入元素或许觉add(T)行?<? extends
T>T某种类能放入类容器定放入超类没能放入T
2.比较容易使用没限制意思T类限某种类简单说T类超类add(T)呢能放入某类容器定放入其类态概念
擦除
许泛型具挑战性面擦除（erasure） Java
语言泛型实现底层技术擦除意味着编译器类文件基本抛参数化类量类型信息编译器用强制类型转换代码像程序员泛型
现前手工所做区别于编译器始已经验证量没泛型验证类型安全约束
通擦除实现泛型含意重要并
且初看混乱尽管能List 赋给List同类型
List List 类型变量相同类要明白点请评价面代码：
new List().getClass() == new List().getClass()
编译器 List 类 List 字节码少剩其类型参数跟踪
泛型类字节码编译器用类型参数擦除替换类型参数于限制类型参数（）擦除
Object于限类型参数（<K extends Comparable>）擦除其限（本例
Comparable）擦除于具限制类型参数使用其左限制擦除
检查字节码您说 List List 代码间区别类型限制 T 字节码 T 限所取代该限般 Object
重限制
类型参数具限制您想要约束类型参数比说同 Comparable Serializable 用重限制语用与符号隔限制：
class C<T extends Comparable&Serializable>
通配符类型具单限制 —— 限或者限指定类型参数具或限具重限制类型参数用于访问每限制域
类型形参类型实参
参数化类定义占位符名称（比 Collection V）叫做类型形参（type
parameter）类似于定义形式参数参数化类变量声明声明指定类型值叫做类型实参（type
argument）类似于调用实际参数实际二者般都通称类型参数所给定义：
interface Collection { ... }
声明：
Collection cs = new HashSet();
名称 V（用于整 Collection 接口体内）叫做类型形参 cs 声明String 两使用都类型实参（用于 Collection另用于 HashSet）
关
于何使用类型形参存些限制数候能够使用实际类型定义任何使用类型形参例外情况能使用创建象或数组
并且能用于静态文或者处理异文能用作父类型（class Foo extends
T）能用于 instanceof 表达式能用作类量
类似关于使用哪些类型作类型实参存些限制类型实参
必须引用类型（基本类型）、通配符、类型参数或者其参数化类型实例化所您定义
List（引用类型）、List（通配符）或者
List<List>（其参数化类型实例化）带类型形参 T 参数化类型定义您声明
List（类型形参）本回答被提问者采纳
第3个回答 2017-05-27
泛型中和 差别
和含有JAVA5.0的新的概念。由于它们的外表导致了很多人误解了它们的用途：
1.<?
extends T>首先你很容易误解它为继承于T的所有类的集合，这是大错特错的，相信能看下去你一定见过或用过List<?
extends T>吧？为什么我说理解成一个集合是错呢？如果理解成一个集合那为什么不用List来表示？所以<?
extends
T>不是一个集合，而是T的某一种子类的意思，记住是一种，单一的一种，问题来了，由于连哪一种都不确定，带来了不确定性，所以是不可能通过
add（）来加入元素。你或许还觉得为什么add(T)不行?因为<? extends
T>是T的某种子类，能放入子类的容器不一定放入超类，也就是没可能放入T。
2.这里比较容易使用，没这么多限制，这里的意思是，以T类为下限的某种类，简单地说就是T类的超类。但为什么add(T)可以呢？因为能放入某一类的容器一定可以放入其子类，多态的概念。
擦除
也
许泛型最具挑战性的方面是擦除（erasure），这是 Java
语言中泛型实现的底层技术。擦除意味着编译器在生成类文件时基本上会抛开参数化类的大量类型信息。编译器用它的强制类型转换生成代码，就像程序员在泛型出
现之前手工所做的一样。区别在于，编译器开始已经验证了大量如果没有泛型就不会验证的类型安全约束。
通过擦除实现泛型的含意是很重要的，并
且初看也是混乱的。尽管不能将List 赋给List，因为它们是不同的类型，但是
List 和 List 类型的变量是相同的类！要明白这一点，请评价下面的代码：
new List().getClass() == new List().getClass()
编译器只为 List 生成一个类。当生成了 List 的字节码时，将很少剩下其类型参数的的跟踪。
当
生成泛型类的字节码时，编译器用类型参数的擦除替换类型参数。对于无限制类型参数（），它的擦除是
Object。对于上限类型参数（<K extends Comparable>），它的擦除是其上限（在本例中是
Comparable）的擦除。对于具有多个限制的类型参数，使用其最左限制的擦除。
如果检查生成的字节码，您无法说出 List 和 List 的代码之间的区别。类型限制 T 在字节码中被 T 的上限所取代，该上限一般是 Object。
多重限制
一个类型参数可以具有多个限制。当您想要约束一个类型参数比如说同时为 Comparable 和 Serializable 时，这将很有用。多重限制的语法是用“与”符号分隔限制：
class C<T extends Comparable&Serializable>
通配符类型可以具有单个限制 —— 上限或者下限。一个指定的类型参数可以具有一个或多个上限。具有多重限制的类型参数可以用于访问它的每个限制的方法和域。
类型形参和类型实参
在
参数化类的定义中，占位符名称（比如 Collection 中的 V）叫做类型形参（type
parameter），它们类似于方法定义中的形式参数。在参数化类的变量的声明中，声明中指定的类型值叫做类型实参（type
argument），它们类似于方法调用中的实际参数。但是实际中二者一般都通称为“类型参数”。所以给出定义：
interface Collection { ... }
和声明：
Collection cs = new HashSet();
那么，名称 V（它可用于整个 Collection 接口体内）叫做一个类型形参。在 cs 的声明中，String 的两次使用都是类型实参（一次用于 Collection，另一次用于 HashSet）。
关
于何时可以使用类型形参，存在一些限制。大多数时候，可以在能够使用实际类型定义的任何地方使用类型形参。但是有例外情况。不能使用它们创建对象或数组，
并且不能将它们用于静态上下文中或者处理异常的上下文中。还不能将它们用作父类型（class Foo extends
T），不能用于 instanceof 表达式中，不能用作类常量。
类似地，关于可以使用哪些类型作为类型实参，也存在一些限制。类型实参
必须是引用类型（不是基本类型）、通配符、类型参数，或者其他参数化类型的实例化。所以您可以定义
List（引用类型）、List（通配符）或者
List<List>（其他参数化类型的实例化）。在带有类型形参 T 的参数化类型的定义中，您也可以声明
List（类型形参）。