1. 什么是泛型
(1) 背景
JAVA推出泛型以前,程序员可以构建一个元素类型为Object的集合,该集合能够存储任意的数据类型对象,而在使用该集合的过程中,需要程序员明确知道存储每个元素的数据类型,否则很容易引发ClassCastException
异常。
(2)泛型的概念
Java泛型(generics) 是JDK5中引入的一个新特性,泛型提供了编译时类型安全监测机制,该机制允许我们在编译时检测到非法的类型数据结构。泛型的本质就是参数化类型,也就是所操作的数据类型被指定为一个参数。
(3)泛型的好处
- 类型安全
- 消除了强制类型转换
2.泛型类 接口
泛型类
(1)泛型类的定义语法
java">// 常用的泛型标识: T、E、K、V
class 类名称 <泛型标识,泛型标识,...>{
private 泛型标识 变量名;
......
}
(2)泛型类的使用
- 使用语法
java">类名<具体的数据类型> 对象名 = new 类名<具体的数据类型>();
- Java1.7以后,后面的<>中的具体的数据类型可以省略不写
java">类名<具体的数据类型> 对象名 = new 类名<>(); [菱形语法]
(3)注意事项
(4)从泛型类派生子类
java">class ChildGeneric<T> extends Generic<T>
java">class ChildGeneric<T,E> extends Generic<T>
java">class ChildGeneric extends Generic<String>
泛型接口
(1)泛型接口的定义语法
java">interface 接口名称 <泛型标识,泛型标识,...> {
泛型标识 方法名();
}
3.泛型方法
(1)用法
(2)语法
java">修饰符 <T,E,...> 返回值类型 方法名(形参列表) { 方法体... }
(3)说明
- public与返回值中间非常重要,可以理解为声明此方法为泛型方法。
- 只有声明了的方法才是泛型方法,泛型类中的使用了泛型的成员方法并不是泛型方法。
- < T >表明该方法将使用泛型类型T,此时才可以在方法中使用泛型类型T。
- 与泛型类的定义一样,此处T可以随便写为任意标识,常见的如T、E、K、V等形式的参数常用于表示泛型。
(4)泛型方法与可变参数
java">public <E> void print(E... e){
for (E e1 : e) {
System.out.println(e);
}
}
4.类型通配符
(1)什么是类型通配符
- 类型通配符一般是使用"
?
"代替具体的类型实参。 - 类型通配符是类型实参,而不是类型形参。
(2)类型通配符的上限
语法:
java">类/接口<? extends 实参类型>
要求该泛型的类型,只能是实参类型,或实参类型的子类类型。
(3)类型通配符的下限
语法:
java">类/接口<? super 实参类型>
要求该泛型的类型,只能是实参类型,或实参类型的父类类型。
5.类型擦除
(1)概念
泛型是Java 1.5版本才引进的概念,在这之前是没有泛型的,但是泛型代码能够很好地和之前版本的代码兼容。那是因为,泛型信息只存在于代码编译阶段,在进入JVM之前,与泛型相关的信息会被擦除掉,我们称之为类型擦除。
- 无限制类型擦除
- 有限制类型擦除
- 擦除方法中类型定义的参数
- 桥接方法
6.泛型和数组
(1)泛型数组的创建
java">ArrayList<String>[] listArr = new ArrayList<5>(); //会报错
java">//不会报错
ArrayList[] list = new ArrayList[5];
ArrayList<String>[] listArr = list;
或者
ArrayList<String>[] listArr = new ArrayList[5];
- 可以通过
java.lang.reflect.Array的newInstance(Class,int)
创建T[]数组
7.泛型和反射
- Class
- Constructor
java"> Class<Person> personClass = Person.class;
Constructor<Person> constructor = personClass.getConstructor();
Person person = constructor.newInstance();