不能从 java 8 流中的静态上下文引用非静态方法

Question

我在玩 http://www.concretepage.com/java/jdk-8/java-8-unaryoperator-binaryoperator-example 的例子。

我发现真正令人困惑的是，当我在形成收集器时错误地将错误类型放入泛型之一时，java 编译器会给我一个非常误导性的消息：

不能从静态上下文中引用非静态方法

我的错误与现实中的静态与实例上下文无关：

Map<String, Map<Integer, Integer>> mapOfStudents = list.stream().collect(Collectors.groupingBy(Student::getClassName,
            Collectors.toMap(Student::getName, Student::getAge)));

我的错误在于通用返回类型。当我更正并输入时：

Map<String, Map<String, Integer>> mapOfStudents

一切恢复正常。

有人可以解释这种令人困惑的错误消息背后的原因吗？我确信这是一个很好的，但我没有掌握它。

编辑：

~$ java -version
openjdk version "1.8.0_121"
OpenJDK Runtime Environment (build 1.8.0_121-8u121-b13-0ubuntu1.16.04.2-b13)
OpenJDK 64-Bit Server VM (build 25.121-b13, mixed mode)

Answer 1

首先应该注意，消息不是由 java 编译器 (javac) 发出的，而是由 IntelliJ IDEA 发出的。当您实际启动构建过程时，您可以在“消息构建”窗口中看到 javac 消息。您在编辑器窗口中看到的是 IDEA 本身生成的消息，它们可能会有所不同。

由于在 IntelliJ IDEA 中实现了方法引用解析，错误消息具有误导性。只有当相应的 SAM（单个抽象方法）参数的数量等于方法参数的数量加上一个 并且 第一个 SAM 参数类型与包含类的方法兼容时，它才认为非静态方法引用被解析。请参阅the implementation（也见上面的isSecondSearchPossible 方法，对可变参数方法执行了一些额外的魔法）。

如果您的程序没有错误，它可以正常工作。但是，如果您的类型不匹配，则传递给toMap 的Function 的泛型参数不能被替换，因此它仍然是Function<T, R>，并且它的apply 方法的第一个参数只是T，它不对应于类型Student。因此所谓的“第二次搜索”失败了，IDEA 认为该方法是从静态上下文中引用的。虽然静态和非静态上下文在这里都不适用，但非静态上下文更好地匹配您的方法，至少根据 getName() 方法不接收任何参数的参数数量。另一方面，IDEA 逻辑是“如果非静态上下文不适用，则它是静态上下文”，因此出现错误消息。

我认为这是一个错误，或者至少是一个可用性问题。我刚刚根据similar question 记录了here。希望我们能解决它。

免责声明：我是 IntelliJ IDEA 开发人员。

更新：已在 IDEA 2017.2 中修复。