泛型通配符 extends super理解

1. extends

image.png

extends指上界通配符，示例中指的是所有Fruit类及其派生的子类。
对该通配符指示的容器进行写入操作（set），就像收到一个包裹，上面写了包裹里都是水果，但编译器并不事先知道具体是哪一种水果，如果里面是香蕉，但放入了一个苹果就会造成错误，所以编译器禁止这种操作。

/*example*/
public void Func( List  temp) 
{
  temp.set(...); //compile time error
}

而对该通配符指示的容器进行读取操作（get），就像从包裹里拿一个水果，传递给一个Fruit对象。编译器无需关心到底是什么水果，因为Fruit类一定是该水果的超类，用Fruit对象调用的方法一定是该水果定义了的，不会发生错误。

2. super

image.png

super指下界通配符，示例中指的是所有Fruit类及其超类。
对该通配符容器进行读取（get）操作，就像收到一个包裹，里面是水果或者食物，但编译器不知道到底是什么，如果拿出一个并传递给一个Fruit对象，就有可能发生"超类对象被子类引用调用一个不存在的方法"，造成错误。

/*example*/
public void Func( List  temp) 
{
  Fruit a = temp.get();   //compile time error . 
                          //if not so，assume return an Food obj, refered by a Fruit variable,it seems to be ok
  //a.Fruitcolor();      // Food obj don't have a method defined in Fruit class, oop! 
}

而对其进行写入（set）操作，就像向包裹中放入东西，只要保证放入的东西是Fruit的子类，编译器无需直到容器具体的类型，就可以保证容器不会“调用一个不存在的方法”

3. 总结

总结起来，编译器检查，如果可以确保总是用超类变量引用其子类对象，那么之后通过该变量调用的方法，一定在子类中已被定义。
而一旦出现用子类变量引用超类对象的情况，尽管其后也许并不一定发生错误，但编译器无法确定这一点，只能触发编译错误。