我对Java泛型如何处理继承/多态性感到困惑.
假设以下层次结构 -
动物(父母)
狗 - 猫(儿童)
所以假设我有一个方法doSomething(List<Animal> animals).根据所有继承和多态的规则,我会假设a List<Dog> 是 a List<Animal>而a List<Cat> 是 a List<Animal>- 所以任何一个都可以传递给这个方法.不是这样.如果我想实现这种行为,我必须明确告诉该方法接受一个Animal的任何子类的列表doSomething(List<? extends Animal> animals).
我知道这是Java的行为.我的问题是为什么？为什么多态通常是隐含的,但是当涉及泛型时必须指定它？
假设一个SuperClass America和它的两个SubClasses SouthAmerica和NorthAmerica
情况1
对于数组:
America[] am = new SouthAmerica[10]; //why no compiler error
am[0]= new NorthAmerica(); //ArrayStoreException at RunTime
案例2
在Genrics中:
ArrayList<America> ame = new ArrayList<SouthAmerica>(); //this does not compile
我的问题不是为什么案例2不编译,但我的问题是为什么案例1编译.我的意思是还有什么可以做这个基础数组类型和子数组对象？
我有两个类:超类Cluster和子类XCluster.XCluster扩展了Cluster.
我有这个方法签名:
public Map<Integer, XCluster> getClusters() {
...
}
我有这个变量:
Map<Integer, Cluster> clusters = getClusters();
我无法编译这个.Eclipse说方法getCluster()不返回这种类型.我需要将类型从XCluster更改为Cluster.
怎么了？