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

更新時間：2021年08月05日 09:17:33 投稿：BJT

這篇文章主要介紹了Java泛型extends及super區(qū)別實例解析,文中通過示例代碼介紹的非常詳細(xì)，對大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價值,需要的朋友可以參考下

概念簡單理解

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{
}

關(guān)系圖：

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

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

add方面

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

listA.add(new Biological());

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

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

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

listA.add(new Flower());

添加Flower當(dāng)然是不可以的，因為它不是Animal的子類。

返回值方面

Object object = listA.get(0);

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

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

add方面

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

listB.add(new Plant());

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

listB.add(new Flower());

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

listB.add(null);

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

返回值方面

Plant plant = listB.get(0);

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

總結(jié)

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

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

您可能感興趣的文章: