体验泛型

Jdk 1.5以前的集合类中存在什么问题  

ArrayList collection = new ArrayList();  

collection.add(1);  

collection.add(1L);

 collection.add("abc");  

int i = (Integer) collection.get(1);//编译要强制类型转换且运行时出错!

Jdk 1.5的集合类希望你在定义集合时,明确表示你要向集合中装哪种类型的数据,无法加入指定类型以外的数据

ArrayList<Integer> collection2 = new ArrayList<Integer>();

collection2.add(1);

/*collection2.add(1L);

collection2.add(“abc”);*///这两行代码编译时就报告了语法错误

int i2 = collection2.get(0);//不需要再进行类型转换

泛型是提供给javac编译器使用的,可以限定集合中的输入类型,让编译器挡住源程序中的非法输入,编译器编译带类型说明的集合时会去除掉“类型”信息,使程序运行效率不受影响,对于参数化的泛型类型,getClass()方法的返回值和原始类型完全一样。由于编译生成的字节码会去掉泛型的类型信息,只要能跳过编译器,就可以往某个泛型集合中加入其它类型的数据,例如,用反射得到集合,再调用其add方法即可。

 

了解泛型

ArrayList<E>类定义和ArrayList<Integer>类引用中涉及如下术语:

整个称为ArrayList<E>泛型类型

ArrayList<E>中的E称为类型变量或类型参数

整个ArrayList<Integer>称为参数化的类型

ArrayList<Integer>中的Integer称为类型参数的实例或实际类型参数

ArrayList<Integer>中的<>念着typeof

ArrayList称为原始类型

参数化类型与原始类型的兼容性:

参数化类型可以引用一个原始类型的对象,编译报告警告,例如, Collection<String> c = new Vector();//可以

原始类型可以引用一个参数化类型的对象,编译报告警告,例如, Collection c = new Vector<String>();//原来的方法接受一个集合参数,新的类型也要能传进去

参数化类型不考虑类型参数的继承关系:

Vector<String> v = new Vector<Object>(); //错误!///不写<Object>没错。

Vector<Object> v = new Vector<String>(); //也错误!

编译器不允许创建泛型变量的数组。即在创建数组实例时,数组的元素不能使用参数化的类型,例如,下面语句有错误:

Vector<Integer> vectorList[] = new Vector<Integer>[10];

 

泛型中的?通配符

问题:

定义一个方法,该方法用于打印出任意参数化类型的集合中的所有数据,该方法如何定义呢?

错误方式:

public static void printCollection(Collection<Object> cols) {   

for(Object obj:cols) {

System.out.println(obj);  

 }

  /* cols.add("string");//没错   

cols = new HashSet<Date>();//会报告错误!*/

}

正确方式:

public static void printCollection(Collection<?> cols) {  

 for(Object obj:cols) {  

  System.out.println(obj);

  }  

 //cols.add("string");//错误,因为它不知自己未来匹配就一定是String   

cols.size();//没错,此方法与类型参数没有关系

   cols = new HashSet<Date>();

 }

总结:

使用?通配符可以引用其他各种参数化的类型,?通配符定义的变量主要用作引用,可以调用与参数化无关的方法,不能调用与参数化有关的方法。

限定通配符的上边界:

正确:Vector<? extends Number> x = new Vector<Integer>();

错误:Vector<? extends Number> x = new Vector<String>();

限定通配符的下边界:

正确:Vector<? super Integer> x = new Vector<Number>();

错误:Vector<? super Integer> x = new Vector<Byte>();

提示:

限定通配符总是包括自己。

?只能用作引用,不能用它去给其他变量赋值  

Vector<? extends Number> y = new Vector<Integer>();

 Vector<Number> x = y;  

上面的代码错误,原理与Vector<Object > x11 = new Vector<String>();相似,  只能通过强制类型转换方式来赋值。