Java泛型

泛型的概念
Java泛型(generics)是jJDK5中引入的一个新特性，泛型提供了编译时类型安全监测机制，该机制允许我们在编译时检测到非法的类型数据结构。
泛型的本质就是参数化类型，也就是所操作的数据类型被指定为一个参数。
常用的泛型标识：T, E, K, V，N
T: type，标识java类，包括基本的类和我们自定义的类
E: Element，在集合中使用，因为存放的是元素
K：key
V：value
N：表示数值类型
？：表示并不确定的java类型
泛型类
class 类名称<泛型标识…>
注意事项：
泛型类，如果没有指定具体的数据类型，此时，操作类型是Object
泛型的类型参数只能是类类型，不能是基本数据类型
泛型类型在逻辑上可以堪称是多个不同的类型，但实际上都是相同类型
泛型类派生子类
如果子类是泛型类，必须和父类类型相同
class child extends parent
如果子类是具体类型，父类也必须是具体类型
class child extends parent
泛型接口
实现类不是泛型类，接口要明确数据类型
实现类也是泛型类，实现类和接口的泛型类型要一致
泛型方法：在调用方法的时候指明泛型的具体类型：public <T,E,…> void 方法名（形参列表） ｛｝
public与返回值中间的非常重要，可以理解为声明此方法为泛型方法
只有声明了的方法才是泛型方法，泛型类中的使用了泛型的成员方法并不是泛型方法
表明该方法将使用泛型类型T，此时才可以在方法中使用泛型类型T
泛型方法的类型独立于泛型类，哪怕两者标识符一致！
泛型方法可以是静态的，泛型类用到泛型的成员方法不可是静态的。
与泛型类的定义一样，此处T可以随便写为任意标识，常见的如T、E等形式的参数常用于表示泛型
类型通配符一般是使用"?"代替具体的类型实参，所以类型通配符是类型实参，不是类型形参！
类型的上限：？ extends 类型，仅提供消费者使用（不可向形参中添加元素）
类型的下限：？super 类型，仅提供生产者使用（不可消费形参）
总结：PECS
泛型擦除：因为java1.5之前没有泛型，为了兼容，泛型只存在于编译阶段，在进入JVM前，与泛型相关的信息会被擦除掉，我们称之为泛型擦除。
无限制类型擦除

有限制类型擦除

方法的类型擦除

桥接方法

可以声明带泛型的数组引用，但是不能直接创建带泛型的数组对象
可以通过Array.newInstance创建T[]
泛型和反射:
反射常用泛型类:
Class
Constructor