面試官：說一下java的泛型機(jī)制是怎樣的。

（學(xué)習(xí)視頻分享：java視頻教程）

精簡版回答

Java在開發(fā)時，通過使用菱形語法< >，使一個類、接口或者方法具有接受泛指的一群類作為參數(shù)，泛指的類最終由尖括號里的規(guī)則所限定，泛指類通常用大寫字母表示，一般用字母T，后期經(jīng)過Java編譯器編譯，泛型將被擦除，根據(jù)具體使用的類，替換泛型，生成class字節(jié)碼，所以泛型是對Jvm透明的。

豪華版回答

泛型于JDK1.5正式引入

Java引入泛型背景

Java集合是允許放入多種類型的,例如

    List list=new ArrayList();
    list.add("String");
    list.add(1024);

這在JDK1.5之前是常見的使用方式，即便放在今天的JDK下，也是允許的，那么類似于這種集合的使用方式，就會帶來一些問題，就是集合中究竟放了哪些類型，恐怕只有創(chuàng)建集合的人才知道，其他調(diào)用者，根本無法確定，這樣在大型項目里，極易出現(xiàn)問題，調(diào)用者強(qiáng)轉(zhuǎn)集合里的某個對象，一旦類型錯誤，就會報錯，這種錯在當(dāng)時編譯階段是無法發(fā)現(xiàn)的，只有運行時才被發(fā)現(xiàn)，為了解決類似問題，JDK引入了泛型。

泛型類型

引入泛型后，從而可以在編譯階段，檢查類型是否符合要求，很大程度上，杜絕了盲目的類型轉(zhuǎn)換。 泛型主要工作在編譯器，編譯后，JVM運行時，是無法感知泛型的。 泛型分為普通泛型和通配泛型。

1.普通泛型

這類泛型顧名思義，就是支持調(diào)用時傳入任意類型，但是調(diào)用時，等號左右倆邊泛型必須一致。JDK1.7右側(cè)菱形可以省略。

class Test<T>{...} //聲明時
Test<Integer> test = new Test<Integer>(); //調(diào)用時
Test<Integer> test = new Test(); //1.7調(diào)用時

3.界限泛型

<?>//無界泛型，任意類型都匹配
<T extends ClassA>//有界泛型 - 繼承自某父類
<T extends InterfaceB>//有界泛型 - 實現(xiàn)某接口
<T extends ClassA & InterfaceB & InterfaceC ... >//有界泛型 - 多重邊界
<T super ClassC>//有界泛型 - 指定類父類

泛型擦除

剛才說到，泛型只在寫代碼時和編譯時起作用，而Jvm加載class運行時是無感透明的，是因為編譯器編譯時將泛型擦除了，簡單不嚴(yán)謹(jǐn)?shù)恼f就是：把類或方法上的那個<>尖括號干掉了，根據(jù)尖括號里的規(guī)則換成具體的類，所以Jvm運行時根本不知道這段代碼里之前有過泛型，這樣做是為了兼容，前面說到泛型是JDK1.5才引入的，這樣，即便引入泛型，現(xiàn)有的Jvm也不需要大改，只需要改一下編譯器即可，對于這種編譯器能感知的語法，而虛擬機(jī)無法感知的，人們把這種語法稱作語法糖(suger)，編譯器經(jīng)過 脫糖(Desuger) 后，拿到干貨，交給虛擬機(jī)去執(zhí)行。

（圖文教程推薦：java入門教程）

泛型擦除機(jī)制

//Pair的泛型
public class Pair<T> {

    private T mFirst;
    private T mSecond;

    public T getmFirst() {
        return mFirst;
    }

    public void setmFirst(T mFirst) {
        this.mFirst = mFirst;
    }

    public T getmSecond() {
        return mSecond;
    }

    public void setmSecond(T mSecond) {
        this.mSecond = mSecond;
    }
}

//Pair的原始類型
//無論何時定義一個泛型類型，都會自動提供一個相應(yīng)的 原始類型
public class Pair {

    private Object mFirst;
    private Object mSecond;

    public Object getFirst() {
        return mFirst;
    }

    public void setFirst(Object mFirst) {
        this.mFirst = mFirst;
    }

    public Object getSecond() {
        return mSecond;
    }

    public void setmSecond(Object mSecond) {
        this.mSecond = mSecond;
    }
}

//如果調(diào)用Pair<T extends String>編譯擦除后得到如下=
class Pair{
    private String mFirst;
    private String mSecond;
    ...
}

當(dāng)泛型作為方法的入?yún)r，擦除后換成通配泛型的下界，例如add方法

public static void insertElements(List<? super A> list){
    //Add進(jìn)來的都是層級“小于等于”A的，也就是下界
    list.add(new A());
    list.add(new B());
    list.add(new C());
}

當(dāng)泛型作為方法的回參時，擦除后換成通配泛型的上界，例如get方法

public void processElements(List<? extends A> elements){
   //for循環(huán)挨個get list 里的數(shù)據(jù)，都當(dāng)做A，也就是都當(dāng)做上界
   for(A a : elements){
      System.out.println(a.getValue());
   }
}

對于泛型的類型擦除說再多，看再多博客，不如官方定義準(zhǔn)確，放一段Oracle官方對于類型擦除的文檔

Type Erasure
Generics were introduced to the Java language to provide tighter type checks at compile time and to support generic programming. To implement generics, the Java compiler applies type erasure to:
Replace all type parameters in generic types with their bounds or Object if the type parameters are unbounded. The produced bytecode, therefore, contains only ordinary classes, interfaces, and methods.Insert type casts if necessary to preserve type safety.Generate bridge methods to preserve polymorphism in extended generic types.Type erasure ensures that no new classes are created for parameterized types; consequently, generics incur no runtime overhead.

更多面試題請點擊：java面試題及答案

以上是說說java的泛型機(jī)制是怎樣的的詳細(xì)內(nèi)容。更多信息請關(guān)注PHP中文網(wǎng)其他相關(guān)文章！