java - 通用返回类型 - 为什么我不能这样做？

Question

考虑下面的片段。我了解覆盖对于泛型类型的工作方式，以及返回类型 List<String> 的原因(例如)被允许覆盖 List<? extends Object> .但是，我不完全清楚为什么像 1 和 2 这样的语句无法编译...继承不应该也适用于此吗？

public class Generics {

    public static void main(String[] args) {

        A instance = new B();
        X instance2 = new Y();

        Map<String, String> map = instance2.getMap(); // 1
        List<String> list = instance.getList();       // 2
    }
}

class A {

    List<? extends Object> getList() {

        return null;
    }
}

class B
        extends A {

    List<String> getList() {

        return new LinkedList<String>();
    }
}

class X {

    Map<String, ? extends Object> getMap() {

        return null;
    }
}

class Y
        extends X {

    @Override
    Map<String, String> getMap() {

        return null;
    }
}

Answer 1

Map<String, String> map = instance2.getMap(); // 1

编译器看到对 X.getMap() 的调用它的返回类型为 Map<String, ? extends Object> .这不能转换为 Map<String, String> . instance2没关系类型为 Y在运行时；这是失败的纯编译时静态类型检查。

List<String> list = instance.getList();       // 2

同样的推理也适用。 instance 的编译时类型是A , 和 A.getList()返回 List<? extends Object>这与 List<String> 不兼容.

请注意，这不是泛型特有的问题。出于同样的原因，这也将无法编译:

class A { Object getObject(); }
class B extends A { String getObject(); }

A a = new B();
String s = a.getObject();

如果你想让它工作，那么你需要给编译器一些额外的帮助。通过转换为子类:

String s = ((B) a).getObject();

或者通过转换返回值:

String s = (String) a.getObject();