为什么这种带有通配符的方法有效？

Question

我遇到了这个问题：

我们得到了一个地图界面：

interface MyMap<K,V>{
  public void put (K key, V value);
  public V get (K key);
  public boolean containsKey (K key);
}

我们要实现一个方法addToMyMap，其签名是（我们需要填写缺失的部分（点）：

void addToMyMap(MYMap<....> m, List<....> keys, .... newValue)

该方法将扫描键列表，并且对于每个键，如果它在映射中不存在，它将以 newValue 作为值添加它。

作为答案给出的实现如下：

 public static <K,V> void addToMyMap (MyMap <? super K, ? super V> m, List<? extends K> keys, V newValue) 
 {
   for (K key: keys)
   {
      if (!m.containsKey(key))
      {
         m.put(key,newValue);
      }
   } 
}

我不完全确定为什么这个实现是正确的。如果containsKey 方法获得 K 的子类，它如何工作？这不就像在List<Fruit> 中搜索Apple 一样吗？您将如何遍历该列表？

put 方法也是如此：它如何迭代具有许多不同类型的地图？

这可能与地图的实现有关。

所以也许真正的问题是包含许多 K 和 V 超类型的映射如何知道迭代 K。

调用此方法的示例如下：

MyMap <Number, Number> m = new MyMapImpl<Number,Number>();
m.put(new Integer (1) , new Float(7.2));
m.put (new Float(3.1), new Double(9.99));

List<Integer> lst = new List<Integer>();
lst.add(1); lst.add(2); lst.add(3);
Float f = new Float (55.5);
Util.addToMyMap (m,lst,f);

这个包含浮点数和整数的映射如何查找浮点类型的键（在 put 和 containsKey 中）？

我希望得到一些解释。

Answer 1

这被称为The Get and Put Principle：当您只从结构中获取值时使用extends 通配符，当您只将值放入结构时使用super 通配符，并且不要使用获取和放置时的通配符。

这个包含浮点数和整数的映射如何查找一个键 float 类型（在 put 和 containsKey 中）？

有趣的短语? super K 表示目标Map 可能包含K 的超类型 的任何类型的元素。这称为下界通配符，它​​将未知类型限制为特定类型或该类型的超类型。

例如，List<Integer> 比 List<? super Integer> 更具限制性，因为前者仅匹配 Integer 类型的列表，而后者匹配任何类型为 Integer 超类型的列表。

---

对于您的上下文的MyMap <Number, Number> m，它的类型为Number，它是Integer 和Float 的超类型。所以它可以包含Integer 和Float 类型的元素。甚至Double 也是。因为它们都是Number 的子类型。超类型实例总是可以引用子类型。

请查看：

1. Lower Bounded Wildcards
2. Guidelines for Wildcard Use