为什么用泛型
早期的Object类型可以接收任意的对象类型,但是在实际的使用中,会有类型转换的问题。也就存在这隐患,所以Java提供了泛型来解决这个安全问题。
什么是泛型
● 泛型,即“参数化类型”。一提到参数,最熟悉的就是定义方法时有形参,然后调用此方法时传递实参。
● 参数化类型,就是将类型由原来的具体的类型参数化,类似于方法中的变量参数,此时类型也定义成参数形式,然后在使用/调用时传入具体的类型。
泛型类
泛型有三种使用方式,分别为:泛型类、泛型接口、泛型方法.
泛型类型用于类的定义中,被称为泛型类。通过泛型可以完成对一组类的操作对外开放相同的接口。
一个最普通的泛型类:
public class Demo<T>{ / /T可以为任意标识符,常见的如T、E、K、V等形式的参数常用于表示泛型
private T key; / /key这个成员变量的类型为T,T的类型由外部指定
public Generic(T key) { / /泛型构造方法形参key的类型也为T,T的类型由外部指定
this.key = key;
}
public T getKey(){ / /泛型方法getKey的返回值类型为T,T的类型由外部指定
return key;
}
}
传入的实参类型需与泛型的类型参数类型相同,即为Integer.
Demo<Integer> genericInteger = new Demo<Integer>(123456);
1.泛型的类型参数只能是类类型。
2.泛型的类型参数可以有多个。
3.如果没有定义具体类型,默认为Object。
从泛型类派生子类
子类也是泛型类,子类和父类的泛型类型要一致
class A<T> extends Demo<T>
(1)父类是泛型类(没指定类型)
子类继承父类后,也是泛型类,子类定义类型后,父类类型也随之明确
子类不是泛型类,父类要明确泛型的数据类型
class A extends Demo<String>
(2)子类继承一个泛型类:如果子类 没有定义泛型,那么父类的类型必须在声明时就要明确下来
泛型接口
泛型接口与泛型类的定义及使用基本相同。
public interface Demo<T> { //定义一个泛型接口
public T next();
}
子类也是泛型类,子类和父类的泛型类型要一致
class A<T> implements Demo<T>{
@Override
public T next() {
return null;
}
}
泛型类,泛型接口
子类不是泛型类,父类要明确泛型的数据类型
public class A implements Demo<String> {
@Override
public String next() {
return null;
}
}
泛型通配符
● 什么是类型通配符?
?类型通配符 任意的类型 表示实际参数的类型 (通常用于方法中)
● 类型通配符一般是使用"?"代替具体的类型实参。
● 所以,类型通配符是类型实参,而不是类型形参。
public void showKeyValue1(Demo<Number> obj){
}
Demo<Integer> gInteger = new Demo<Integer>(123);
Demo<Number> gNumber = new Demo<Number>(456);
showKeyValue(gNumber);
showKeyValue(gInteger);这个方法编译器会为我们报错:Generic<java.lang.Integer>
重点:
● 类型通配符上限
类/接口<?extends 实参类型>
(问号表示自己传入的实参类型只能是继承后面的实参类型或者和后面的实参类型相同)控制了传入该泛型实际类型的上面的类型要求该泛型的类型,只能是实参类型,或实参类型的子类类型。
● 类型通配符下限
类/接口<?super 实参类型>
(问号表示自己传入的实参类型只能是后面的实参类型的父类或者和后面的实参类型相同)控制了传入该泛型实际类型的下面的类型要求该泛型的类型,只能是实参类型,或实参类型的父类类型。
类型擦除
泛型是Java 1.5版本才引进的概念,在这之前是没有泛型的,但是,泛型代码能够很
好地和之前版本的代码兼容。那是因为,泛型信息只存在于代码编译阶段,在进入JVM之 前,与泛型相关的信息会被擦除掉,我们称之为一类型擦除。泛型信息只存在于代码编译阶段,在进入 JVM 之前,与泛型相关的信息会被擦除掉,专业术语叫做类型擦除。
List<String> l1 = new ArrayList<String>();
List<Integer> l2 = new ArrayList<Integer>();
System.out.println(l1.getClass() == l2.getClass());
打印的结果为 true 是因为 List<String>和 List<Integer>在 jvm 中的 Class 都是 List.class。
泛型信息被擦除了。
泛型类被类型擦除后,相应的类型就被替换成 Object 类型或者上限类型
类型擦除
案例:
public class Erasure <T>{
T object;
public Erasure(T object) {
this.object = object;
}
}
// Erasure 是一个泛型类,我们查看它在运行时的状态信息可以通过反射。
Erasure<String> erasure = new Erasure<String>("hello");
Field[] fs = eclz.getDeclaredFields();
for ( Field f:fs) {
System.out.println("Field name "+f.getName()+" type:"+f.getType().getName());
}
输出结果
Field name object type:java.lang.Object