Java 泛型编译错误

Question

public class IRock
{
    public List<IMineral> getMinerals();
}

public class IMineral { ... }

public class SedimentaryMineral implements IMineral { ... }

public class SedimentaryRock implements IRock
{
    private List<SedimentaryMineral> minerals;

    @Override
    public List<SedimentaryMineral> getMinerals()
    {
        return minerals;
    }
}

出现编译器错误:

Type mismatch: cannot convert from List<SedimentaryMineral> to List<IMineral>.

我知道我无法将 impl 转换回其 API 接口(interface)(因为 API 不仅仅是 API)。但我很困惑为什么会出现编译器错误! Java 难道不应该尊重 SedimentaryMineral 是 IMineral 的实现并允许这样做吗？!？

除了解释为什么我会遇到这个编译器错误之外，也许有人可以指出为什么我在这里的方法是“糟糕的设计”以及我应该采取什么措施来纠正它。提前致谢!

Answer 1

想象一下如果编译了:

List<SedementaryMineral> list = new ArrayList<>();
list.put(new SedimentaryMineral());

List<IMineral> mineralList = list;
mineralList.add(new NonSedimentaryMineral());

for(SedementaryMineral m : list) {
    System.out.println(m); // what happens when it gets to the NonSedimentaryMineral?
}

你那里有一个严重的问题。

你可以做的是:List<? extends IMineral> mienralList = list