摘要：使用表示泛型中的基本思想就是可以通過(guò)使用像這樣適當(dāng)?shù)某悂?lái)實(shí)現(xiàn)泛型類。請(qǐng)看例子使用實(shí)現(xiàn)泛型使用接口類型表示泛型當(dāng)有多個(gè)類要在一個(gè)通用的方法里表示泛型時(shí)，來(lái)表示可能就顯得捉襟見(jiàn)肘了，因?yàn)檫@個(gè)時(shí)候無(wú)法明確的知道用戶到底需要拆箱為哪種類。

Java中的基本思想就是可以通過(guò)使用像Object這樣適當(dāng)?shù)某悂?lái)實(shí)現(xiàn)泛型類。--《數(shù)據(jù)結(jié)構(gòu)與算法分析 Java語(yǔ)言描述》

文中的超類也就是父類的意思。
使用Object這樣特殊的類來(lái)實(shí)現(xiàn)泛型是用到了Object是所有類的父類這個(gè)基本思想，但是這種實(shí)現(xiàn)方法帶來(lái)了兩個(gè)問(wèn)題：

1. 沒(méi)有覆蓋基本類型，因?yàn)榛绢愋筒皇且妙愋?，所以不能用類表示基本類型，因此Object不是基本類型的父類
2. 在使用泛型后的對(duì)象時(shí)需要強(qiáng)制轉(zhuǎn)換，如果強(qiáng)轉(zhuǎn)失敗了也不會(huì)在編譯時(shí)報(bào)錯(cuò)，只會(huì)在運(yùn)行時(shí)報(bào)強(qiáng)轉(zhuǎn)失敗ClassCastException

這樣Object在實(shí)際使用中就不是一個(gè)非常完美的實(shí)現(xiàn)泛型的一個(gè)方法，但是提供了一個(gè)實(shí)現(xiàn)泛型的基本思想，就是通過(guò)父類來(lái)實(shí)現(xiàn)泛型。請(qǐng)看例子

/**
 * 使用Object實(shí)現(xiàn)泛型
 */
public class ObjectGeneric {

    private Object storedValue;

    public Object read(){
        return storedValue;
    }

    public void write(Object value){
        storedValue = value;
    }

    public static void main(String[] args) {
        ObjectGeneric objectGeneric = new ObjectGeneric();
        objectGeneric.write("23");
        String val = (String)objectGeneric.read();
        System.out.println(val);
    }
}

當(dāng)有多個(gè)類要在一個(gè)通用的方法里表示泛型時(shí)，Object來(lái)表示可能就顯得捉襟見(jiàn)肘了，因?yàn)檫@個(gè)時(shí)候無(wú)法明確的知道用戶到底需要拆箱為哪種類。例如，String和Shape類的數(shù)組要用同一個(gè)findMax函數(shù)來(lái)找出最大的元素，這時(shí)在實(shí)現(xiàn)findMax的時(shí)候可能需要隨時(shí)要判斷入?yún)⒌念愋?，這對(duì)于泛型的意義（減少代碼量）來(lái)說(shuō)是毀滅性的。
因此這個(gè)時(shí)候需要找到String和Shape類的共同之處，抽象出一個(gè)接口，并在findMax里面用作入?yún)?lái)替代直接傳入String或Shape類。findMax的核心在于元素間的比較，在jdk中有一個(gè)接口java.lang.Comparable是滿足findMax需求的。
首先，定義一個(gè)實(shí)現(xiàn)了Comparable接口的抽象類Shape

public abstract class Shape implements Comparable{
    protected Double area;
    @Override
    public int compareTo(Object o) {
        Shape shape = (Shape)o;
        return area.compareTo(shape.getArea());
    }

    public Double getArea() {
        return area;
    }

    public void setArea(Double area) {
        this.area = area;
    }
}

然后派生出兩個(gè)具體的Shape子類:Square,Circle

public class Square extends Shape{
    public Square(double len){
        area = len*len;
    }
}
public class Circle extends Shape{
    public Circle(double radius){
        area = radius*radius*3.14;
    }
}

最后是findMax函數(shù)

import static com.google.common.base.Preconditions.checkArgument;
public class InterfaceGeneric {
    public static void main(String[] args) {
        Shape[] sh = {
                new Circle(3.0),
                new Square(3.0)
        };
        String[] str = {
                "John",
                "Benjamin",
                "Steve"
        };
        Comparable[] comparables = {
                new Circle(3.0),
                "Benjamin"
        };
        System.out.println(findMax(sh));
        System.out.println(findMax(str));
        System.out.println(findMax(comparables));
    }

    public static Comparable findMax(Comparable[] arr){
        checkArgument(arr.length>0);
        int max = 0;
        for(int i = 0 ;i0){
                max = i;
            }
        }
        return arr[max];
    }
}

在findMax函數(shù)中，因?yàn)橐阎雲(yún)⑹菍?shí)現(xiàn)了Comparable接口的類，因此可以不用轉(zhuǎn)換直接使用compareTo函數(shù)，這是利用了接口的特性來(lái)實(shí)現(xiàn)的泛型。
System.out.println(findMax(comparables))會(huì)拋出ClassCastException異常，這是因?yàn)樵赾ompareTo中拆箱時(shí)無(wú)法將String類強(qiáng)轉(zhuǎn)為Shape類導(dǎo)致的。
以上兩種方式都存在編譯不會(huì)報(bào)錯(cuò)，但是會(huì)在運(yùn)行時(shí)報(bào)錯(cuò)的問(wèn)題，這樣就導(dǎo)致程序是不可控的，因?yàn)闊o(wú)法提前預(yù)知程序哪里會(huì)拋RuntimeException，所以需要一種泛型方法來(lái)強(qiáng)制使得異常能夠出現(xiàn)在編譯階段而不是運(yùn)行時(shí)。

在java5中引入了泛型類的概念，通過(guò)<>運(yùn)算符實(shí)現(xiàn)泛型。將第一個(gè)例子用<>運(yùn)算符實(shí)現(xiàn)如下：

public class DiamondGeneric {
    private AnyType storedValue;

    public AnyType read(){
        return storedValue;
    }

    public void write(AnyType value){
        storedValue = value;
    }

    public static void main(String[] args) {
        DiamondGeneric val = new DiamondGeneric<>();
        val.write("this is a test");
        System.out.println(val.read());
    }
}

在這里DiamondGeneric操作限制read,write函數(shù)入?yún)⒊鰠⒌念愋椭荒転镾tring，避免了運(yùn)行時(shí)強(qiáng)轉(zhuǎn)帶來(lái)的Exception。
在這里還用到了Java7增加的一種新的語(yǔ)言特性，菱形運(yùn)算符：new DiamondGeneric<>()，在前面已經(jīng)指定AnyType為String，因此在后面不必再指定類型。

想一種復(fù)雜的狀況，如果一個(gè)接口的多態(tài)實(shí)現(xiàn)需要在一個(gè)通用方法做同樣的操作，例如，Shape接口有一個(gè)area方法，有一個(gè)實(shí)現(xiàn)Circle，一個(gè)實(shí)現(xiàn)Square，需要一個(gè)findAreaCount來(lái)計(jì)算出Shape集合的面積總數(shù)，那么需要在<>里面加入怎樣的限制才能做到？
答案是Collection

public class DiamondInterfaceGeneric {
    public static void main(String[] args) {
        List sh = new ArrayList();
        sh.add(new Circle(3.0));
        sh.add(new Square(3.0));
        System.out.println(totalArea(sh));
    }

    public static double totalArea(Collection arr){
        double total = 0;
        for(Shape s : arr){
            if(s!=null)
                total+= s.getArea();
        }
        return total;
    }
}

在考慮一個(gè)更加極端的狀況，Comparable是泛型的，指定的類型為Shape，也即Comparable，同時(shí)Shape繼承了Comparable，也存在Square類或Circle類實(shí)現(xiàn)了Shape接口，那么這時(shí)候該如何表示Square extends Comparable或Circle extends Comparable這種類呢？
答案是AnyType extends Comparable

public abstract class ShapeGeneric implements Comparable{
    protected Double area;
    @Override
    public int compareTo(ShapeGeneric o) {
        return area.compareTo(o.area);
    }

    public Double getArea() {
        return area;
    }

    public void setArea(Double area) {
        this.area = area;
    }
}
public class CircleGeneric extends ShapeGeneric{
    public CircleGeneric(double radius){
        area = radius*radius*3.14;
    }
}
public class SquareGeneric extends ShapeGeneric{
    public SquareGeneric(double len){
        area = len*len;
    }
}
public class ComplexInterfaceGeneric {
    public static void main(String[] args) {
        ShapeGeneric[] sh = {
                new CircleGeneric(3.0),
                new SquareGeneric(3.0)
        };
        System.out.println(findMax(sh));
    }

    public static > AnyType findMax(AnyType[] arr){
        checkArgument(arr.length>0);
        int max = 0;
        for(int i = 0 ;i0){
                max = i;
            }
        }
        return arr[max];
    }
}