泛型:是JDK1.5版本以后出现新特性,用于解决安全问题,是一个类型安全机制。
泛型是提供给javac编译器使用的,可以限定集合中的输入类型,让编译器挡住源程序中的非法输入,编译器编译带类型说明的集合时会去除掉“类型”信息,使程序运行效率不受影响,对于参数化的泛型类型,getClass()方法的返回值和原始类型完全一样。
import java.util.*;
public class GenericDemo {
public static void main(String[] args)
{
ArrayList<String> al=new ArrayList<String>();
al.add("abc001");
al.add("abc021");
al.add("abc102");
al.add("abc101");
//al.add(11);//出现问题ClassCastException
System.out.println(al.getClass()); //输出结果为:class java.util.ArrayList
Iterator<String> it=al.iterator();
while (it.hasNext()) //通过iterator()遍历al中的元素并打印
{
String s=it.next();
System.out.print(s+"\t");
}
}
}
由于编译生成的字节码会去掉泛型的类型信息,所以在运行时ArrayList<String>和ArrayList<Integer> 的实际类型是一样的class java.util.ArrayList
ArrayList<String> 的类型:class java.util.ArrayList
ArrayList<Integer> 的类型:class java.util.ArrayList
只要能跳过编译器,就可以往某个泛型集合中加入其它类型的数据,例如,用反射得到集合,再调用其add方法即可。
import java.lang.reflect.InvocationTargetException;
import java.util.ArrayList;
public class GenericTest {
/**
* @param args
* @throws Exception
* @throws InvocationTargetException
* @throws IllegalAccessException
* @throws SecurityException
* @throws IllegalArgumentException
*/
public static void main(String[] args) throws IllegalArgumentException, SecurityException, IllegalAccessException, InvocationTargetException, Exception {
// TODO Auto-generated method stub
//使用泛型避免了类型转换
ArrayList<String> collection2=new ArrayList<String>();
collection2.add("1");
collection2.add("1.00000");
collection2.add("abac");
//演示泛型内部原理
ArrayList<Integer> collection3=new ArrayList<Integer>();
collection3.add(123);
//getClass()方法的返回值和原始类型完全一样
System.out.println("判断泛型类型===="+(collection2.getClass()==collection3.getClass()));
//通过反射穿过 编译器的泛型类型判断 :Integer类型中存入String类型的对象
collection3.getClass().getMethod("add", Object.class).invoke(collection3, "abc");
System.out.println(collection3.get(1));
}
}
泛型术语
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];
泛型中的?通配符
使用?通配符可以引用其他各种参数化的类型,?通配符定义的变量主要用作引用,可以调用与参数化无关的方法,不能调用与参数化有关的方法。
import java.util.ArrayList;
import java.util.Collection;
import java.util.HashSet;
public class GenericDemo {
public static void main(String[] args) {
HashSet<String> hs=new HashSet<String>();
hs.add("C++");
hs.add("Java");
printCollection(hs);
ArrayList<Integer> al=new ArrayList<Integer>();
al.add(23);
al.add(32);
printCollection(al);
}
//使用泛型的通配符?定义一个方法,该方法用于打印出任意参数化类型的集合中的所有数据
public static void printCollection(Collection<?> collection)
{
for(Object obj:collection)
{
System.out.println(obj);
}
//cols.add("string");//错误,因为它不知道自己未来匹配就一定是String
collection.size();//没错,此方法与类型参数没有关系
collection = new HashSet<String>();//原始类型可以引用一个参数化类型的对象
}
}
限定通配符的边界
限定通配符的上边界:
正确: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>();相似,
//只能通过强制类型转换方式来赋值。