泛型的是参数化类型,也就是说所操作的数据类型被指定为一个参数。
这种参数类型可以用在类、接口和方法的创建中,分别称为泛型类、泛型接口、泛型方法。
在泛型接口、泛型类和泛型方法的定义过程中,我们常见的如T、E、K、V等形式的参数常用于表示泛型形参,且传入参数类型应为对象类型,基本类型用与其对应的包装类。
泛型定义,extends后只能跟一个类+n个接口,并且类在第一位,这和java中的继承一个类,实现多个接口一致,泛型用extends统一了继承和实现
<T extends SomeClass & interface1 & interface2 & interface3>
如<T extends Collection>定义了泛型的上限,泛型类型只能是Collection的实现。
泛型是通过java编译器的称为擦除(erasure)的前端处理来实现的。泛型只是作用于代码编译阶段,在编译过程中,对于正确检验泛型结果后,会将泛型的相关信息擦出,也就是说,成功编译过后的class文件中是不包含任何泛型信息的。泛型信息不会进入到运行时阶段。因为泛型信息在运行中不存在,不能将其用于类型转换。
编译后所有对类型变量的引用被替换成类型变量的上限(一般为Object)。
List list = new ArrayList();
list.add("123");
list.add("345");
list.add(567);
for (int i = 0; i < list.size(); i++) {
String name = (String) list.get(i); // 强制转换出错
System.out.println("name:" + name);
}
将对象放入集合后,集合并不会去记录原始类型,而是变成统一的Object,这是拿出语速进行强转,很容易出错
有时统一类型会把类型定义为Object类型即所有类的父类,但这样必然要使用强制转换来得到原始类型,但如果不知道原始类型,很可能会出现ClassCastException,并且强制转换出错必须要到运行时才能发现,这种情况下泛型使用带来了便利。
public static void main(String[] args) {
List<String> aList = new ArrayList<String>();
List<Object> bList = new ArrayList<Object>();
test(aList);
test(bList);
//test1(aList);//编译出错,类型与定义不符
test1(bList);
}
public static <T> void test(List<T> list){
for (T t : list) {
System.out.println(t);
}
}
public static void test1(List<Object> list){
for (Object obj : list) {
System.out.println(obj);
}
}