學習：Java泛型之一

 

“ 泛型是Java SE 1.5的新特性，泛型的本質是參數化類型，也就是說所操作的數據類型被指定為一個參數。這種參數類型可以用在類、接口和方法的創建中，分別稱為泛型類、泛型接口、泛型方法。”

　　1、泛型的類型參數只能是類類型（包括自定義類），不能是簡單類型。

　　2、同一種泛型可以對應多個版本（因為參數類型是不確定的），不同版本的泛型類實例是不兼容的。

　　3、泛型的類型參數可以有多個。

　　4、泛型的參數類型可以使用extends語句，例如<T extends superclass>。習慣上成為“有界類型”。

　　5、泛型的參數類型還可以是通配符類型。例如Class<?> classType = Class.forName(java.lang.String);

 

 

泛型類：

　T是一個泛型類

package generic;

public class Gen<T> {

    private T t;

    public Gen(T t) {
        this.t = t;
    }

    public T getT() {
        return t;
    }

    public void setT(T t) {
        this.t = t;
    }

}

 

我們可以看到T是一個不確定的類。我們在聲明、實例化Gen的時候，可以使用：

Gen<String> gen1=new Gen<String>("");

Gen<Integer>gen2=new Gen<Integer>(1);

這樣即方便地忽略了T的類型，不需要為gen來設置定義多種參數。

 

 再看如下代碼，對Gen進行改造，看看extends的用法

 

package generic;

public class Gen<T, K extends Comparable<?>> {

    private T t;
    private K k;

    public K getK() {
        return k;
    }

    public void setK(K k) {
        this.k = k;
    }

    public Gen(T t) {
        this.t = t;
    }

    public Gen(T t, K k) {
        this.t = t;
        this.k = k;
    }

    public T getT() {
        return t;
    }

    public void setT(T t) {
        this.t = t;
    }

}

聲明、實例化該Gen

 

可以看到，Object並不是Comparable的子類，出現了錯誤，即是說，我們為K加入了一個限定“K必須為Comparable的子類”

 

繼續改造Gen，看看super的用法

package generic;

public class Gen<T, K extends Comparable<? super Double>> {

    private T t;
    private K k;

    public K getK() {
        return k;
    }

    public void setK(K k) {
        this.k = k;
    }

    public Gen(T t) {
        this.t = t;
    }

    public Gen(T t, K k) {
        this.t = t;
        this.k = k;
    }

    public T getT() {
        return t;
    }

    public void setT(T t) {
        this.t = t;
    }

}

聲明實例化該Gen

 

可以看到，String雖然實現自Comparable，但它並不是Double或者Double的父類。

所以也報錯了。