java 泛型 擦除

示例1：

Class class1= new ArrayList<String>().getClass();

Class class2=new ArrayList<Integer>().getClass();

System. out.println(class1==class2);

输出：true

解释：

ArrayList<String>和ArrayList<Integer>在运行时，事实上是相同的类型。这两种形式都被他们擦除成它们的“原生”类型，即ArrayList。

 

 

 

示例2：

Class class3= new HashMap<String, Long>().getClass();
Class class4=new HashMap<Double, Exception>().getClass();
System. out.println(class3==class4);
System. out.println(Arrays.toString(class3.getTypeParameters()));
System. out.println(Arrays.toString(class4.getTypeParameters()));

输出：

true

[K, V]

[K, V]

 

解释：

在泛型代码内部，无法获得任何有关泛型参数类型的信息。

 

 

 

示例3：

class HasF{

        public void f(){
              System. out.println("Hasf obj.f()..." );
       }

}

 

class Manipulator<T extends HasF>{
        private T obj ;

        public Manipulator(T x){
               obj=x;
       }

        public void manipulate(){
               obj.f();
       }
}

 

public class ErasedType {

        public static void main(String[] args){
              HasF hasF= new HasF();
              Manipulator<HasF> manipulator= new Manipulator<HasF>(hasF);
              manipulator.manipulate();
       }
}

解释：

如果没有extends HasF，将不能调用T obj 的 f() 方法。

泛型参数类型将擦除到它的第一个边界，编译器实际上会把 参数类型T 替换为它的非泛型上届，如：<T extends HasF>被擦除为HasF，<T>被擦除为Object。

 

 

示例4

class Erased<T>{
       T obj;

        public Erased(){
               obj= new T();报错
       }
      
        public void f(Object object){
               boolean result= object instanceof T ;//!!报错
       }
}

运行时，擦书在方法或类内部移除了有关实际类型的信息。

小结：

擦除减少了泛型的泛化性。java这样设计泛型主要是为了兼容之前没有泛型时候的java语言（迁移兼容性）。