java-泛型

泛型的是参数化类型，也就是说所操作的数据类型被指定为一个参数。

这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。

在泛型接口、泛型类和泛型方法的定义过程中，我们常见的如T、E、K、V等形式的参数常用于表示泛型形参，且传入参数类型应为对象类型，基本类型用与其对应的包装类。

泛型定义，extends后只能跟一个类+n个接口，并且类在第一位，这和java中的继承一个类，实现多个接口一致，泛型用extends统一了继承和实现

<T extends SomeClass & interface1 & interface2 & interface3>

如<T extends Collection>定义了泛型的上限，泛型类型只能是Collection的实现。

泛型是通过java编译器的称为擦除(erasure)的前端处理来实现的。泛型只是作用于代码编译阶段，在编译过程中，对于正确检验泛型结果后，会将泛型的相关信息擦出，也就是说，成功编译过后的class文件中是不包含任何泛型信息的。泛型信息不会进入到运行时阶段。因为泛型信息在运行中不存在，不能将其用于类型转换。

编译后所有对类型变量的引用被替换成类型变量的上限（一般为Object）。

List list = new ArrayList();
list.add("123");
list.add("345");
list.add(567);

for (int i = 0; i < list.size(); i++) {
String name = (String) list.get(i); // 强制转换出错
System.out.println("name:" + name);
}

将对象放入集合后，集合并不会去记录原始类型，而是变成统一的Object，这是拿出语速进行强转，很容易出错

有时统一类型会把类型定义为Object类型即所有类的父类，但这样必然要使用强制转换来得到原始类型，但如果不知道原始类型，很可能会出现ClassCastException，并且强制转换出错必须要到运行时才能发现，这种情况下泛型使用带来了便利。

public static void main(String[] args) {
List<String> aList = new ArrayList<String>();
List<Object> bList = new ArrayList<Object>();
test(aList);
test(bList);
//test1(aList);//编译出错，类型与定义不符
test1(bList);

}
public static <T> void test(List<T> list){
for (T t : list) {
System.out.println(t);
}
}
public static void test1(List<Object> list){
for (Object obj : list) {
System.out.println(obj);
}
}