《Java架構筑基》從Java基礎講起——泛型擦除

一. 什么是泛型擦除

就是指編譯器編譯帶類型說明的集合時會去掉“類型”信息

二. 泛型擦除案例

泛型是提供給javac編譯器使用的，限定集合的輸入類型，編譯器編譯帶類型說明的集合時會去掉“類型”信息。

public class GenericTest {
    public static void main(String[] args) {
        new GenericTest().testType();
    }

    public void testType(){
        ArrayList<Integer> collection1 = new ArrayList<Integer>();
        ArrayList<String> collection2= new ArrayList<String>();

        System.out.println(collection1.getClass()==collection2.getClass());
        //兩者class類型一樣,即字節碼一致

        System.out.println(collection2.getClass().getName());
        //class均為java.util.ArrayList,并無實際類型參數信息
    }
}

輸出

true
java.util.ArrayList

為何會返回true

• 這是因為不管為泛型的類型形參傳入哪一種類型實參，對于Java來說，它們依然被當成同一類處理，在內存中也只占用一塊內存空間。從Java泛型這一概念提出的目的來看，其只是作用于代碼編譯階段，在編譯過程中，對于正確檢驗泛型結果后，會將泛型的相關信息擦出，也就是說，成功編譯過后的class文件中是不包含任何泛型信息的。泛型信息不會進入到運行時階段。
• 在靜態方法、靜態初始化塊或者靜態變量的聲明和初始化中不允許使用類型形參。由于系統中并不會真正生成泛型類，所以instanceof運算符后不能使用泛型類。

使用反射可跳過編譯器，往某個泛型集合加入其它類型數據。

• 只有引用類型才能作為泛型方法的實際參數
• 例子：

public class GenericTest {
    public static void main(String[] args) {
        swap(new String[]{"111","222"},0,1);//編譯通過

        //swap(new int[]{1,2},0,1);
        //編譯不通過,因為int不是引用類型

        swap(new Integer[]{1,2},0,1);//編譯通過
    }

    /*交換數組a 的第i個和第j個元素*/
    public static <T> void swap(T[]a,int i,int j){
        T temp = a[i];
        a[i] = a[j];
        a[j] = temp;
    }
}

但注意基本類型有時可以作為實參，因為有自動裝箱和拆箱。

• 例子(編譯通過了)：

public class GenericTest {
    public static void main(String[] args) {
        new GenericTest().testType();
        int a = biggerOne(3,5);
        //int 和 double,取交為Number
        Number b = biggerOne(3,5.5);
        //String和int 取交為Object
        Object c = biggerOne("1",2);
    }
    //從x,y中返回y
    public static <T> T biggerOne(T x,T y){
        return y;
    }
}

• 同時，該例還表明，當實參不一致時，T取交集，即第一個共同的父類。
• 另外，如果用Number b = biggerOne(3,5.5);改為String c = biggerOne(3,5.5);則編譯報錯:

Error:(17, 29) java: 不兼容的類型: 推斷類型不符合上限
    推斷: java.lang.Number&java.lang.Comparable<? extends java.lang.Number&java.lang.Comparable<?>>
    上限: java.lang.String,java.lang.Object