? extends E 和 ? super E

? extends E 和　? super E

B类：
public class B implements C {
@Override
public Map convert(Object from) {
return null;
}

}

Ｃ类：
@FunctionalInterface
public interface C<F, T, D> {

Map<String, Integer> convert(T from);

}

Ｗ类：
public class W extends V {

}

Ｖ类：
public class V implements D {

public void f() {
}
}

Ｄ接口：（实现了接口的实现类可以调用该接口的方法——> ？ extends D 中的D可以是类，也可以是接口，不影响）
public interface D {

}

Z类：
public class Z extends W {

}

Ａ类：
public class A {
public void f() {

B b = new B();

C c = new B();

V v = new V();

D d = new D();

W w = new W();

Z z = new Z();

Map<String, ? extends C> map = new HashMap<>();
map.put("", b);　　／／编译不通过！ ->因为不知道具体的实现类

Map<String, ? super C> map2 = new HashMap<>();
map2.put("", b); ／／编译通过！ ->因为限定put（）的下限是C ，而B类实现了C接口；

Map<String, ? super V> map3 = new HashMap<>();
map3.put("", d);　／／编译不通过！ ->因为d不是V的子类

Map<String, ? super V> map4 = new HashMap<>();
map3.put("", w); ／／编译通过！ ->因为w是V的子类
map3.put("", v); ／／编译通过！ ->添加的是V自身
map3.put("", z); ／／编译通过！ ->因为z是W的子类，也算是V的子类
}
}

 

 

总结：
　　！！！这里的　Ｅ　理解为一个范围，而不单单指一个类，范围是（从父类到其子类　这些类）。
　
　　
　　? extends E：指的是Ｅ及其Ｅ的子类，指定了泛型的上限（Ｅ），由于Ｅ是该范围内最上面的类，所以在list.add（具体类）是不可以的，因为只知道泛型的上限，但具体添加的对象和 list = new ArrayList<>(),中的类不一定匹配，会出现类型转换问题，所以干脆不可以添加。

？ super E：指的是E及其E的父类，指定了泛型的下限（E），由于指定了泛型的下限E，所以添加的对象只能是E或者E的子类，这样就不会出现类型转换错误，这就可以添加了，编译成功。

 

eg： 用list解释，map同理

目前有四个类，Person类、Student类、Teacher类、GoodStudent类。

四个类之间的关系：
Student类、Teacher类都继承了Person类
GoodStudent类继承于Student类

？ extends Person类 ： 这时指定的上限是Person，在list.add（）的时候，由于只知道上限是Person，不知道具体的 ( List<> list = new ArrayList<>(); ) list是什么类型，所以不可以添加，因为new ArrayList<> 的时候，<>泛型可能是Teacher，也可能是Student，所以此时不管list.add()的是什么，是编译不通过的。-->因为此时还没有指定具体的 ArrayList<>;

? super Student : 这时指定的下限是Student，在list.add()的时候，只能addStudent或者其子类，这是已经指定好的，所以此时，我们就可以add（Student/Student子类了）。