分类：
2008-10-17 13:34:13
1. 介绍
2.定义简单泛型
其实的泛型就是创建一个用类型作为参数的类。就象我们写类的方法一样，方法是这样的method(String str1,String str2 ),方法中参数str1、str2的值是可变的。而泛型也是一样的，这样写class Java_Generics
import java.util.Hashtable;
class TestGen0
public Hashtable
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
t.put("key", "value");
String s=t.get("key");
System.out.println(s);
}
}
正确输出:value
这只是个例子，不过看看是不是创建一个用类型作为参数的类，参数是K，V，传入的“值”是String类型。这个类他没有特定的待处理型别，以前我们定义好了一个类，在输入参数有所固定，是什么型别的有要求，但是现在编写程序，完全可以不制定参数的类型，具体用的时候来确定，增加了程序的通用性，像是一个模板。
3. 泛型通配符
首先，下面是一个例子，作用是打印出一个集合中的所有元素，我们首先用老版本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
for(Object e : c){
System.out.print(e);
}
}
这个新版本并不比老版本的好多少，老版本可以用任意一种集合类型作为参数来调用，而新版本仅仅持有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
c.add(new Object());//编译时错误
由于我们不知道c持有的是什么类型的元素，我们不能加object到集合中去。add()方法用类型E作为参数，（集合的元素类型）当真正的参数类型是？的时候，它代表的是一些未知类型。任何传递给add()方法的参数必须是这个未知类型的子类型。由于我们不知道未知类型，所以我们传递给它任何东西。主要的例外是null,它是每一个类型的成员。
另一方面，假定给一个List，我们调用get()并且充分利用结果。结果类型是未知类型。但是我总是知道它是一个Object，因此分配一个从get()取出来的结果到一个object的变量是安全的，或者作为一个参数传递到一个需要object类型的地方。
[1]
