从Java5开始，泛型成为了Java语言的一部分。在没有泛型之前，从集合中读取的每一个对象都必须进行转换。
泛型的优点：编译器会自动为你的插入进行转换，并在编译时告知是否插入了类型错误的对象。这样使程序更加安全、也更加清楚。
泛型：声明中具有一个或者多个类型参数（type parameter）的类或者接口。
- 请不要使用原生态类型
每一种泛型都定义一个原生态类型（raw type），即不带任何实际类型参数的泛型名称。例如List<E>对应的原生态类型是List。它们存在的主要是为了与泛型出现之前的代码相兼容。
如果使用原生态类型，就失掉了泛型在安全性和描述性方面的所有优势。
在不确定或者不在乎集合中的元素类型的情况下，你也许会使用原生态类型。例如，编写一个方法，有两个集合，返回他们共有的元素数量。使用原生态类型固然可行，但这是很危险的。安全的替代做法是使用无限制的通配符类型，例如，泛型Set<E>的无限制通配符类型为Set<?>（读作“某个类型的集合”）。这是最普通的参数化Set类型，可以持有任何集合。
Set、Set<?>和Set<Object>区别：原生态类型不安全，可以将任何元素放进原生态类型的集合中，很容易破坏该集合的类型约束类型条件。Set<?>不能将任何元素（除了null之外）放到Set<?>中。Set<Object>是个参数化类型，可以包含任何对象类型的一个集合。
-
消除非受检的警告
用泛型编程时会遇到许多编译器警告：非受检转换警告、非受检方法调用警告、非受检参数化可变参数类型警告、非受检转换警告。
要尽可能的消除每一个非受检警告。如果消除了所有警告，就可以确保代码是类型安全的。这意味着不会出现Class-Cast-Exception。
如果无法消除警告，同时可以证明引起警告的代码是类型安全的，（只有这种情况下）才可以使用一个@SuppressWarnings("unchecked")注解来禁止这条警告。 -
列表优于数组
a. 数组是协变的（covariant），例如如果Sub是Super的子类型，那么数组类型Sub[]就是Super[]的子类型。而泛型是不可变的(invariant)，List不会是List的基类，更不会是它的子类。协变会破环泛型类型安全，因此泛型不是协变的。
b. 数组是具体化的(reified)，而泛型在运行时是被擦除的(erasure)。数组是在运行时才去判断数组元素的类型约束，而泛型正好相反，在运行时，泛型的类型信息是会被擦除的，只有编译的时候才会对类型进行强化。
http://www.it610.com/article/5143909.htm
可具体化类型：就是一个可在整个运行时可知其类型信息的类型。 包括：基本类型、非泛型类型、原始类型和调用的非受限通配符。
不可具体化类型：无法整个运行时可知其类型信息的类型，其类型信息已在编译时被擦除。例如：List<String>和List<Number>，JVM无法在运行时分辨这两者
java泛型是编译器泛型，是一种语法糖，生成的二进制代码中是没有泛型的，jvm感受不到泛型。java的泛型编译生成二进制代码的时候，进行了类型的擦除，放入集合的实际上是object类型，从集合中获取对象的时候 获取的是object类型， 然后进行了强制类型转换，转换成实际的类型。
```
//java.lang.ArrayStoreException: java.lang.Integer
Object[] array = new String[10];
array[0] = 10;
//这段代码连编译都不能通过。
List<Object> list2 = new ArrayList<String>();
list.add(10);
```
所以上面的例子中，数组的方法会在运行时报出ArrayStoreException，而泛型根本无法通过编译。
为什么创建泛型数组是非法的？因为他不是类型安全的。再举个例子
```
List<String>[] stringLists = new List<String>[1];
List<Integer> intList = List.of(42);
Object[] objects = stringLists;
objects[0] = intList;
String s = stringLists[0].get(0);
```
具有不可具体化形参的可变参数方法的潜在隐患：发生堆污染
堆污染（Heap Pollution）： 发生时机：当一个参数化类型变量引用了一个对象，而这个对象并非此变量的参数化类型时，堆污染就会发生。分模块对代码进行分别编译，那就很难检测出潜在的堆污染，应该同时编译
带泛型的可变参数问题： T...将会被翻译为T[]，根据类型擦除，进一步会被处理为Object[]，这样就可能造成潜在的堆污染
避免堆污染警告 ：
@SafeVarargs：当你确定操作不会带来堆污染时，使用此注释关闭警告
@SuppressWarnings({"unchecked", "varargs"}):强制关闭警告弹出（不建议这么做）
网友评论