java - 实现 Map.entrySet() 的泛型问题

Question

我正在尝试扩展 AbstractMap创建一个 MapTreeNode类(通过键而不是索引访问子节点的树节点)。

我已经有了一个方法来获取一组工作正常的 child :

public class MapTreeNode<K,V> implements Map.Entry<K,V> {
    private Map<K,MapTreeNode<K,V>> children = new HashMap<K,MapTreeNode<K,V>>();
    private Set<MapTreeNode<K,V>> child_set = null;

    public Set<MapTreeNode<K,V>> children() {
        if (child_set == null)
            child_set = new ChildSet();

        return child_set;
    }

    ...

    private final class ChildSet extends AbstractSet<MapTreeNode<K,V>> {
        @Override
        public Iterator<MapTreeNode<K,V>> iterator() {
            return children.values().iterator();
        }

        @Override
        public int size() {
            return MapTreeNode.this.childCount();
        }
        ...
    }

}

我想创建节点的 map View ( Map<K,V> ) 并重复使用 child_set但我不确定 Java 的泛型是否可行:

public Map<K,V> asMap() {
    return new AbstractMap<K,V>() {
        @Override
        public Set<Map.Entry<K,V>> entrySet() {
            return child_set; // line 166
        }
    };
}

这当然给了

MapTreeNode:166: incompatible types
found   : java.util.Set<MapTreeNode<K,V>>
required: java.util.Set<java.util.MapEntry<K,V>>

有没有办法可以重复使用我的 ChildSet为此上课？

Answer 1

问题出在entrySet()的返回类型。是Set<Map.Entry<K,V>> .如你所知，Foo<A>与 Foo<B> 不兼容对于不同的 A 和 B，无论它们如何相关。

我认为这是 API 中的设计错误。 entrySet() 的返回类型真的应该是 Set<? extends Map.Entry<K,V>> .原因如下:如果您阅读 documentation对于 entrySet() ，它表示可以从 Set 中读取事物，可以从 Set 中删除事物(这会导致底层映射发生变化)，但不能将事物添加到 Set 中。这完全符合生产者的角色——您不需要向它添加任何东西。根据 PECS 规则，extends - 应使用通配符集合类型。