java - 嵌套通配符调用方法编译失败

Question

我对 Java 中的泛型有疑问，特别是通配符。我有一个 Map ( outerMap )，其值为另一个 Map ( innerMap ) 个元素，其值为 List元素。

请参阅我创建的以下 java 类来演示此行为。不包括导入语句。忽略方法内部流的使用，这是无关紧要的:

public class SSCCE {
  public static void main(String[] args) {
    // Setup
    List<Double> doubles = Arrays.asList(1.0,2.0,3.0);
    Map<Integer, List<Double>> innerMap = new HashMap<>();
    innerMap.put(1, doubles);
    Map<String, Map<Integer, List<Double>>> outerMap = new HashMap<>();
    outerMap.put("hello", innerMap);

    // Test    
    // This method call works fine. 
    Stream<Integer> streamFromInner = getStreamOfMappingToN(innerMap);

    // This method call does not work - causes below compilation error.
    Stream<Integer> stream = getStreamOfMergedDistinctMappingToN(outerMap);
  }

  private static <T, U> Stream<T> getStreamOfMappingToN(Map<T, ? extends Collection<U>> map) {
    return map.entrySet().stream().map(q -> q.getKey());
  }

  private static <T, U> Stream<T> getStreamOfMergedDistinctMappingToN(Map<String, Map<T, ? extends Collection<U>>> map) {
    return map.entrySet().stream().flatMap(
            p -> getStreamOfMappingToN(p.getValue())
    ).distinct();
  }
}

我在第二次方法调用时看到以下编译错误:

method getStreamOfMergedDistinctMappingToN in class SSCCE cannot be applied to given types;
  required: Map<String,Map<T,? extends Collection<U>>>
  found: Map<String,Map<Integer,List<Double>>>
  reason: cannot infer type-variable(s) T,U
    (argument mismatch; Map<String,Map<Integer,List<Double>>> cannot be converted to Map<String,Map<T,? extends Collection<U>>>)
  where T,U are type-variables:
    T extends Object declared in method <T,U>getStreamOfMergedDistinctMappingToN(Map<String,Map<T,? extends Collection<U>>>)
    U extends Object declared in method <T,U>getStreamOfMergedDistinctMappingToN(Map<String,Map<T,? extends Collection<U>>>)

任何人都可以建议为什么第二次方法调用会发生这种情况，而不是第一次？两种方法签名都包含 Map<T, ? extends Collection<U>> ，但只有第二个无法匹配调用。如果我更换有问题的 ? extends Collection<U>与 List<U> ，它工作正常，因为我实际上传递给它一个 List ，但这似乎很懒惰，并没有解释为什么我会看到这个错误。

我已经对此做了一些阅读，有些人遇到了类似的问题并且已经解释了他们的问题 - 许多人评论说通配符的级别很重要 - 但如果不了解这里发生的事情就很难让我将其他解决方案与这个问题联系起来。这仍然很困惑。通过阅读我发现如果我替换 Map<T, ? extends Collection<U>>与 ? extends Map<T, ? extends Collection<U>>在第二个方法声明中，它编译得很好，但我不明白为什么，然后为什么第一个方法签名会起作用。

非常感谢您对此的反馈。

Answer 1

您应该将方法更改为以下内容:

private static <T, U extends Collection<?>> Stream<T> getStreamOfMappingToN(Map<T, U> map) {
    return map.entrySet().stream().map(q -> q.getKey());
}

private static <T, U extends Collection<?>> Stream<T> getStreamOfMergedDistinctMappingToN(Map<String, Map<T, U>> map) {
    return map.entrySet().stream()
            .flatMap(p -> getStreamOfMappingToN(p.getValue())).distinct();
}

改变的是，不再将输入类型声明为 ? extends Collection<U> , 该方法正在接受 Map<T, U>但是U被限制为 U extends Collection<?> .

这个变化代表了你真正想做的:你给了一个Map作为输入。此 map 有两种类型 T和 U . T可以是我们给出的任何类型，但 U真的需要一个Collection的东西，即 U必须extends Collection<?> .

---

要找出您的示例无法编译的原因，请参阅 this answer (或 this one ):通配符仅适用于第一级，不适用于更深的级别。正如您所发现的，您需要添加 ? extends Map<...>以反驳未递归应用通配符的事实。

不过，我还是建议您使用第一种解决方案，因为我认为它提供了更清晰的代码和正确的意图，而不是乱用通配符。