java泛型与泛型擦除

1：概念

泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数，在用到的时候再指定为具体的类型。

与其他语言不同，java的泛型被称为伪泛型。它只在程序的源码中存在，在编译后的字节码文件中，泛型被转化

成了原始类型（Raw Type）。因此对于运行期的Java语言来说，ArrayList<int>与ArrayList<String>一样，

都是ArrayList类。Java语言中的这种泛型实现方法称为类型擦除。

2：泛型类与泛型方法

定义 一个泛型类只需要在类的类名后面加上<>，再在里面加上类型参数即可：

 

  //泛型类Box
  public class Box<T> {
    private T t;
    public void add(T t) {
      this.t = t;
    }
    public T get() {
      return t;
    }
 }

定义一个类型方法：

   //泛型方法printArray
   public static < E > void printArray( E[] inputArray ){
      	 // 输出数组元素            
         for ( E element : inputArray ){        
            System.out.printf( "%s ", element );
         }
         System.out.println();
    }

 

3：类型擦除

由于java的类型被称为伪类型，在编译之后会将泛型转化为原始类型

 

        ArrayList<String> arrayList1=new ArrayList<String>();  
        arrayList1.add("abc");  
        ArrayList<Integer> arrayList2=new ArrayList<Integer>();  
        arrayList2.add(123);  
        System.out.println(arrayList1.getClass()==arrayList2.getClass()); //均为ArrayList类型，输出true

 

 

 

 

 

当然，我们也可以通过反射为ArrayList添加不同的类型：

 

    ArrayList<Integer> arrayList=new ArrayList<Integer>();
	arrayList.getClass().getMethod("add", Object.class).invoke(arrayList, "abc");
	System.out.println(arrayList.get(0));//输出abc

 

4：类型转换

 

在调用泛型方法的时候，可以指定泛型，也可以不指定泛型。

在不指定泛型的情况下，泛型变量的类型为 该方法中的几种类型的同一个父类的最小级，直到Object。

在指定泛型的时候，该方法中的几种类型必须是该泛型实例类型或者其子类。

     //一个简单的泛型方法  
     public static <T> T add(T x,T y){  
        return y;  
     }
    public static void main(String[] args) {  
        /**不指定泛型的时候*/  
        int i=Test2.add(1, 2); //两个参数都是Integer，返回为Integer类型  
        Number f=Test2.add(1, 1.2);//一个Integer类型，一个double类型，返回为同一父类的最小级:Number类型  
        Object o=Test2.add(1, "asd");//一个Integer类型，一个String类型，返回为同一父类的最小级：Object 类型
  
        /**指定泛型的时候*/  
        int a=Test2.<Integer>add(1, 2);//指定了Integer，所以只能为Integer类型或者其子类  
        int b=Test2.<Integer>add(1, 2.2);//编译错误，指定了Integer，不能为Float  
        Number c=Test2.<Number>add(1, 2.2); //指定为Number，所以可以为Integer和Float  
    }  

5：类型检查

为了避免某些错误，java在编译之前会对类型进行检查。对于ArrayList list=new ArrayList(); 

new ArrayList()会在内存中开辟一个存储空间，可以存储任何的类型对象。而真正涉及类型检查的是它的引用list。所以运行下面代码会有如下结果：

 

	ArrayList list1 = new ArrayList<Integer>();//编译通过，但是会有警告
	list1.add("abc");//编译通过，因为list1引用申明时没有指定类型
	System.out.println(list1.get(0));//输出abc
	
	ArrayList<Integer> list2 = new ArrayList();//编译通过，但是会有警告
	list2.add("abc");//编译错误，list2只能添加int类型
	ArrayList<Integer> list3 = new ArrayList<>();//编译通过，没有警告