概念簡(jiǎn)單理解

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

代碼樣例解讀

父子類(lèi)代碼：

/**
 * 生物
 */
static class Biological{
}
/**
 * 動(dòng)物
 */
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{
}

關(guān)系圖：

測(cè)試代碼：

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);
}

關(guān)于List<? super T>

add方面

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

listA.add(new Biological());  

執(zhí)行上面這行代碼是不允許的，因?yàn)閘istA的集合類(lèi)型是Animal或者更高的父類(lèi)，想一下如果代表的類(lèi)型是Animal，那怎么允許add它的父類(lèi)Biological呢？當(dāng)然不允許了。

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

執(zhí)行上面這兩句就是可以正常執(zhí)行的，因?yàn)闊o(wú)論是Animal還是Animal的子類(lèi)Dog，都是可以存到集合類(lèi)型是Animal或者更高的父類(lèi)的集合中的。有點(diǎn)拗口，不過(guò)就是這個(gè)意思。

listA.add(new Flower());

添加Flower當(dāng)然是不可以的，因?yàn)樗皇茿nimal的子類(lèi)。

返回值方面

Object object = listA.get(0);

因?yàn)閘istA的集合類(lèi)型是Animal或者更高的父類(lèi)，所以不清楚到底會(huì)是哪個(gè)類(lèi)，但是我們都應(yīng)該清楚所有類(lèi)的父類(lèi)都是Object，所以返回值是Object類(lèi)型的。

關(guān)于List<? extendsT>

add方面

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

listB.add(new Plant());

執(zhí)行上面的代碼是不允許的，因?yàn)閘istB的集合類(lèi)型是Plant或Plant的子類(lèi)，想一下如果代表的類(lèi)型是Plant的子類(lèi)Tree，那么怎么可能可以add它的父類(lèi)Plant呢？所以跟上面的那個(gè)理解差不多，就是反過(guò)來(lái)理解?？磮D可以更加清晰。

listB.add(new Flower());

這個(gè)同理，如何代表的類(lèi)型是Flower的子類(lèi)Rose(玫瑰花)，這樣當(dāng)然不可以add它的父類(lèi)Flower了。

listB.add(null);

特殊情況就是這個(gè)，可以add null，但是也沒(méi)意義啊。

返回值方面

Plant plant = listB.get(0);

因?yàn)閘istB的集合類(lèi)型是Plant或者它的子類(lèi)，所以不清楚到底會(huì)是哪個(gè)類(lèi)，但是我們可以知道，最高的類(lèi)型就是Plant了，所以返回值就是Plant類(lèi)型的。

總結(jié)

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

本篇文章就到這里了，希望能給你帶來(lái)幫助，也希望您能夠多多關(guān)注腳本之家的更多內(nèi)容！