泛型的概念
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