学习：Java泛型之一

 

“ 泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。”

　　1、泛型的类型参数只能是类类型（包括自定义类），不能是简单类型。

　　2、同一种泛型可以对应多个版本（因为参数类型是不确定的），不同版本的泛型类实例是不兼容的。

　　3、泛型的类型参数可以有多个。

　　4、泛型的参数类型可以使用extends语句，例如<T extends superclass>。习惯上成为“有界类型”。

　　5、泛型的参数类型还可以是通配符类型。例如Class<?> classType = Class.forName(java.lang.String);

 

 

泛型类：

　T是一个泛型类

Gen

 1 package generic;
 2 
 3 public class Gen<T> {
 4 
 5     private T t;
 6 
 7     public Gen(T t) {
 8         this.t = t;
 9     }
10 
11     public T getT() {
12         return t;
13     }
14 
15     public void setT(T t) {
16         this.t = t;
17     }
18 
19 }

 

我们可以看到T是一个不确定的类。我们在声明、实例化Gen的时候，可以使用：

Gen<String> gen1=new Gen<String>("");

Gen<Integer>gen2=new Gen<Integer>(1);

这样即方便地忽略了T的类型，不需要为gen来设置定义多种参数。

 

 再看如下代码，对Gen进行改造，看看extends的用法

 

View Code

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的用法

View Code

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的父类。

所以也报错了。