泛型类型推理不使用方法链接？

Question

此代码在Java 8中编译，但在Java 7中编译失败：

class Map<K,V> {
    static <K,V> Map<K,V> empty() {return null;}
    Map<K,V> put(K k, V v) {return null;}
    V get(K k) {return null;}
}

class A {
    static void f(Map<Integer,String> m){}
    public static void main(String[] args) {
        f(Map.empty());
    }
}

它不能推断从映射返回的映射的具体类型。空（）：

$ javac7 A.java
A.java:10: error: method f in class A cannot be applied to given types;
        f(Map.empty());
        ^
  required: Map<Integer,String>
  found: Map<Object,Object>
  reason: actual argument Map<Object,Object> cannot be converted to Map<Integer,String> by method invocation conversion
1 error

如果将调用更改为f（Map），则会编译。

但是如果您将调用更改为f（Map.empty（））。放（1，“A”）。put（2，“B”）） ，它无法在Java 7和8上再次编译。为什么？

$ $javac7 A.java 
A.java:10: error: method f in class A cannot be applied to given types;
        f(Map.empty().put(1,"A").put(2,"B"));
        ^
  required: Map<Integer,String>
  found: Map<Object,Object>
  reason: actual argument Map<Object,Object> cannot be converted to Map<Integer,String> by method invocation conversion
1 error

$ $javac8 A.java
A.java:10: error: incompatible types: Map<Object,Object> cannot be converted to Map<Integer,String>
        f(Map.empty().put(1,"A").put(2,"B"));
                                    ^
Note: Some messages have been simplified; recompile with -Xdiags:verbose to get full output
1 error

$ $javac8 -Xdiags:verbose A.java
A.java:10: error: method f in class A cannot be applied to given types;
        f(Map.empty().put(1,"A").put(2,"B"));
        ^
  required: Map<Integer,String>
  found: Map<Object,Object>
  reason: argument mismatch; Map<Object,Object> cannot be converted to Map<Integer,String>
1 error

Answer 1

地图的类型是什么。进入comparingByValue（）。反转（）？-只是为了更简单地回答这个问题。

unSortedMap.entrySet().stream()
                    .filter(e -> e.getValue() > 1)
                    .sorted(Entry.comparingByValue(Comparator.reverseOrder()))
                    .collect(Collectors.toMap(Entry::getKey, Entry::getValue,
                            (e1, e2) -> e1, LinkedHashMap::new));

Answer 2

为什么？

因为泛型类型的类型推断还没有扩展到链式调用。

来自泛型类型推断的java教程：

什么是目标类型的概念已经扩展到包括方法参数。

这就是为什么这段代码：

f(Map.empty());

编译。

但这段代码没有，因为这是一个链式调用：

f(Map.empty().put(1,"A").put(2,"B"));

您还可以在JavaTM编程语言最终版本的JSR-000335 Lambda表达式中找到一小段内容进行评估（特别是第D部分）：

在a（）中，允许推理“连锁”有一些兴趣。b（），将类型信息从b的调用传递到a的调用。这又增加了推理算法的复杂性，因为部分信息必须双向传递；只有在所有实例化（例如List）的a（）返回类型的擦除都已修复时，它才起作用。由于目标类型不容易派生，因此此功能不太适合多边形表达式模型；但是，也许通过进一步的增强，将来可以添加它。

所以可能在Java 9中。