List＜? extends T＞和List＜? super T＞之间的区别

谁借莪１个温暖的怀抱￠ 2022-12-06 04:26 2阅读 0赞

定义几个基础类

// 动物类，一个吃方法
    public static class Animal { 
    
            public void eat() { 
                System.out.println("Animal eat");
            }
        }
    
    // 鸟继承自动物，一个飞方法
    public static class Birds extends Animal { 
            public void fly() { 
                System.out.println("Birds fly");
            }
        }
    
    // 孔雀继承自鸟，一个跳舞方法
    public static class Peacock extends Birds { 
            public void dance() { 
                System.out.println("Peacock dance");
            }
        }
    // 狗直接继承自动物，一个奔方法
    public static class Dog extends Animal { 
            public void run() { 
                System.out.println("Dog run");
            }
        }

## List<? super T> ##

当声明泛型使用的是`super`，是规定了类型下界，即该数组元素的类型下限是`T`，后面**定义装载**的元素类型必须是`T`本身或者`T`的父类。

例如下面这行代码

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

1、`new ArrayList<>()`后面的`<>`只能是`Animal`本身或者它的父类比如`Object`，不填默认就是其本身

错误示例`Birds`不是`Animal`本身或父类  
![20200912153259561.png_pic_center][]  
正确示例  
![在这里插入图片描述][20200912153425513.png_pic_center]  
![在这里插入图片描述][20200912153441785.png_pic_center]  
![在这里插入图片描述][20200912153458555.png_pic_center]

2、而`listSuper`能添加的元素范围只能是`super T`中`T`本身或者`T`的子类

示例1：`T`为`Animal`，所以子类以及本身都能被添加  
![在这里插入图片描述][20200912153610767.png_pic_center]  
示例2：`T`为`Animal`，所以子类以及本身都能被添加![在这里插入图片描述][2020091215363015.png_pic_center]  
示例3：`T`为`Birds`，所以子类以及本身都能被添加，而父类和其他类不行![在这里插入图片描述][20200912153711404.png_pic_center]

## List<? extends T> ##

是被设计用来读取数据的泛型，并且只能读取类型为T的元素  
当声明泛型使用的是`extends`，是规定了类型上界，即该数组元素的类型上限是`T`，后面**定义装载**的元素类型必须是`T`本身或者`T`的子类。

例如下面这行代码

List<? extends Animal> listExtends= new ArrayList<>();

1、`new ArrayList<>()`后面的`<>`只能是`Animal`本身或者它的子类比如`Birds`，不填默认就是其本身  
![在这里插入图片描述][20200912155223240.png_pic_center]  
2、`listExtends`只能读取，不能插入任何有意义的元素，但可以插入`null`  
![在这里插入图片描述][20200912160722976.png_pic_center]  
**这是因为，你不知道里面的元素具体是什么类型，当你add(`new Birds()`)，它真实的类型有可能是`Peacock`，而`List<Peacock>`是不能添加`new Birds()`的**

**那为什么`super`就可以呢？因为定义的是父类，父类可以添加子类，不管是`Dog、Birds、Peacock`还是`Animal`都可以添加进`List<Animal>`**

3、`listExtends`里面的元素取`T`本身不需要强制转换类型，但子类需要  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2xlaXN1cmVfbGlmZQ_size_16_color_FFFFFF_t_70_pic_center]  
上文提到，你不能知道具体添加的是什么，但你能确定的是，取出来的都是`T`或`T`的子类

总结`super`的`<>`里面是自身或父类，内部元素是自身或子类

相反`extends`的`<>`里面是自身或子类，只读

所以  
\*\*extends 可用于的返回类型限定，不能用于参数类型限定。

super 可用于参数类型限定，不能用于返回类型限定\*\*

### 参考stackoom文章：[之间的区别 <? super T> 和 <? extends T> 在Java中\[重复\]][_ super T_ _ _ extends T_ _Java] ###

[20200912153259561.png_pic_center]: /images/20221123/277ae98616c14b80a25161d54967e92a.png
[20200912153425513.png_pic_center]: /images/20221123/a21f91f1272a4b6fa45149cbe99f3e70.png
[20200912153441785.png_pic_center]: /images/20221123/f0420df8467e40089a030b527f2bba7d.png
[20200912153458555.png_pic_center]: /images/20221123/ce19091954ed49a8b385e53c76b96905.png
[20200912153610767.png_pic_center]: /images/20221123/514ff7a91fc64a4493c608dda2a21649.png
[2020091215363015.png_pic_center]: /images/20221123/18a63a403bd640e0af350ed05c4218e9.png
[20200912153711404.png_pic_center]: /images/20221123/01c34dd5efec44cda58dd06110c4328e.png
[20200912155223240.png_pic_center]: /images/20221123/be5dad9f9ca5404783d8fcdea802404e.png
[20200912160722976.png_pic_center]: /images/20221123/695f0041a3a04eb98f6fdc42d829ea4d.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2xlaXN1cmVfbGlmZQ_size_16_color_FFFFFF_t_70_pic_center]: /images/20221123/849188a02bc8481fb1f9326827694caf.png
[_ super T_ _ _ extends T_ _Java]: https://stackoom.com/question/IDre/%E4%B9%8B%E9%97%B4%E7%9A%84%E5%8C%BA%E5%88%AB-super-T-%E5%92%8C-extends-T-%E5%9C%A8Java%E4%B8%AD-%E9%87%8D%E5%A4%8D