为什么List与List <？>兼容,但List <List>不在List <List <？>>中？

Question

我正在使用非通用代码实现一些接口,我想在没有的情况下摆脱警告@SupressWarnings.但后来我遇到了这样的情况:

public abstract class A {

    public abstract List m1();

    public abstract List<List> m2();

}

public class B extends A {

    @Override
    public List<?> m1() { // the compiler is happy with this
        // whatever
    }

    @Override
    public List<List<?>> m2() { // but not with this
        // whatever
    }

}

为什么？为什么我List可以List<?>在重写方法时更改返回类型,并且不能将相同的逻辑List<List>应用于List<List<?>>？

这是编译器给我的消息:

返回类型java.util.List<java.util.List<?>>不兼容java.util.List<java.util.List>

但为什么List兼容List<?>并且List<List>不兼容List<List<?>>？

我做了几个演示:

• 改变第一种方法
• 改变两者(不编译)