通过Java反射来理解泛型的本质
集合框架中经常会使用泛型指定集合中所存放元素的类型,保证集合的统一性,从集合中取出元素的时候也避免了类型强制转换的操作,所以我们使用常规的方式来往集合中存放元素的时候,如果指定泛型,那么我们只能向集合内添加泛型类型的对象,如果不指定泛型,那么可以往集合中添加任何类型的对象,因为此时默认元素是Object类的对象,取出时也需要类型强制转换,就如下面代码:
1 ArrayList list = new ArrayList();2 list.add(1);
3 list.add("s"); //插入的都是Object的对象类型
4 System.out.println(list);
5
6 ArrayList<String> list1 = new ArrayList<String>();
7 list1.add("s");
8 list1.add(2); //这是错误的
这就可以看出泛型的区别,最后一行代码会被编译器报错,下面分别获取list和list1的类类型,并进行比较:
1 Class c1 = list.getClass();2 Class c2 = list1.getClass();
3 System.out.println(c1 == c2);
因为list和list1属于两个不同的对象,由此我们推断c1和c2也是不相等的两个类类型,但实际上结果输出true,因为反射获取到类类型相当于字节码的执行阶段,那么c1和c2肯定属于执行阶段的比较,所以我们得到结论:编译之后集合的泛型是去泛型化的,所有的集合类的类类型都相等,泛型就不存在了,泛型只是在编译的时候约束元素的类型,只在编译阶段有效,所以我们可以利用反射的原理,绕过编译,让list1也可以存放不同类型的元素:
1 try {2 Method m = c2.getMethod("add", Object.class);
3 m.invoke(list1, 100); //利用反射,在运行阶段执行从而绕过编译的操作
4 System.out.println(list1.size());
5 System.out.println(list1);
6 //不能用foreach来遍历
7 //用iterator遍历
8 Iterator it = list1.iterator();
9 while(it.hasNext()) {
10 Object obj1 = it.next();
11 System.out.println(obj1);
12 }
13 //用for遍历
14 for(int i = 0;i < list1.size();i++) {
15 Object obj2 = list1.get(i);
16 System.out.println(obj2);
17 }
18 } catch (NoSuchMethodException | SecurityException e) {
19 e.printStackTrace();
20 } catch (IllegalAccessException e) {
21 e.printStackTrace();
22 } catch (IllegalArgumentException e) {
23 e.printStackTrace();
24 } catch (InvocationTargetException e) {
25 e.printStackTrace();
26 }
上面代码通过getMothod方法获得方法对象,然后通过invoke方法来执行方法,这样就可以在带有泛型的集合中存放不同的元素,这样就利用反射绕过了编译的限制;因为无法确定指定方法是否存在,因此需要抛出异常;遍历的时候我们可以使用iterator迭代器或者for循环进行遍历,但是因为类型不一致的原因,所以不能用foreach进行遍历
以上是 通过Java反射来理解泛型的本质 的全部内容, 来源链接: utcz.com/z/392263.html