对于在泛型中ArrayList<E>类定义和ArrayList<Integer>类引用中涉及如下术语:
(1) 整个称为ArrayList<E>泛型类型
(2) ArrayList<E>中的E称为类型变量或类型参数
(3)整个ArrayList<Integer>称为参数化的类型
(4)ArrayList<Integer>中的Integer称为类型参数的实例或实际类型参数
(5)ArrayList<Integer>中的<>念着typeof
(6)ArrayList称为原始类型
参数化类型与原始类型的兼容性:
参数化类型可以引用一个原始类型的对象,编译报告警告,例如, Collection<String> c = new Vector();
原始类型可以引用一个参数化类型的对象,编译报告警告,例如, Collection c = new Vector<String>();//原来的方法接受一个集合参数,新的类型也要能传进去
参数化类型不考虑类型参数的继承关系:
Vector<String> v = new Vector<Object>(); //错误!///不写<Object>就是对的
因为从v中取出的对象当作String用,而v实际指向的对象中可以加入任意的类型对象
Vector<Object> v = new Vector<String>(); //也错误!
因为向v中加入任意的类型对象,而v实际指向的集合中只能装String类型的对象
编译器不允许创建泛型变量的数组。即在创建数组实例时,数组的元素不能使用参数化的类型,例如,下面语句有错误:
Vector<Integer> vectorList[] = new Vector<Integer>[10];
以下两句应用也是正确的
Vector v1 = new Vector<String>();
Vector<Object> v = v1;
因为第一个行是把一个参数化的类型给一个原始类型,第二行这里把一个原始类型给一个参数化的类型,编译器是一个严格按照语法检查的工具,它是一行一行地去翻译代码的,检查到 Vector<Object> v = v1;的时候发现v1是原始类型,Vector<Object>是参数化类型,把原始类型传递给参数化类型这个符合条件,所以通过编译