“ 泛型是Java SE 1.5的新特性,泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中,分别称为泛型类、泛型接口、泛型方法。”
1、泛型的类型参数只能是类类型(包括自定义类),不能是简单类型。
2、同一种泛型可以对应多个版本(因为参数类型是不确定的),不同版本的泛型类实例是不兼容的。
3、泛型的类型参数可以有多个。
4、泛型的参数类型可以使用extends语句,例如<T extends superclass>。习惯上成为“有界类型”。
5、泛型的参数类型还可以是通配符类型。例如Class<?> classType = Class.forName(java.lang.String);
泛型类:
T是一个泛型类
package generic;
public class Gen<T> {
private T t;
public Gen(T t) {
this.t = t;
}
public T getT() {
return t;
}
public void setT(T t) {
this.t = t;
}
}
我们可以看到T是一个不确定的类。我们在声明、实例化Gen的时候,可以使用:
Gen<String> gen1=new Gen<String>("");
Gen<Integer>gen2=new Gen<Integer>(1);
这样即方便地忽略了T的类型,不需要为gen来设置定义多种参数。
再看如下代码,对Gen进行改造,看看extends的用法
package generic;
public class Gen<T, K extends Comparable<?>> {
private T t;
private K k;
public K getK() {
return k;
}
public void setK(K k) {
this.k = k;
}
public Gen(T t) {
this.t = t;
}
public Gen(T t, K k) {
this.t = t;
this.k = k;
}
public T getT() {
return t;
}
public void setT(T t) {
this.t = t;
}
}
声明、实例化该Gen
可以看到,Object并不是Comparable的子类,出现了错误,即是说,我们为K加入了一个限定“K必须为Comparable的子类”
继续改造Gen,看看super的用法
package generic;
public class Gen<T, K extends Comparable<? super Double>> {
private T t;
private K k;
public K getK() {
return k;
}
public void setK(K k) {
this.k = k;
}
public Gen(T t) {
this.t = t;
}
public Gen(T t, K k) {
this.t = t;
this.k = k;
}
public T getT() {
return t;
}
public void setT(T t) {
this.t = t;
}
}
声明实例化该Gen
可以看到,String虽然实现自Comparable,但它并不是Double或者Double的父类。所以报错。
以下为泛型方法测试实例:
package generic;
/*** 泛型方法测试 ***/
public class GenMethod {
public static <T> void display(T t) {
System.out.println(t.getClass());
}
}
首先,泛型的声明,必须在方法的修饰符(public,static,final,abstract等)之后,返回值声明之前。
然后,和泛型类一样,可以声明多个泛型,用逗号隔开。
调用display,结果如下:
/*** 泛型方法测试 ***/
GenMethod.display(123);
GenMethod.display("");
GenMethod.display(123f);
//结果为:
class java.lang.Integer
class java.lang.String
class java.lang.Float