在基于擦除的實(shí)現(xiàn)中，泛型類型被當(dāng)作第二類類型處理,，即不能再某些重要的上下文環(huán)境中使用的類型,，泛型類型只有在靜態(tài)類型檢查期間出現(xiàn)，在此之后,，程序中所有泛型類型都將被擦除,，替換為它們的非泛型上界，例如,，諸如List<T>被擦除為List,，而普通的類型變量在未指定邊界的情況下，被擦除為Object,。

3.4   擦除的問題

public class ArrayMaker<T> {

    private Class<T> kind;

    public ArrayMaker(Class<T> kind){this.kind=kind;}

    T[] create(int size){

//這里必須轉(zhuǎn)型成有意義的類型,，因?yàn)門并沒有包含具體的意思，它被擦除了,，會 //有警告

        return (T[])Array.newInstance(kind, size);

    }

    public static void main(String[] grs){

        ArrayMaker<String> stringMarker=

new ArrayMaker<String>(String.class);

        String[] stringArray=stringMarker.create(9);

        System.out.println(Arrays.toString(stringArray));

    }

}

結(jié)果：

[null, null, null, null, null, null, null, null, null]

即使kind被存儲為Class<T>,，擦除也意味著它實(shí)際被存儲為Class，沒有任何參數(shù),。因此,，當(dāng)你在使用它時(shí)，例如創(chuàng)建數(shù)組時(shí),，Array.newInstance()實(shí)際上并未擁有kind所蘊(yùn)含的類型信息,，因此不會產(chǎn)生具體的結(jié)果,。在Java中推薦使用工廠（直接使用class.newInstance()或者顯示的工程方法）方法或者模板方法來解決這類創(chuàng)建問題

3.5      擦除的邊界

雖然在運(yùn)行的時(shí)候，擦除在方法體重移除了類型信息,，但是在邊界（看了下面的例子再解釋邊界）的時(shí)候,，還是會進(jìn)行類型轉(zhuǎn)換（檢查）。

public class FilledListMaker<T> {

    List<T> create(T t,int n){

        List<T> result=new ArrayList<T>();

        for(int i=0;i<n;i++){

            result.add(t);

        }

result.add((T)new b());

        return result;

    }

    public static void main(String[] agrs){

        FilledListMaker<demo> stringMarker=

new FilledListMaker<demo>();

        List<demo> list=stringMarker.create(demo.init("44"), 4);

        System.out.println(list.get(4));

        //這里發(fā)生了異常

System.out.println(list.get(4).getaa());

        System.out.println(list);  

    }

}

上面的泛型接受demo類型,，但是我們悄悄放入了一個b類型,。

用javap -c FilledListMaker反編譯類，會得到下面的內(nèi)容：

 

所以可以記住，邊界就是發(fā)生在需要轉(zhuǎn)型的地方,。

3.6   New泛型

創(chuàng)建一個new T（）的嘗試將無法實(shí)現(xiàn),，部分原因是因?yàn)椴脸硪徊糠衷蚴且驗(yàn)榫幾g器不能驗(yàn)證具有默認(rèn)的無參構(gòu)造函數(shù),，但是在C++中,，這種操作很自然，很直觀,，并且很安全,。

Java中的解決方案是傳遞一個工廠對象，并使用它來創(chuàng)建新的實(shí)例,，最便利的工廠就是Class對象,，因此，如果使用類型標(biāo)簽,，就可以使用newInstance來創(chuàng)建這個類型的新對象：

public class ClassAsFactory<T> {

    T x;

    public ClassAsFactory(Class<T> kind){

        try {

            x=kind.newInstance();

        } catch (Exception e){

            throw new RuntimeException(e);

        }

    }

    public static void main(String[] args){

        ClassAsFactory<Employee> fe=new

            ClassAsFactory<Employee>(Employee.class);

        //這里會拋出異常,，因?yàn)镮nteger沒有默認(rèn)的構(gòu)造函數(shù)

        ClassAsFactory<Integer> f1=new

            ClassAsFactory<Integer>(Integer.class);

    }

}

class Employee{}

可以看到，這種方式,，在某些情況下會有異常,，因?yàn)?/SPAN>Integer沒有任何默認(rèn)的構(gòu)造函數(shù)，所以sun并不是很推薦使用這種方式,，建議使用顯示的工廠,，并將限制其類型,，使得智能接受實(shí)現(xiàn)了這個工廠的類：

3.7   Extends，Super和?

1.上面提到了邊界,，因此擦除移除了類型信息,，所以，可以用無界泛型參數(shù)調(diào)用的方法只是那些可以用Object調(diào)用的方法,，但是,，如果能夠?qū)⑦@個參數(shù)限制為某個類型子集,，那么就可以用這些類型子集來調(diào)用方法,。為了執(zhí)行這種限制，Java泛型重用了extends關(guān)鍵字,，

interface face1 {}

interface face2 {}

class class1 {}

class Bound<T extends class1 & face1 & face2> {}

在子類還能加入更多的限定

interface face3 {}

class BoundDerived<T extends class1 & face1 & face2 & face3> extends Bound<T> {}

2.Super關(guān)鍵字限定了下界,，但是沒有限定上界，所以

ArrayList<? super Derived1> alsb = new ArrayList<Base1>();

alsb.add(new Derived1()); //success

// alsb.add(new Base1()); // error: The method add(capture#4-of ? super Derived1) in the type ArrayList<capture#4-of ? super Derived1> is not applicable for the arguments (Base1)

Object d = alsb.get(0); // return an Object

可以看到在接受參數(shù)時(shí)限制放寬了,，因?yàn)榫幾g器知道范型的下界,，只要是Derived類或它的子類都是合法的。但是在返回時(shí),，它只能返回Object類型,，因?yàn)樗荒艽_定它的上界。

3.無界通配符,，即<?>,，與原生類型（非范型類）大體相似

個人感覺這部分是在太繞了，看java編程思想里面那么多的解釋,，還是大概知道咋用就好了,，貼一個我之前系統(tǒng)的設(shè)計(jì)圖吧

4    關(guān)于取得泛型的類型

4.1   Type體系

在java5之后，java加入了type體系,，這部分太麻煩了,，以后有機(jī)會用到再寫吧，shit

4.2   獲得泛型類型

參看Java獲得泛型類型

Java泛型有這么一種規(guī)律：

位于聲明一側(cè)的,，源碼里寫了什么到運(yùn)行時(shí)就能看到什么,；

位于使用一側(cè)的，源碼里寫什么到運(yùn)行時(shí)都沒了,。

聲明一側(cè),，即在Class類內(nèi)的信息；使用一側(cè),，即在一些方法體內(nèi)部

public class GenericClassTest<A,B extends Number> {

   private List<String> list;   

   public static void main(String[] args) throws NoSuchFieldException, SecurityException{

        GenericClassTest<String,Integer> gc=new GenericClassTest<String,Integer>();

        for(TypeVariable ty:gc.getClass().getTypeParameters()){

            System.out.println(ty.getName());

        }

        out(((ParameterizedType)gc.getClass().getDeclaredField("list")

                        .getGenericType()).getOwnerType());

        out(((ParameterizedType)gc.getClass().getDeclaredField("list")

                        .getGenericType()).getRawType());

        out(((ParameterizedType)gc.getClass().getDeclaredField("list").

                        getGenericType()).getActualTypeArguments()[0]);

    }}

輸出：