1.定义简单Java泛型
其实Java的泛型就是创建一个用类型作为参数的类。就象我们写类的方法一样,方法是这样的method(String str1,String str2 ),方法中参数str1、str2的值是可变的。而泛型也是一样的,这样写class Java_Generics<K,V>,这里边的K和V就象方法中的参数str1和str2,也是可变。下面看看例子:
import java.util.Hashtable;
class TestGen0<K,V>{
public Hashtable<K,V> h=new Hashtable<K,V>();
public void put(K k, V v) {
h.put(k,v);
}
public V get(K k) {
return h.get(k);
}
public static void main(String args[]){
TestGen0<String,String> t=new TestGen0<String,String>();
t.put("key", "value");
String s=t.get("key");
System.out.println(s);
}
}
正确输出:value
这只是个例子,不过看看是不是创建一个用类型作为参数的类,参数是K,V,传入的“值”是String类型。这个类他没有特定的待处理型别,以前我们定义好了一个类,在输入参数有所固定,是什么型别的有要求,但是现在编写程序,完全可以不制定参数的类型,具体用的时候来确定,增加了程序的通用性,像是一个模板。
2. 泛型通配符
首先,下面是一个例子,作用是打印出一个集合中的所有元素,我们首先用老版本jdk1.4的编码规则,代码如下:
void printColleciton(Collection c){
iterator i = c.iterator();
for (k = 0; k < c.size();k++){
System.out.pritnln(i.next();
}
然后,我们用jdk5.0泛型来重写上面这段代码(循环的语法是新版本的语法):
void printCollection(Colleciton<Object> c){
for(Object e : c){
System.out.print(e);
}
}
这个新版本并不比老版本的好多少,老版本可以用任意一种集合类型作为参数来调用,而新版本仅仅持有Collection<Object>类型,Colleciton<Object>并不是任意类型的Collection的超类。
那么什么是所有Colleciton类型的超类型呢?它是Collection<?>这样一个类型,读作“未知Colleciton”。它的意思是说Colleciton的元素类型可以匹配任意类型,我们把它称作通配符类型,我们这样写:
void printCollection(Colleciton<?> c){
for (Object e: c){
System.out.println(e);
}
}
现在我们用任意类型的集合来调用它了,需要注意的是内部方法printColleciton(),我们任可以从c中来读出元素,并且这些元素是Object类型,而且是安全的,因为无论集合中是什么类型,它总包括Object,但是将任意对象加到集合中是不安全的:
Colleciton<?> c = new ArrayList<String>();
c.add(new Object());//编译时错误
由于我们不知道c持有的是什么类型的元素,我们不能加object到集合中去。add()方法用类型E作为参数,(集合的元素类型)当真正的参数类型是?的时候,它代表的是一些未知类型。任何传递给add()方法的参数必须是这个未知类型的子类型。由于我们不知道未知类型,所以我们传递给它任何东西。主要的例外是null,它是每一个类型的成员。
另一方面,假定给一个List<?>,我们调用get()并且充分利用结果。结果类型是未知类型。但是我总是知道它是一个Object,因此分配一个从get()取出来的结果到一个object的变量是安全的,或者作为一个参数传递到一个需要object类型的地方。
3.1有限制的通配符
考虑一个画图的应用程序,这个程序能够画长方形、圆等类型,为了在程序中表示这样的图形,你可以定义一个类型的层次结构:
public abstract class Shape{
public abstract void draw(Canvas c);
}
public class Circle extends Shape{
private int x,y,radius;
public void draw(Canvas c){}
}
public class Rectangle extends Shape{
private int x,y,width,height;
public void draw(Canvas c){
}
}
//这些类能被画在画布上:
public class Canvas{
public void draw(Shape s){
s.draw(this);
}
}
任何画图的动作的都包含一些图形,假设他们被表示在一个list中,在Canvas中它将会有一个很方便的方法来画他们:
public void drawAll(List<Shape> shapes){
for(Shape s :shapes){
s.draw(this);
}
}
现在类型规则说,方法drawAll()只能在真正的Shape类型的List上被调用,而它的子类无法调用,例如List<Circle>上被调用。这是很不幸的。由于所有的方法确实从List中读出Shape,所以它仅能在List<Object>上被调用,下面我们改后的代码可以在任意类型的Shape上被调用:
public void drawAll(List< ? extends Shape>{ }
这里有一个很小的不同是,我们已经用List<? extends Shape>替换了List<Object>,现在drawAll()方法可以接受任意的Shape的子类了,我们当然可以在List<Circle>上调用。
<? extends Class>是一种限制通配符类型,它可以接受所有<Class>以及Class的子类型。然而调用代价是,只读访问,无法向shapes中添加元素。像通常一样,使用通配符带来的灵活性将付出代价,例如,下面是不允许的:
public void addRectangle(List<? extends Shape> shapes){
shapes.add(0,new Rectangle());//编译时错误
}
限制性通配符的一个例子是,是一个人口普查的例子,我们假设数据是由一个名字映射一个人,名字是字符串,人(可以是Person,或是它的子类Driver),Map<k,v>是一个泛型的例子,它拥有两个参数,表示为一个KEY和value的映射MAP
再次注意正规参数的命名规则,K代表key,V代表value
public class Census{
public static void addRegistry(Map<String ? extends Person> Registry){ }
}
Map<String,Driver> allDrivers =;
census.addResigtry(allDrivers);
编写泛型类要注意:
1) 在定义一个泛型类的时候,在 “<>”之间定义形式类型参数,例如:“class TestGen<K,V>”,其中“K” , “V”不代表值,而是表示类型。
2) 实例化泛型对象的时候,一定要在类名后面指定类型参数的值(类型),一共要有两次书写。例如:
TestGen<String,String> t=new TestGen<String,String>();
3) 泛型中<K extends Object>,extends并不代表继承,它是类型范围限制。
4.泛型与数据类型转换
4.1. 消除类型转换
上面的例子大家看到什么了,数据类型转换的代码不见了。在以前我们经常要书写以下代码,如:
import Java.util.Hashtable;
class Test {
public static void main(String[] args) {
Hashtable h = new Hashtable();
h.put("key", "value");
String s = (String)h.get("key");
System.out.println(s);