背景
Java推出泛型以前,程序员可以通过构建一个元素类型为Object的集合,改集合能够存储任意的数据类型对象,而在使用该集合的过程中,程序员明确知道存储的每个元素类型,否则很容易引起ClassCastException异常
泛型学习结构图
一、泛型的概述
Java泛型 是JDK5中引入的一个新特性,泛型提供了编译时类型安全监测机制,该机制允许我们在编译检测到非法的类型数据结构。
泛型的本质就是参数化类型,也就是所操作的数据类型被指定为一个参数。
这里解释一下两个词:
1、编译时类型安全监测机制:
ArrayList<String> strList = new ArrayList<>()
strList.add("1");//这里不会出错,
strList.add ( 1 ); //这里会无法添加,编译时报错。
2、参数化类型:
指的就是将类型,当做参数,如ArrayList<String>,或者ArrayList<User> 这里将String类型,User类型,当做参数,传递给ArrayList
二、泛型类
1、泛型类的定义语法
class 类名称 <泛型标识,泛型标识,.....>{
private 泛型标识 变量名
}
2、常用的泛型标识:T、E、K、V
3、注意:
泛型不支持基本数据类型,只能是类型,因为泛型会先转化成Object类,再在适当的时候,转化成对应的类型。
同一泛型类,根据不同的数据类型创建对象,本质上是同一类型(泛型类类型)地址是相同位置。如:ArrayList<User> 和 ArrayList<Person> 本质上都是ArrayList。
如果子类是泛型类,子类和父类泛型保持一致。如果子类不是泛型类,那么父类要明确泛型类型。
三、泛型方法
1、泛型方法的定义语法
权限修饰符 <T,K,H> 返回类型 方法名 (T t,K k, H h) { 方法体 }
四、泛型接口
1、泛型接口的定义语法:
权限修饰符 interface 接口名称 <T> { }
2、注意:
2.1 实现类不是泛型类,泛型接口要明确类型
2.2 实现类是泛型类,泛型接口要和实现类保持一致
解释如下:
五、泛型通配符
类型通配符一般是使用?代替具体的类型实参。这里就把?当成特别的一种类,是所有类型的父类。
1、类型通配符的上限
即类型传入的实参,必须是指定类型的子类型。
2、类型通配符的下限
即类型传入的实参,必须是指定类型的父类
两者的区别,一个是 extends ,一个是 super
六、泛型擦除
Java语言的泛型采用的是擦除法实现的伪泛型,泛型信息(类型变量、参数化类型)编译之后通通被除掉了。使用擦除法的好处就是实现简单、非常容易Backport,运行期也能够节省一些类型所占的内存空间。而擦除法的坏处就是,通过这种机制实现的泛型远不如真泛型灵活和强大,泛型类型只有在静态类型检查期间才出现,在此之后,程序中的所有泛型类型都将被擦除,替换成它们非泛型上界。
七、泛型与数组
1、在java中是”不能创建一个确切的泛型类型的数组”的,但是如果使用泛型通配符是可以的,如下:
八、总结
在实际的编程过程中,自己可以使用泛型去简化开发,且能很好的保证代码质量