在带有jdk 1.7的Eclipse Kepler 4.2中,我在Eclipse中遇到以下错误:
The method or(capture#2-of ?) in the type Optional
is not applicable for the arguments (Object)
而它在运行时成功编译mvn compile
.
该课程如下:
package testit; import java.util.Map; import java.util.Map.Entry; import com.google.common.base.Optional; public class Test { private static final Object NO_VALUE = new Object(); public void method(Mapmap) { for (Entry entry : map.entrySet()) { Optional.fromNullable(entry.getValue()).or(NO_VALUE); // ^^ error here } } }
pom.xml中:
4.0.0
my.test
testit
0.0.1-SNAPSHOT
com.google.guava
guava
13.0.1
org.apache.maven.plugins
maven-compiler-plugin
3.1
1.7
类似的代码在生产中运行很长一段时间没有错误(在这个领域).它在Maven,Jenkins,Intelij中编译,但在Eclipse中不编译.问题是为什么它不能在Eclipse中编译?
经过Eclipse团队的深入分析(顺便说一句,非常感谢!),他们对这个问题的回答如下
引自Eclipse Bugzilla的 Stephan Herrmann :
此行不适用于以下原因:
类型推断从解析此表达式开始:
Optional.fromNullable(entry.getValue())
在此表达式中,可以按上述方式键入所有元素:
entry:entry entry.getValue:
capture#2-of ? fromNullable(..) : (capture#2-of ?) ->
Optional
简而言之:T被推断为"
capture#2-of ?
".推断成功.只有在决定了所有这些之后,才能继续检查.or(..)方法调用.没有理由用"对象"填充未推断的推理变量.
使用Optional类型的接收器,我们有三个"或"的重载:
可选或(可选)
capture#2-of ? or(Supplier extends capture#2-of ?> supplier)
capture#2-of ? or(capture#2-of ? defaultValue)
这些方法都不适用于Object类型的参数.ecj任意选择第一种错误报告方法:
"可选类型中的方法或(可选)不适用于参数(对象)"
ecj和javac之间的差异肯定包含在上面提到的javac bug中:https://bugs.openjdk.java.net/browse/JDK-8016207
正如该bug中所提到的,JLS的未来更新可能会采用当前javac行为的一部分.在发布此类规范更新之前,ecj唯一可靠的参考点是JLS.在本说明书中,我认为没有理由在这方面改变ecj的行为.
顺便说一句,规范修复(不需要演员)是:
Optional.
现在这将是结论.