Java下界通配符(? super Type)的使用

更新時間：2024年01月02日 10:19:21 作者：小湘西

在Java中,? super Type是一個下界通配符,本文主要介紹了Java下界通配符(? super Type)的使用,具有一定的參考價值,感興趣的可以了解一下

使用場景

這種類型的通配符通常用于泛型方法中，允許方法接受Type的實例或其父類型的集合。這是基于PECS原則（Producer Extends, Consumer Super），即如果你需要一個提供（生產）指定類型元素的集合，使用? extends；如果你需要一個消費（接受）指定類型元素的集合，使用? super。

例子

假設有一個基類Animal和兩個子類Dog和Cat

class Animal {}
class Dog extends Animal {}
class Cat extends Animal {}

現在，我們有一個方法，它的目的是往一個集合里添加Dog對象：

public void addDogsToList(List<? super Dog> dogs) {
    dogs.add(new Dog()); // 這是允許的，因為List可以是Dog或其父類型
}

這個方法接受的參數是一個列表，這個列表的類型是Dog或Dog的任何父類型。因此，以下的調用都是有效的：

List<Animal> animalList = new ArrayList<>();
List<Dog> dogList = new ArrayList<>();
List<Object> objectList = new ArrayList<>();

addDogsToList(animalList); // 正確：Animal是Dog的父類型
addDogsToList(dogList);    // 正確：列表的類型正好是Dog
addDogsToList(objectList); // 正確：Object是所有類的父類型

在這個例子中，無論是Animal列表、Dog列表還是Object列表，都可以傳遞給addDogsToList方法，因為它們都滿足? super Dog的條件。這樣做的好處是，你可以將方法的使用范圍擴展到更通用的類型，同時仍然能夠向集合中添加特定類型的元素（在本例中是Dog）。

遍歷

使用? super Type時，遍歷集合可能會受到一些限制，因為你不知道集合中元素的確切類型。你只能確保它們是Type或其父類的實例。在遍歷時，通常需要將元素視為Type的父類類型，這樣會丟失與Type相關的特定信息。

例如

public void processAnimals(List<? super Animal> animals) {
    for(Object obj : animals) {
        // 因為不確定List的具體類型，只能將元素當作Object處理
        // 如果需要使用Animal特有的方法或屬性，需要進行類型轉換
        if (obj instanceof Animal) {
            Animal animal = (Animal) obj;
            // 現在可以調用Animal類的方法
        }
    }
}

總結

? super Type通配符的使用提高了代碼的靈活性，它允許你編寫能夠接受更廣泛類型集合的泛型方法，同時保證了向這些集合中添加元素的類型安全。這是PECS原則中的“Consumer Super”部分，適用于你的集合是消費或接受元素的情況。在遍歷這樣的集合時，通常需要將元素視為最通用的類型（如Object），除非進行顯式的類型轉換。

到此這篇關于Java下界通配符(? super Type)的實現的文章就介紹到這了,更多相關Java下界通配符內容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家！

您可能感興趣的文章: