Java泛型与不兼容类型：编译器中的bug？

Question

在stackoverflow中还没有讨论的情况下，我遇到了“不兼容类型”编译器错误（例如，为什么这个通用java代码不能编译？）。

我的期望很简单--我调用的是一个模板化方法，它不使用包含类的任何“泛型”类，因此它应该从方法参数中提取模板参数的类型，并且在所有情况下都应该编译--但我得到了“不兼容类型”编译器错误。

我注意到解决这个问题的奇怪方法--在方法参数中向泛型datatype添加“<？extends Data>”。它如何改变编译器逻辑？

public void processData(DataContainer<? extends Data> c) {

DummyContextClass dcc = (DummyContextClass)c.getContext(DummyContextClass.class);

复制/粘贴代码

public class Test {

    public static class Data {
    }

    public static class DataContainer<TData extends Data> {
        public final TData Data;
        private final Map<String, Object> contexts = new HashMap<>();

        public DataContainer(TData data) {
            Data = data;
        }

        public <T> T getContext(Class<T> type) {
            return (T)contexts.get(type.getName());
        }

        public <T> void setContext(Class<T> type, T context) {
            contexts.put(type.getName(), context);
        }
    }

    public static class DummyContextClass {
    }

    public void processData(DataContainer c) {
        c.setContext(DummyContextClass.class, new DummyContextClass());

        // error: incompatible types: Object cannot be converted to DummyContextClass
        DummyContextClass dcc = c.getContext(DummyContextClass.class);
    }
}

Answer 1

问题与泛型方法无关。
问题是使用原始类型作为方法的参数：

public void processData(DataContainer c) { // Oops! DataContainer is a raw type

您应该在DataContainer中使用参数：

public void processData(DataContainer<? extends Data> c) {

当您删除泛型类的类型时，您就拥有了所谓的原始类型，并且（由于与旧java版本的兼容性要求），所有泛型信息都将从类中剥离出来。它（除其他外）将声明为泛型类型的所有返回类型更改为object，因此出于编译目的，您的方法现在看起来如下所示：

public Object getContext(Class type) {