一篇文章帶你瞭解Java泛型的super和extends

Posted on by

概念簡單理解

  • List<? extends T>表示該集合中存在的都是類型T的子類，包括T自己
  • List<? super T>表示該集合中存的都是類型T的父類，包括T自己

代碼樣例解讀

父子類代碼：

/**
 * 生物
 */
static class Biological{
}
/**
 * 動物
 */
static class Animal extends Biological{
}
/**
 * 植物
 */
static class Plant extends Biological{
}

static class Dog extends Animal{
}
static class Cat extends Animal{
}
static class Flower extends Plant{
}
static class Tree extends Plant{
}

關系圖：

fanxing

測試代碼：

public static void main(String[] args) {
    List<? super Animal> listA = new ArrayList<>();
    List<? extends Plant> listB = new ArrayList<>();
    //listA.add(new Biological());  
    listA.add(new Animal());
    listA.add(new Dog());
    //listA.add(new Flower());
    Object object = listA.get(0);
    //listB.add(new Plant());
    //listB.add(new Flower());
    listB.add(null);
    Plant plant = listB.get(0);
}

關於List<? super T>

add方面

List<? super Animal> listA = new ArrayList<>();

listA.add(new Biological());

執行上面這行代碼是不允許的，因為listA的集合類型是Animal或者更高的父類，想一下如果代表的類型是Animal，那怎麼允許add它的父類Biological呢？當然不允許瞭。

listA.add(new Animal());
listA.add(new Dog());

執行上面這兩句就是可以正常執行的，因為無論是Animal還是Animal的子類Dog，都是可以存到集合類型是Animal或者更高的父類的集合中的。有點拗口，不過就是這個意思。

listA.add(new Flower());

添加Flower當然是不可以的，因為它不是Animal的子類。

返回值方面

Object object = listA.get(0);

因為listA的集合類型是Animal或者更高的父類，所以不清楚到底會是哪個類，但是我們都應該清楚所有類的父類都是Object，所以返回值是Object類型的。

關於List<? extendsT>

add方面

List<? extends Plant> listB = new ArrayList<>();

listB.add(new Plant());

執行上面的代碼是不允許的，因為listB的集合類型是Plant或Plant的子類，想一下如果代表的類型是Plant的子類Tree，那麼怎麼可能可以add它的父類Plant呢？所以跟上面的那個理解差不多，就是反過來理解。看圖可以更加清晰。

listB.add(new Flower());

這個同理，如何代表的類型是Flower的子類Rose(玫瑰花)，這樣當然不可以add它的父類Flower瞭。

listB.add(null);

特殊情況就是這個，可以add null，但是也沒意義啊。

返回值方面

Plant plant = listB.get(0);

因為listB的集合類型是Plant或者它的子類，所以不清楚到底會是哪個類，但是我們可以知道，最高的類型就是Plant瞭，所以返回值就是Plant類型的。

總結

  • List<? super T>表示該集合中存的都是類型T的父類，包括T自己
    • add：不能add任何對象（特例：可以添加null）
    • get：get返回的對象類型為T
  • List<? extends T>表示該集合中存在的都是類型T的子類，包括T自己
    • add：隻能添加T及T的子類
    • get：get返回的對象類型為Object

本篇文章就到這裡瞭，希望能給你帶來幫助，也希望您能夠多多關註WalkonNet的更多內容！

推薦閱讀：