Java? 教程（有界類型參數(shù)）

spacewander 發(fā)布于2019-08-16 14:19 / 2972人閱讀

有界類型參數(shù)

有時(shí)你可能希望限制可用作參數(shù)化類型中的類型參數(shù)的類型，例如，對(duì)數(shù)字進(jìn)行操作的方法可能只想接受Number或其子類的實(shí)例，這是有界類型參數(shù)的用途。

要聲明有界類型參數(shù)，請(qǐng)列出類型參數(shù)的名稱，然后是extends關(guān)鍵字，后跟其上限，在此示例中為Number，請(qǐng)注意，在此上下文中，extends在一般意義上用于表示“extends”（如在類中）或“implements”（如在接口中）。

public class Box {

    private T t;          

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

    public T get() {
        return t;
    }

    public  void inspect(U u){
        System.out.println("T: " + t.getClass().getName());
        System.out.println("U: " + u.getClass().getName());
    }

    public static void main(String[] args) {
        Box integerBox = new Box();
        integerBox.set(new Integer(10));
        integerBox.inspect("some text"); // error: this is still String!
    }
}

通過修改我們的泛型方法來包含這個(gè)有界類型參數(shù)，編譯現(xiàn)在將失敗，因?yàn)槲覀兊?b>inspect調(diào)用仍然包含一個(gè)String：

Box.java:21: inspect(U) in Box cannot
  be applied to (java.lang.String)
                        integerBox.inspect("10");
                                  ^
1 error

除了限制可用于實(shí)例化泛型類型的類型之外，有界類型參數(shù)還允許你調(diào)用邊界中定義的方法：

public class NaturalNumber {

    private T n;

    public NaturalNumber(T n)  { this.n = n; }

    public boolean isEven() {
        return n.intValue() % 2 == 0;
    }

    // ...
}

isEven方法通過n調(diào)用Integer類中定義的intValue方法。

多個(gè)邊界

前面的示例說明了使用帶有單個(gè)邊界的類型參數(shù)，但是類型參數(shù)可以有多個(gè)邊界：

具有多個(gè)邊界的類型變量是邊界中列出的所有類型的子類型，如果其中一個(gè)邊界是類，則必須首先指定它，例如：

Class A { /* ... */ }
interface B { /* ... */ }
interface C { /* ... */ }

class D  { /* ... */ }

如果未首先指定邊界A，則會(huì)出現(xiàn)編譯時(shí)錯(cuò)誤：

class D  { /* ... */ }  // compile-time error

泛型方法和有界類型參數(shù)

有界類型參數(shù)是通用算法實(shí)現(xiàn)的關(guān)鍵，請(qǐng)考慮以下方法，該方法計(jì)算數(shù)組T[]中大于指定元素elem的元素?cái)?shù)。

public static  int countGreaterThan(T[] anArray, T elem) {
    int count = 0;
    for (T e : anArray)
        if (e > elem)  // compiler error
            ++count;
    return count;
}

該方法的實(shí)現(xiàn)很簡單，但它不能編譯，因?yàn)榇笥谶\(yùn)算符（>）僅適用于基本類型，如short、int、double、long、float、byte和char，你不能使用>運(yùn)算符來比較對(duì)象，要解決此問題，請(qǐng)使用由Comparable接口限定的類型參數(shù)：

public interface Comparable {
    public int compareTo(T o);
}

生成的代碼將是：

public static > int countGreaterThan(T[] anArray, T elem) {
    int count = 0;
    for (T e : anArray)
        if (e.compareTo(elem) > 0)
            ++count;
    return count;
}

上一篇：泛型方法 下一篇：泛型、繼承和子類型