Eclipse无法编译通用代码,但mvn编译有效

Question

在带有jdk 1.7的Eclipse Kepler 4.2中,我在Eclipse中遇到以下错误:

The method or(capture#2-of ?) in the type Optional<capture#2-of ?> 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(Map<String, ?> map) {
        for (Entry<String, ?> entry : map.entrySet()) {
            Optional.fromNullable(entry.getValue()).or(NO_VALUE);
//                                                  ^^ error here
        }
    }
}

pom.xml中:

<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
  <modelVersion>4.0.0</modelVersion>
  <groupId>my.test</groupId>
  <artifactId>testit</artifactId>
  <version>0.0.1-SNAPSHOT</version>
  <dependencies>
      <dependency>
          <groupId>com.google.guava</groupId>
          <artifactId>guava</artifactId>
          <version>13.0.1</version>
      </dependency>
  </dependencies>
  <build>
    <plugins>
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-compiler-plugin</artifactId>
                <version>3.1</version>
                <configuration>
                    <source>1.7</source>
                    <target>1.7</target>
                </configuration>
            </plugin>    
    </plugins>
  </build>
</project>

类似的代码在生产中运行很长一段时间没有错误(在这个领域).它在Maven,Jenkins,Intelij中编译,但在Eclipse中不编译.问题是为什么它不能在Eclipse中编译？

Answer 1

经过Eclipse团队的深入分析(顺便说一句,非常感谢!),他们对这个问题的回答如下

引自Eclipse Bugzilla的 Stephan Herrmann :

此行不适用于以下原因:

类型推断从解析此表达式开始:

Optional.fromNullable(entry.getValue())

在此表达式中,可以按上述方式键入所有元素:

entry:entry entry.getValue:
capture#2-of ? fromNullable(..) : (capture#2-of ?) -> Optional<capture#2-of ?>

简而言之: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.<Object>fromNullable(entry.getValue()).or(NO_VALUE);

现在这将是结论.