? extends E 和 ? super E
B类:
public class B implements C {
@Override
public Map convert(Object from) {
return null;
}
}
C类:
@FunctionalInterface
public interface C<F, T, D> {
Map<String, Integer> convert(T from);
}
W类:
public class W extends V {
}
V类:
public class V implements D {
public void f() {
}
}
D接口:(实现了接口的实现类可以调用该接口的方法——> ? extends D 中的D可以是类,也可以是接口,不影响)
public interface D {
}
Z类:
public class Z extends W {
}
A类:
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的子类
}
}
总结:
!!!这里的 E 理解为一个范围,而不单单指一个类,范围是(从父类到其子类 这些类)。
? extends E:指的是E及其E的子类,指定了泛型的上限(E),由于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子类了)。