java之泛型(2)

接上一篇使用通配符(?)

通配符

在上一篇中沒(méi)有詳細(xì)講通配符的使用，蘿卜剛開(kāi)始學(xué)這兒的時(shí)候覺(jué)得不好理解，后來(lái)一下子想開(kāi)了。蘿卜覺(jué)得泛型最新重要的作用是解決了類(lèi)型安全的問(wèn)題，有些時(shí)候我們需要某種類(lèi)型，同時(shí)不需要其他的類(lèi)型，這個(gè)問(wèn)題在泛型出現(xiàn)之前是很難解決的。

舉個(gè)很簡(jiǎn)單的例子：容器類(lèi)中都定義了泛型
ArrayList<String> strs = new ArrayList<String>
strs.add(13) //錯(cuò)誤

有時(shí)候我們不確定我們具體要傳哪種類(lèi)型，就可以使用<?>來(lái)匹配任意類(lèi)型

例： 前面我們寫(xiě)過(guò)一個(gè)求平均數(shù)的方法，現(xiàn)在我們的需求是比較兩個(gè)平均值是否相同。
這次我們定義一個(gè)類(lèi)，接受一系列的數(shù)，可以求平均值，比較平均值是否相同。


public class Nums<T extends Number>{ //泛型限制只能傳入數(shù)字類(lèi)型
    private T[] nums;
    double aver;
    public Nums(T... nums) {
        this.nums = nums;
    }
    public double getAverage(){
        double sum = 0;
        for (T num : nums){
            sum += num.doubleValue();
        }
        aver = sum/nums.length;
        return aver;
    }
    public Boolean isSameAver(Nums<T> n2){
        //這種方案適用范圍很窄 只能比較兩個(gè)類(lèi)型參數(shù)一樣的對(duì)象 
        //但是我們想比較不同類(lèi)型的例如： Nums<Double> 和 Nums<Short>
        //這個(gè)時(shí)候我們可以使用<?>來(lái)匹配
        //public boolean isSameAver(Nums<?> n2)
        if(this.getAverage()==n2.getAverage()){
            return true;
        }
        return false;
    }
}

有界通配符

前面我們已經(jīng)用過(guò)有界的泛型： <T extends 類(lèi)名>指定泛型上界，
類(lèi)型只能為指定類(lèi)或其子類(lèi)；<T super 類(lèi)名> 指定泛型的下界，類(lèi)
型只能是指定類(lèi)或其父類(lèi)。
有界通配符的用法跟上面類(lèi)似只要把T改成?就可以了，有時(shí)候我們需要某些類(lèi)型但是不確定是具體哪種，尤其是存在多層次繼承結(jié)構(gòu)，有界通配符就會(huì)顯得特別方便，最重要的是保證類(lèi)型安全。
最典型例子就是顯示N維坐標(biāo)：

class TwoD {//二維坐標(biāo)
    int x;
    int y;
    public TwoD(int x, int y) {
        this.x = x;
        this.y = y;
    }
}
class ThreeD extends TwoD{//三維坐標(biāo)
    int z;

    public ThreeD(int x, int y, int z) {
        super(x, y);
        this.z = z;
    }
}
class FourD extends ThreeD{//四維坐標(biāo)
    int t;

    public FourD(int x, int y, int z, int t) {
        super(x, y, z);
        this.t = t;
    }
}
class Points<T extends TwoD>{//只能接受坐標(biāo)類(lèi)型
    T[] points;
    public Points(T...points) {
        this.points = points;
    }
}

class ShowPoint{
    public static void showXY(Points<? extends TwoD> p){//TwoD或繼承TwoD的類(lèi)都有x，y
        for (int i=0; i<p.points.length; i++){
            System.out.println("(" + "x=" + p.points[i].x + " y=" + p.points[i].y +")");
        }
    }
    public static void showXYZ(Points<? extends ThreeD> p){//只有ThreeD或繼承ThreeD的類(lèi)才有z
        for (int i=0; i<p.points.length; i++){
            System.out.println("(" + "x=" + p.points[i].x + " y=" + p.points[i].y + " z=" + p.points[i].z + ")");
        }
    }
    public static void ShowXYZT(Points<? extends FourD> p) {//只有FourD或繼承FourD的類(lèi)才有四個(gè)坐標(biāo)
        for (int i=0; i<p.points.length; i++){
            System.out.println("(" + "x=" + p.points[i].x + " y=" + p.points[i].y + " z=" + p.points[i].z + " t="+ p.points[i].t + ")");
        }
    }
}
public class Demo {
    public static void main(String[] args) {
        Points<TwoD> twoDPoints = new Points<TwoD>(new TwoD(1, 2), new TwoD(2, 3));//二維坐標(biāo)群
        Points<ThreeD> threeDPoints = new Points<ThreeD>(new ThreeD(4, 5, 6), new ThreeD(5, 6, 7));//三維坐標(biāo)群
        Points<FourD> fourDPoints = new Points<FourD>(new FourD(6, 7, 8, 9),new FourD(7, 8, 9, 10));//四維坐標(biāo)群
        ShowPoint.showXY(twoDPoints); //ok
        ShowPoint.showXY(threeDPoints);//ok
        ShowPoint.showXY(fourDPoints);//ok
        ShowPoint.showXYZ(threeDPoints);//ok
        ShowPoint.showXYZ(fourDPoints);//ok
        ShowPoint.ShowXYZT(fourDPoints);//ok
    //    ShowPoint.showXYZ(twoDPoints);//錯(cuò)誤
    //    ShowPoint.showXYZT(ThreeDPoints);//錯(cuò)誤；
    }
}
結(jié)果：   (x=1 y=2)
        (x=2 y=3)
        (x=4 y=5)
        (x=5 y=6)
        (x=6 y=7)
        (x=7 y=8)
        (x=4 y=5 z=6)
        (x=5 y=6 z=7)
        (x=6 y=7 z=8)
        (x=7 y=8 z=9)
        (x=6 y=7 z=8 t=9)
        (x=7 y=8 z=9 t=10)

從上面的例子可以看出有界通配符用起來(lái)還是很方便的，可以按我們的意愿指定類(lèi)型。

JDK1.7之后有了類(lèi)型推斷：
比如前面我們要?jiǎng)?chuàng)建Points對(duì)象時(shí)要Points<TwoD> twoDs = new Points<Twod>(new TwoD(1,2))

有了類(lèi)型推斷之后，我們可以Points<TwoD> twoDs = new Points<>(new TwoD(1,2))

關(guān)于泛型還有幾點(diǎn)要注意

• 泛型不能被實(shí)例化，因?yàn)樗皇且粋€(gè)占位符嘛。
  class Demo<T>{
  T t = new T;//錯(cuò)誤...
  }

• 靜態(tài)方法不能使用類(lèi)上定義的泛型，因?yàn)殪o態(tài)方法優(yōu)先于對(duì)象存在，靜態(tài)方法只能使用定義在自己身上的泛型。
  class Demo<T>{ public static void method(T t){}//錯(cuò)誤}

• 使用泛型數(shù)組的時(shí)候不能實(shí)例化，而且不能創(chuàng)建具體類(lèi)型的泛型數(shù)組

    public class Demo <T>{
        T[] ts;//ok  ts = new T[10];//錯(cuò)
        誤，編譯器無(wú)法知道自己創(chuàng)建什么具體的數(shù)據(jù)類(lèi)型的數(shù)組

        Demo<String>[] strs = new Demo<String>[10];//錯(cuò)誤
        Demo<?>[] strs = new Demo<?>[10];//ok
    }