为什么方法引用在场景1中显示编译器错误，但在场景2中有效？

Question

我创建了以下列表

   List<Integer> list = Arrays.asList(4, 5, -2, 0, -3, -1, -5, -4);
    

方案1

此行不起作用。显示编译器错误

    System.out.println(list.stream()
            .sorted(Comparator.comparing(Math::abs).thenComparing(Integer::intValue))
            .collect(Collectors.toList()));
    

方案2

但是当我们交换Math::abs和整数::intValue的位置时，下面的行可以正常工作

System.out.println(list.stream()
                .sorted(Comparator.comparing(Integer::intValue).thenComparing(Math::abs))
                .collect(Collectors.toList()));

方案3

当abs函数对象替换为abs函数对象时，该行也能正常工作

Function<Integer, Integer> byAbs = Math::abs;

System.out.println(list.stream()
                .sorted(Comparator.comparing(byAbs).thenComparing(Integer::intValue))
                .collect(Collectors.toList()));

方案4

当我将Math::abs替换为（整数x）时，此行也可以正常工作-

System.out.println(list.stream()
            .sorted(Comparator.comparing((Integer x)-> Math.abs(x)).thenComparing(Integer::intValue))
            .collect(Collectors.toList()));

方案5

如果我删除，请再次执行此操作。然后从比较器中比较（Integer：：intValue），它工作正常。

System.out.println(list.stream()
                .sorted(Comparator.comparing(Math::abs))
                .collect(Collectors.toList()));

编译器在比较器上显示错误。比较（数学：：abs），它指出：

• 无法推断类型参数

背后的实际逻辑是什么？

Answer 1

这类似于编译器在使用方法引用解决重载方法时遇到的问题，如中所述http://openjdk.java.net/jeps/302（可选部分：更好地消除函数表达式的歧义）。

这适用于这里，因为数学。abs有许多过载。