目录
为什么用泛型?
早期的Object类型可以接收任意的对象类型,但是在实际的使用中,会有类型转换的问题。也就存在这隐患,所以Java提供了泛型来解决这个安全问题
什么是泛型?
●
泛型,即“参数化类型” 。一提到参数,最熟悉的就是定义方法时有形参,然后调用此方法时传递实参。
●
参数化类型,就是将类型由原来的具体的类型参数化,类似于方法中的变量参数,此时类型也定义成参数形式,然后在使用/调用时传入具体的类型。
●
Java 泛型(generics)是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制,泛型的好处就是在编译的时候能够检查类型安全。
泛型类
泛型类型用于类的定义中,被称为泛型类。通过泛型可以完成对一组类的操作对外开放相同的接口。
一个最普通的泛型类:
public class Demo<T>{ / /T可以为任意标识符,常见的如T、E、K、V等形式的参数常用于表示泛型
private T key; / /key这个成员变量的类型为T,T的类型由外部指定
public Demo(T key) { / /泛型构造方法形参key的类型也为T,T的类型由外部指定
this.key = key;
}
public T getKey(){ / /泛型方法getKey的返回值类型为T,T的类型由外部指定
return key;
}
}
传入的实参类型需与泛型的类型参数类型相同,即为Integer.
Demo<Integer> demo = new Demo<Integer>(123456);
1.
泛型的类型参数只能是类类型
2.
泛型的类型参数可以有多个。
3.
如果没有定义具体类型
,
默认为
Object
从泛型类派生子类
子类也是泛型类,子类和父类的泛型类型要一致
class A<T> extends Demo<T>
子类不是泛型类,父类要明确泛型的数据类型
class A extends Demo<String>
泛型接口
泛型接口与泛型类的定义及使用基本相同。
public interface Demo<T> { //定义一个泛型接口 }
子类也是泛型类,子类和父类的泛型类型要一致
class A<T> implements Demo<T>{ }
子类不是泛型类,父类要明确泛型的数据类型
public class A implements Demo<String> { }
泛型通配符
类型通配符一般是使用
"
?
"
代替具体的类型实参。
public void show(Demo<?> obj){ // ? 表示实际传入的参数类型可以是任意的}Demo<Integer> gInteger = new Demo<Integer>(123);Demo<Number> gNumber = new Demo<Number>(456);show(gInteger);show(gNumber);
类型通配符上限
类/接口
<
?
extends
实参类型
>
要求该泛型的类型,只能是实参类型,或实参类型的子类类型。
类型通配符下限
类/接口
<
?
super
实参类型
>
要求该泛型的类型,只能是实参类型,或实参类型的父类类型。
类型擦除
泛型是Java 1.5版本才引进的概念,在这之前是没有泛型的,但是,泛型代码能够很好地和之前版本的代码兼容。那是因为,泛到信息只存在于代码编译阶段,在进入JVM之前,与泛型相关的信息会被擦除掉,我们称之为一类型擦除。
泛型类被类型擦除后,相应的类型就被替换成 Object 类型或者上限类型.
案例:
public class Demo<T>{T name;public Demo(T name) {this.name= name; }}Demo是一个泛型类,我们查看它在运行时的状态信息可以通过反射。Demo<String> demo= new Demo<String>("jim");Field f = eclz.getField(“name”);System.out.println(f.getName()+" type:"+f.getType());name type:java.lang.Object