快捷導(dǎo)航

Java?泛型的上界和下界通配符示例詳解

更新時間：2023年04月04日 13:31:01 作者：GeekTR

這篇文章主要為大家通過示例介紹了Java?泛型的上界和下界通配符，有需要的朋友可以借鑒參考下，希望能夠有所幫助，祝大家多多進(jìn)步，早日升職加薪

介紹

Java中的泛型是一種強類型的機(jī)制，允許我們在編譯時檢查類型的安全性，以避免在運行時出現(xiàn)類型轉(zhuǎn)換異常。泛型的上界和下界用于限制泛型類型參數(shù)的范圍，本文將會詳細(xì)介紹它們的概念和用法。

上界

泛型的上界指定了類型參數(shù)必須是某個類的子類或者實現(xiàn)了某個接口。它的語法形式為 T extends B，其中T是泛型類型參數(shù)，B是上界類型。例如，下面的代碼展示了一個泛型類 Box，它的類型參數(shù)T必須是 Number 或其子類：

public class Box<T extends Number> {
    private T value;
    public Box(T value) {
        this.value = value;
    }
    public T getValue() {
        return value;
    }
}

在上面的代碼中，我們使用了 extends 關(guān)鍵字來指定泛型類型參數(shù)的上界類型，這意味著泛型類型參數(shù)必須是 Number 或其子類。這樣，我們就可以使用 Box 類來存儲 Integer、Double、Float 等類型的值，因為它們都是 Number 的子類。另外，通過使用泛型的上界，我們可以確保 Box 類的實例中只存儲 Number 類型的值，避免了類型轉(zhuǎn)換異常的風(fēng)險。

在使用泛型的時候，如果我們傳入一個類型不符合上界限制的參數(shù)，則會在編譯時發(fā)生錯誤，例如：

Box<String> box = new Box<>("Hello World");    // 編譯錯誤：String 不是 Number 的子類

下界

泛型的下界指定了類型參數(shù)必須是某個類的超類或者是某個接口的實現(xiàn)類。它的語法形式為 T super B，其中T是泛型類型參數(shù)，B是下界類型。下面是一個示例，展示了一個泛型類 Box，它的類型參數(shù)T必須是 Object 或其超類：

public class Box<T super Object> {
    private T value;
    public Box(T value) {
        this.value = value;
    }
    public T getValue() {
        return value;
    }
}

在上面的代碼中，我們使用了 super 關(guān)鍵字來指定泛型類型參數(shù)的下界類型，這意味著泛型類型參數(shù)必須是 Object 或其超類。這樣，我們就可以使用 Box 類來存儲 Object、String、Integer、Double 等類型的值，因為它們都是 Object 的子類。另外，通過使用泛型的下界，我們可以確保 Box 類的實例中存儲的值都是 Object 類型，避免了類型轉(zhuǎn)換異常的風(fēng)險。

在使用泛型的時候，如果我們傳入一個類型不符合下界限制的參數(shù)，則會在編譯時發(fā)生錯誤，例如：

Box<Integer> box = new Box<>(123);    // 編譯錯誤：Integer 不是 Object 的超類

上下界通配符

有時候，我們需要在泛型中同時使用上界和下界的限制，此時可以使用通配符 ? 來表示未知類型。例如，下面的代碼展示了一個泛型方法 copy，它可以將一個數(shù)組的元素復(fù)制到另一個數(shù)組中：

public static <T> void copy(List<? extends T> src, List<? super T> dest) {
    for (T t : src) {
        dest.add(t);
    }
}

在上面的代碼中，我們使用了通配符 ? 來表示未知類型，它可以同時滿足 src 參數(shù)是 T 類型或其子類，dest 參數(shù)是 T 類型或其超類的限制條件。這樣，我們就可以將任意類型的元素復(fù)制到另一個列表中了。通過使用上下界通配符，我們可以更加靈活地定義泛型方法，同時保證類型安全。