对方法的引用在OpenJDK中是不明确的，但在Eclipse中不是-为什么？

Question

我知道有人问过类似的问题（这里，这里，这里），但似乎没有一个答案适用于我的案例。

考虑以下一组接口：

public interface I1<X> {
    void method(X arg);
}

public interface I2 {
    void method(String arg);
}

public interface I3 extends I1<String>, I2 {
    // empty
}

现在我想在< code>I3的实例上调用< code >方法(String)，如下所示:

public class C implements I3 {
    public void method(String arg) {
        // does nothing
    }

    public static void main(String[] args) {
        ((I3) new C()).method("arg");
    }
}

OpenJDK（Java 7 或 8，无关紧要）在此处标记了不兼容错误：

generics\C.java:10: error: reference to method is ambiguous
    ((I3) new C()).method("arg");
                  ^
both method method(String) in I2 and method method(X) in I1 match
where X is a type-variable:
    X extends Object declared in interface I1

由于< code>X在< code>I3中被实例化为< code>String，我看不出问题出在哪里。请注意，Eclipse认为这没有问题。

Answer 1

为什么？这个问题的答案很简单，但可能不是你要找的。它是，“因为Eclipse和Open JDK都有自己的编译器，要么a）其中一个有错误，要么b）语言规范（JLS）含糊不清，他们对它的解释不同。”

弄清楚a)和b)中的哪一个是这种情况是一项棘手的、乏味的任务。这意味着，作为起点，阅读JLS的相关章节，尝试用甲骨文JDK公司的< code>javac编译相同的代码，并可能钻研Eclipse和OpenJDK的错误跟踪系统。