Java中Generics的使用

1.Java的Generics与C++的Template
由于Java的Generics设计在C++的Template之后，因此Java的Generics设计吸取Template的很多经验和教训。首先，与Template不同的是，Generics的声明是需要进行类型检查的，而Template不提供这一功能，这使得Generics的使用更加安全。另外，Java的Generics程序只需要编译一次，以后所有程序就可以复用这个类字节码，而Template的实现是为每一个使用Template变量编译成一个新类，这会引起一定的冗余代码。

2.Generics的定义：
2.1类和接口定义
以下是最简单的Generics类定义，定义了一个参数化类型T1：

interface MyList<T1> {….. }

以下是支持多个参数化类型的接口：

interface MyList<T1,T2,T3> {….. }

Java支持带有限制的参数化类型。在下面的例子中，T1的类型必须实现类Comparable接口，T2类型必须为Component类的子类。

interface MyList<T1 implements Comparable, T2 extends Component> {}

复杂的定义可以带有限定的声明，甚至可以使用向前引用。

class Test<A implements ConvertibleTo<B>, B implements ConvertibleTo<A>{}

对于class的定义，基本与interface相同，此处不再详述。

2.2 方法的定义
在方法中，通过定义参数化类型，可以提高方法的抽象级别，提高其可复用性。方法的参数化类型列表放在方法修饰符的后面，返回值的前面。如：

public static  <Elem> void swap(Elem[] a,int i,int j)
   Elem temp=a[i];
   a[i]=a[j]
   a[j]=temp;
}

2.3 实际例子
一但Java语言支持了Generics，Collection中的大部分类将用Generics方式重写。例：使用Generics重写的Hashtable的定义

public class Hashtable<K,V> 
extends Dictionary<K,V> 
implements Map<K,V>, java.lang.Cloneable, java.io.Serializable {  
public V put(K key, V value) {……}
…….
}

与以前的Hashtable定义不同的是，它增加了两个用于表达Key和Value参数化类型(K,V)，由于Dictionary和Map都将支持Generics，因此它们都使用Generics的表达方式。

3.Generics的使用：
3.1 创建对象
Generics类在使用之前，必须按照定义进行初始化，设置参数化类型的实际类型，以下是构造Hashtable和Vector的一些例子。

Hashtable<Integer,String> ht1=new Hashtable<Integer,String>();
Hashtable<Integer,String> ht2=null;
Vector<String> v1=new Vector<String>();
Vector<Integer> v2=new Vector<Integ

3.2 Generics对象的类
在上例中，对于v1和v2对象来说，它们都是Vector类的对象，它们有相同的Class类型，换句话说，在运行时，以下表达式为真。虽然它们使用不同的参数类型创建，但是它们的Class类型是相同的。 Assert(V1.getClass().equals(v2.getClass()));

但是，如果我们定义一个 带有Vector参数的方法，在调用该方法时，传入一个Vector的对象，这将会导致编译失败。这是因为在编译时，这两个对象被当作不同的类型。

void  method(Vector<String> v) {};
…
Vector<Integer> v2=new Vector<Integer>();
method(v2);//编译失败

3.3 类的强制转换
对于Generics类的强制转化的原理，我们可以使用通用的转化规则进行操作。需要注意的一点是，同一个Generics类所定义的不同参数化类型的对象之间是不能进行转化的。例如Vector和Vector之间就是不能转化的。另外，Object也不能够转化成Generics类型，但是Generics类可以转化成Object。

以下是一些转化的例子

Class Dictionary<A,B> extends Object{}
Class Hashtable<A,B> extends Dictionary<A,B> {}
Dictionary<String,Integer> d=new Dictionary<String,Integer>();
Hashtable<String,Integer> h=new Hashtable <String,Integer>();
Hashtable<Float,Double> hfd=new Hashtable<Float,Double>();
Object o=new Object();
1) d= (Dictionary<String,Integer>)h//编译成功，运行成功；它们具有父子类关系。
2) h=(Hashtable<String,Integer>)d;// 编译成功，运行失败；它们具有父子类关系。
3) h=(Hashtable<String,Integer>)o;//编译失败，Object不能转化成Generics类；
4) hfd=(Hashtable<Float,Double>)d;//编译失败；