黑马程序员技术交流社区

标题: 编译器真的擦出了集合的“类型”信息了吗 (二) [打印本页]

作者: 未知数|X|    时间: 2013-10-29 20:02
标题: 编译器真的擦出了集合的“类型”信息了吗 (二)
三、总结:
      1、查看ArrayList的API文档,你就可以发现,其中的ArrayList是这样定义的:ArrayList<E>,而其中的add方法定义为:boolean add(E e),你是不是发现了什么。  
      我个人认为,虽然反射将类型擦出了,其实反射是脆弱的;即使擦出了集合的类型信息,但是其中的方法可能还会保留原始限定的类型。这里虽然定义了E,要和上面的一样,但是在使用反射的时候,传入的类型参数必须是Object.class。如果不是的话,虽然编译时期并没有问题,但是运行时期是会报错的。   
    2、对于返回类型和集合上限定的类型有关的,即在API中定义的返回类型为E的;如果只是通过反射加入了非限定类型的数据,直接调用这个方法的,并不用强转;而如果调用了这个方法有调用了其他方法,如list.get(0).getClass(),那么需要将list.get(0)作为一个整体强转为Object,即将数据封装到Object中,才能调用其他方法。  
      3、对于返回类型与集合无关的,如size这个方法,无需强转,直接获取。因为size()的返回类型是int,并不是定义的E。   
    4、很重要的一点:除了String类型以外的其他类型(包括自定义类型),无需强转,可以直接使用相应集合中的方法。如上面的get()方法。我个人理解,与集合有关的方法,如get方法只有在你添加进元素时,才能调用,所以,即使get定义为:E get(int index),也无需强转。这里,String类型除外。   
    4、但是对于String类型呢?作为String类型的值,如果添加入限定为非String集合中,那么就需要强转,究其原因,我只能说String是比较特殊的一个类,它有如下特性:被定义为final,而且其值是存在了常量池中,并且可以将任意类型值通过字符串打印。基于如此特殊的类,那么,它必然也有某些特性。所以,我个人认为:在运行时是会检查的,并不是将数据封装到了Object中,而是会检查像get()这样的方法本身的类型和传入集合中的数据的类型的。   
  
            
   
  
      四、收获  
      通过这个测试,我自己给反射的作用起了两个名字:“自动包装”和“屏蔽类型”。也就是说反射出来的成员,都是作为Object返回的,这就屏蔽了成员本身的类型,从而切断了和其中数据的关联,也不是说分隔了成员类型和其中的数据类型。如上面说的get()本身返回的是E这个类型,而获取到的是非法传入的其他类型。  
      从中,我也看到了反射的脆弱,并不是随便通过反射传入其他值,就能成功通过运行的,在某种程度上,反射并不能做到完全的屏蔽,对于String如此特殊的类型,反射就显得有些脆弱了。所以在使用反射的时候,需要特别注意,如果不是用在框架中,尽量不用反射。另一方面,我也认识到了String类型的特殊之处,String中的很多方法都重写了Object中的方法,是不是可以从这里找到String的特殊之处的答案呢?有待研究。  
            
   
  
      后续:  
      大家也可以自己尝试着将集合的限定类型设定为其他类型,如Person类等,那么你会发现一些规律的。  






欢迎光临 黑马程序员技术交流社区 (http://bbs.itheima.com/) 黑马程序员IT技术论坛 X3.2