泛型:
**泛型是提供给javac编译器使用的,可以限定集合中的输入类型,让编译器挡住源程序中的非法输入,
编译器编译带类型说明的集合时会去除掉“类型”信息,使程序运行效率不受影响,
对于参数化的泛型类型,getClass()方法的返回值和原始类型完全一样。
由于编译生成的字节码会去掉泛型的类型信息,只要能跳过编译器,
就可以往某个泛型集合中加入其它类型的数据,例如,用反射得到集合,再调用其add方法即可。
**ArrayList类定义和ArrayList类引用中涉及如下术语:
整个称为ArrayList泛型类型
ArrayList中的E称为类型变量或类型参数
整个ArrayList称为参数化的类型
ArrayList中的Integer称为类型参数的实例或实际类型参数
ArrayList中的<>念着typeof
ArrayList称为原始类型
**参数化类型与原始类型的兼容性:
参数化类型可以引用一个原始类型的对象,编译报告警告,
例如,Collection c = new Vector();//可不可以,不就是编译器一句话的事吗?
原始类型可以引用一个参数化类型的对象,编译报告警告,
例如,Collection c = new Vector();//原来的方法接受一个集合参数,新的类型也要能传进去
**参数化类型不考虑类型参数的继承关系:
Vector v = new Vector(); //错误!///不写没错,写了就是明知故犯
Vector v = new Vector(); //也错误!
编译器不允许创建泛型变量的数组。即在创建数组实例时,
数组的元素不能使用参数化的类型,
例如,下面语句有错误:
Vector vectorList[] = new Vector[10];
**泛型限定:
**限定通配符的上边界:
正确:Vector extends Number> x = new Vector();
错误:Vector extends Number> x = new Vector();
**限定通配符的下边界:
正确:Vector super Integer> x = new Vector();
错误:Vector super Integer> x = new Vector();
**提示:
限定通配符总是包括自己。
?只能用作引用,不能用它去给其他变量赋值
Vector extends Number> y = new Vector();
Vector x = y;
上面的代码错误,原理与Vector x11 = new Vector();相似,
只能通过强制类型转换方式来赋值。