在开发的过程中,发现对于Java中的泛型,了解较为浅显,所以今天重新学习一下。
一、泛型
1.泛型的诞生
首先,来看一下Java官方文档中泛型的定义:Java 泛型(generics)是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制,该机制允许程序员在编译时检测到非法的类型。泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数。
通过这一段话,我们可以看出几个点,首先,泛型的操作主要发生在编译期间,其次,泛型是针对类型安全而设计的。
接下来我们来看一下,有哪些场景催生了泛型(generics)呢?
场景一:写一个排序方法,能够对整型数组、字符串数组甚至其他任何类型的数组进行排序,该如何实现?
场景二:一个类中某个字段A,在实例化的过程中,有时需要其为Integer,有时需要其为String,该如何实现?
当然,我们想到了,不是有类型转换吗。但是,如果你将初始类型设置为Object,向下转型是存在着风险的,而且编译期间不容易发现,只有在运行期间才会抛出java.lang.ClassCastException异常,所以要尽量避免使用向下转型。
那么,有没有更好的办法,既可以不使用重载(有重复代码),又能把风险降到最低呢?
于是有了泛型类,它可以接受任意类型的数据。所谓“泛型”,就是“宽泛的数据类型”,任意的数据类型。也就是根据前面定义中所说的,在设计类或方法的时候,我将数据类型设置为一个参数,在实例化的过程中再为类型赋值。
2.泛型的应用
实际的开发中,常见的泛型应用,有泛型类、泛型方法,泛型接口,泛型集合。
一般的应用开发中泛型使用较少,多用在框架或者库的设计中。比如,List<E>接口,ArrayList<E>类,Class<T>类,等等。
3.类型擦除
4.限制泛型的可用类型
5.泛型的使用注意
二、泛型通配符(?)
泛型通配符设计的目的,是为了避免类型擦除。
类型通配符一般是使用?代替具体的类型参数。例如 List<?> 在逻辑上相当于List<String>,List<Integer> 等所有List<具体类型实参>的父类。