泛型的擦除,该怎么解决

泛型的擦除
本帖最后由 yiqiu2324 于 2013-05-21 21:50:35 编辑 http://blog.csdn.net/lonelyroamer/article/details/7868820
在这篇博文中,作者详细讲了泛型.
但有个疑问,那就是使用了泛型的源文件在编译为字节码文件,源文件中的泛型(没有上限/下限)
会被擦除,并且所有的泛型变量会被替换为原始类型,那么内部如何发生强转?(由Object->指定类型?)
作者在谈这个说:
<摘自原话>
2、自动类型转换
  因为类型擦除的问题，所以所有的泛型类型变量最后都会被替换为原始类型。这样就引起了一个问题，既然都被替换为原始类型，那么为什么我们在获取的时候，不需要进行强制类型转换呢？看下ArrayList和get方法：

public E get(int index) {
RangeCheck(index);
return (E) elementData[index];
    }

看以看到，在return之前，会根据泛型变量进行强转。假设泛型类型变量为Date，虽然泛型信息会被擦除掉，但是会将(E) elementData[index]，编译为(Date)elementData[index]。所以我们不用自己进行强转。

编译为(Date)elementData[index]????
上面的方法E在编译后不是被替换成 Object 了....,也就是get 方法 的 E被替换成Object(原始类型)  
这个到底是为什么?类型被擦除替换为原始类型,到底怎么完成的强转动作?

疯狂java上一个例子:

import java.util.ArrayList;
import java.util.List;
public class RawTypeTest {

   public static void main(String[] args){
   
   List list=new ArrayList();
   list.add("ab");
   list.add("cd");
       List<Integer> intList=list;
      
       for(int i=0;i<intList.size();++i)
         System.out.println(intList.get(0));//这里为什么不会把类型转换异常?
     }                                      //返回类型为Integer,集合中的元素为String
 }
 public E get(int index) {
RangeCheck(index);
return (E) elementData[index];//执行到这个位置,不会发生类型转换异常吗?
    }

拜托了..


[解决办法]
给你抄一段书吧，希望能够帮到你
java的泛型被称为伪泛型，它只在程序源码中存在，在编译后的字节码文件中，就已经被替换为原来的原生类型（Raw Type，也称裸类型）了，并且在相应的地方插入了强制转型代码，因此对于运行期的java语言来说，List<Integer>与List<String>就是一个类。所以泛型技术实际上是Java语言的一颗语法糖，Java语言中的泛型实现方法称为类型擦除，基于这种方法实现的泛型被称为伪泛型。

查看更多 下一篇