泛型通配符不接受实现接口的类

Question

我想要一个将类类型作为键的映射，以避免在访问值时进行强制转换。

更新
以下是您可以在 IDEA 中复制/粘贴并重现它的实际代码。

    interface MyInterface {

    }

    class SomeConcreteClass implements MyInterface{

    }

    private Map<Class<?>, ? extends MyInterface> map = newMap();

    private Map<Class<?>, ? extends MyInterface> newMap() {
        Map<Class<?>, ? extends MyInterface> map = new HashMap<>();
        map.put(SomeConcreteClass.class, new SomeConcreteClass());
        return map;
    }

    private void accessMap() {
        SomeConcreteClass clazz = (SomeConcreteClass) map.get(SomeConcreteClass.class); <== I want to avoid cast here
    }

问题：这不能编译。我进入这一行：

map.put(SomeConcreteClass.class, new SomeConcreteClass());  

错误：

第二个参数类型错误。发现：“需要一些具体的类”？延伸 我的界面`

我在这里做错了什么？ SomeConcreteClass 应该被接受，因为它实现了接口

Answer 1

这可以简化很多：

Map<String, ? extends CharSequence> map = new HashMap<>();
map.put("", ""); // <-- will not compile

List<? extends CharSequence> l = new ArrayList<>();
l.add(""); // <-- will not compile

这背后的原理叫做PECS（非常很有名）。为什么不允许这样读起来有点冗长，但主要解释here。虽然不明显，但如果允许这样做 - 它可能会在其他地方引起问题，我链接的答案解释了这一点。

您可以通过所谓的typesafe heterogeneous container 实现您想要的：

static class TypeSafeValue {

    private MyInterface t;

    TypeSafeValue() {
    }

    public <T> TypeSafeValue setValue(MyInterface t) {
        this.t = t;
        return this;
    }

    public <T> T getValue(Class<T> clazz) {
        return clazz.cast(t);
    }
}

用法如下：

private Map<Class<?>, TypeSafeValue> newMap() {
    Map<Class<?>, TypeSafeValue> map = new HashMap<>();
    map.put(SomeConcreteClass.class, new TypeSafeValue().setValue(new SomeConcreteClass()));
    return map;
}

private void accessMap() {
    SomeConcreteClass clazz = map.get(SomeConcreteClass.class).getValue(SomeConcreteClass.class);
}