java - 为什么在java中不允许将子类对象的子类集合转换为其超类对象的超类集合？ [复制]

Question

代码也在https://github.com/timp21337/java-generics-example

package a;

import java.util.List;

public interface Container<T> {
  List<T> getThings();
}

public class ContainerContainer {
  public Container<Thing> getThingContainer() {
    return new ThingContainer<Thing>();
  }
}

public class ThingContainer<T extends a.Thing> implements Container<T> {
  @Override
  public List<T> getThings() {
    return null;
  }
}

public class Thing {
}

包b

package b;
import java.util.List;

public class ContainerContainer extends a.ContainerContainer {
  ThingContainer<Thing> thingContainer = new ThingContainer<Thing>();
  @SuppressWarnings("unchecked")
  public a.Container<a.Thing> getContainer() {
    return (a.Container<a.Thing>)(Object)thingContainer; //YUCK
  }
}

public class ThingContainer<T extends a.Thing> 
     implements a.Container<T> {
  @Override
  public List<T> getThings() {
    return null;
  }
}

public class Thing extends a.Thing {
}

我的问题是为什么我必须强制 b.ThingContainer（上面标记为 YUCK）当它是 a.ThingContainer 的子类并且它包含的东西是 a.Thing 的子类时？

Answer 1

让我们考虑一个更简单的例子，删除所有不相关的细节。 （这里，我们将使用String而不是b.Thing，而不是a.Thing，我们将使用Object；String是Object的子类，所以它是类似的。而不是a.Container，我们将使用List。容器的子类化是无关紧要的，正如您将看到的。）如果您能理解为什么这个示例不起作用，您就会理解您的问题。

List<String> foo = new ArrayList<String>();
List<Object> bar = foo; // why doesn't this work?