黑马程序员：泛型的高级介绍及通过反射获取实际类型参数

---------------------- ASP.Net+Android+IOS开发、 .Net培训、期待与您交流！ ----------------------JDK1.5以前的集合类中存在什么问题？
ArrayList collection = new ArrayList();
collection.add(1);
collection.add(1L);
collection.add("abc");
int i = (Integer)collection.get(1);//这获取的其实是1L，属于Long型。get返回的是Object类型，编译要强制类型转换，运行时出错（因为不是Integer，而是Long）

JDK1.5的集合类希望你在定义集合时，明确表示你要向集合中存入哪种类型数据，无法存入指定类型以外的数据
ArrayList<String> al = new ArrayList<String>();
al.add("abc");
al.add(1L);//编译时就会报告语法错误
int i = al.get(0);//不需要再进行类型转换
泛型是提供给javac编译器使用的，可以限定集合中的输入类型，让编译器挡住源程序中的非法输入，编译器编译带类型说明的集合时会去掉“类型”信息，使程序运行效率不受影响，对于参数化的泛型类型，getClass()方法的返回值和原始类型完全一样（collection.getClass() == al.getClass(); true）。由于编译生成的字节码会去掉泛型的类型信息，只要能跳过编译器，就可以往某个泛型集合中加入其他类型的数据，例如，用反射得到集合，再调用其add方法即可。
代码演示:
ArrayList<Integer> inAl = new ArrayList<Integer>();
//inAl.add("abc"); 正常加入的方法会被编译器检查到语法错误
下面通过反射的方法跳过编译器，证明泛型是给编译器看的
inAl.getClass().getMethod("add",Object.class).invoke(inAl,"abc");
System.out.println(inAl.get(0));//abc 

ArrayList<E>类定义和ArrayList<Integer>类引用中涉及如下术语：
1.整个成为ArrayList<E>泛型类型
2.ArrayList<E>中的E称为类型变量或类型参数
3.整个ArrayList<Integer>称为参数化的类型
4.ArrayList<Integer>中的Integer成为类型参数的实例或实际类型参数
5.ArrayList<Integer>中的<>念typeof 即ArrayList typeof Integer
6.ArrayList称为原始类型

参数化类型与原始类型的兼容性：
参数化类型可以引用一个原始类型的对象，编译报告警告，如：
Collection<String> c = new Vector();
原始类型可以引用一个参数化类型的对象，编译报告警告，如：
Collection c = new Vector<String>();

参数化类型不考虑类型参数的继承关系：
Vector<String> v = new Vector<Object>();//错误
Vector<Object> v = new Vector<String>();//错误

创建数组实例时，数组的元素不能使用参数化类型，例如，下面的语句是错误的
Vector<Integer> vectorList[] = new Vector<Integer>[10];//错误

思考题：下面的代码会报错吗？
Vector v = new Vector<String>();//原始类型引用参数化类型对象
Vector<Object> v1 = v; //参数化引用原始类型对象
答案是不会报错；

泛型中的？通配符
问题：定义一个方法，该方法用于打印出任何参数化类型的集合中的所有数据，该方法该如何定义呢？
错误的代码演示：

public static void printCollection(Collection<Object> cols) {
	for(Object obj : cols) {
		System.out.println(obj);
	}
	/*
		cols.add("string");//没错
		cols = new HashSet<Date>();//会报告错误cols是<Object>
	*/
}

正确的代码演示：

public static void printCollection(Collection<?> cols) {
	for(Object obj : cols) {
		System.out.println(obj);
	}
	/*
		cols.add("string");//错误，因为它不知道自己未来匹配类型
		cols.size();//正确，因为该方法和类型参数没有关系
		cols = new HashSet<Date>();//正确，相当于给?赋值为Date
	*/
}

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

泛型方法练习题：
1.编写一个泛型方法，自动将Object类型的对象转换成其他类型
Object obj = "abc";
String str = changeType(obj);
public <T> T changeType(Object obj) {
return (T)obj;
}
2.编写一个方法，可以将任意类型数组中的所有元素填充为相应类型的某个对象
public <T> void fillArray(T[] arr, T obj) {
for(int x=0; x<arr.length; x++) {
arr[x] = obj;
}
}
3.用自定义泛型方法的方式打印出任意参数化类型的集合中的所有内容
public <E> void print(Collection<E> cols) {
for(E col : cols) {
System.out.println(col);
}
}
4.定义一个方法，把任意参数类型的集合中的数据安全地复制到相应类型的另一个数组中 (Vertor<Date>复制到new String[10]会出错，因为泛型T类型被认为为Date，因为有一个传递过程)

5.定义一个方法，把任意参数类型的一个数组中的数据安全地复制到相应类型的另一个数组中 （new Date[10]复制到new String[10]不会出错，因为有一个自动类型推断过程，他们都属于Object）


类型参数的类型推断：
类型参数的类型推断具有传递性，下面第一种情况推断实际参数类型为Object类型，编译没问题，而第二种情况则根据参数化的Vector类实例将类型变量直接确定为String类型，编译将出现问题：
copy(new Integer[5], new String[5]) -> static <T> void copy(T[] a, T[] b);
copy(new Vector<String>(), new Integer[5]) -> static <T> void copy(Collection<T> a, T[] b)

多个方法中要使用同一个参数类型的话就使用泛型类

通过反射获取泛型的实际类型参数：
Vector<Date> v = new Vector<Date>();
无法直接通过对象本身获取实际类型参数Date，只有通过某方法把该对象当参数调用时，通过该方法获取参数列表中的参数，并获取泛型参数的实际参数类型
演示代码：

public static void main(String[] args) throws Exception{
	Vector<Date> v = new Vector<Date>();
	Method methodShow = EnumLampTest.class.getMethod("show", Vector.class);
	Type[] type = methodShow.getGenericParameterTypes();
	ParameterizedType ptype = (ParameterizedType)type[0];
	System.out.println(ptype.getActualTypeArguments()[0].toString());
}
public static void show(Vector<Date> v) {
	
}

---------------------- ASP.Net+Android+IOS开发、 .Net培训、期待与您交流！ ----------------------详细请查看： http://edu.csdn.net