泛型

目的：提高代码的可复用性；及类型检查处理上移，交由编译器处理，提高安全性。

内部实现机制：编译时期类型擦除。所以 编译期类型擦除的同时会进行 类型检查并生成无任何泛型信息的字节码，即使编译期未检查出泛型错误，在运行时也可能会出现类型转换错误。

声明中具有一个或多个形式类型参数的类或接口叫做泛型类或接口，简称泛型

泛型List<E>

泛型方法static <E> List<E> asList(E[] a)

形式类型参数E

有限制类型参数<E extends Number>

递归类型限制<T extends Comparable<t>>

参数化的类型List<String>

实际类型参数String

无限制通配符参数化类型List<?> (某种实际类型参数的列表)

有限制通配符参数化类型List<? extends Number>

原生态类型List

类型令牌String.class

List<String>是List(原生态类型)的子类型，但List<String>不是List<Object>的子类型

String[]是Object[]的子类型

List<String> strList = new ArrayList<>();

List list = strList;这种操作很危险，新写的所有代码都不应该出现原生态类型。

如果不关心实际类型参数，可以写成List<?> list = strList; for(Object obj: list ){}

E[] objs = (E[])new Object[10]; //合法

E obj = (E)(new Object()); //不合法

泛型和数组不可同时使用，即：new List<E>[]; new List<String>[]; new E[]; 都是不合法的

泛型方法的调用 ClassName.<ConcreteType>methodName(param1,param2...);因为编译器会进行类型推断，所以推断成功的话可以直接ClassName.methodName(param1,param2...);

PECS表示producer-extends, cosumer-super

static class Food{}

static class Fruit extends Food{}

static class Apple extends Fruit{}

static class RedApple extends Apple{}

List<? extends Fruit> flist1 = new ArrayList<Apple>();

List<? super Fruit> flist2 = new ArrayList<Food>();

flist1是Fruit的某个子类的集合，所以访问get方法的元素只能是Fruit或者Fruit的子类; 而add不允许访问，因为实际类型参数是Fruit的某一个子类，但不知道是哪个子类。

flist2是Fruit的某个超类的集合，所以add方法添加元素只要是Fruit及子类都是类型安全的，get也是允许访问，但只能获取到Object对象或强转，因为实际类型参数是Fruit的某个超类，但不知道是哪个超类。