Jdk5.0新特点Generic Types(泛型)[Java编程]

1. 介绍

2.定义简单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范例.这个类他没有特定的待处理型别,从前我们定义好了一个类,在输入参数有所固定,是什么型别的有要求,但是目前编写程序,完好可以不拟定参数的范例,具体用的时刻来肯定,增添了程序的通用性,像是一个模板.

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<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范例的地方.
　　以上是“Jdk5.0新特点Generic Types(泛型)[Java编程]”的内容，如果你对以上该文章内容感兴趣，你可以看看七道奇为您推荐以下文章：