我正在玩http://www.concretepage.com/java/jdk-8/java-8-unaryoperator-binaryoperator-example的例子。
我发现真正令人困惑的是,当我在形成收集器时错误地将错误的类型放入泛型中时,java编译器给了我一个非常误导性的消息:
无法从静态上下文引用非静态方法
我的错误与现实中的静态vs实例上下文无关:
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)
答案 0 :(得分:29)
首先应该注意,消息不是由java编译器(javac)发出的,而是由IntelliJ IDEA发出的。实际启动构建过程时,可以在“Messages Build”窗口中看到javac消息。您在编辑器窗口中看到的是由IDEA自己生成的消息,它们可能不同。
由于在IntelliJ IDEA中实现了方法参考分辨率,错误消息具有误导性。只有当相应的SAM(单个抽象方法)参数的数量等于方法参数的数量加上一个和时,它才会解析非静态方法引用,第一个SAM参数类型与包含类的方法兼容。请参阅上面的the implementation(也是isSecondSearchPossible
方法,为varargs方法执行了一些额外的魔术)。
如果您的程序没有错误,它可以正常工作。但是,如果您的类型不匹配,则传递给Function
的{{1}}的通用参数无法替换,因此它仍为toMap
,其Function<T, R>
方法的第一个参数仅为apply
与T
类型不对应。因此,所谓的“第二次搜索”失败,IDEA认为该方法是从静态上下文引用的。虽然静态和非静态上下文在这里都不适用,但非静态上下文更适合您的方法,至少根据参数的数量,Student
方法不接受任何参数。另一方面,IDEA逻辑是“如果非静态上下文不适用,则它是静态上下文”,因此是错误消息。
我认为这是一个错误,或者至少是一个可用性问题。我刚刚根据here记录了similar question。希望我们能解决它。
免责声明:我是IntelliJ IDEA开发人员。
更新:已在IDEA 2017.2中修复。