Java 8 中的模棱两可的方法，为什么？ [复制]

Question

public static void main(String... args){
    then(bar()); // Compilation Error
}

public static <E extends Exception> E bar() {
    return null;
}

public static void then(Throwable actual) { }

public static void then(CharSequence actual) { }

编译结果（来自命令行javac Ambiguous.java）

Ambiguous.java:4: error: reference to then is ambiguous
        then(bar());
        ^
  both method then(Throwable) in Ambiguous and method then(CharSequence) in Ambiguous match
1 error

为什么这个方法是模棱两可的？此代码在 Java 7 下编译成功！

将方法栏更改为：

public static <E extends Float> E bar() {
    return null;
}

这样编译没有问题，但是在IntelliJ Idea报错（无法解析方法then(java.lang.FLoat)）。

此代码在 Java 7 下失败 - javac -source 1.7 Ambiguous.java:

Ambiguous.java:4: error: no suitable method found for then(Float)
        then(bar());
        ^
    method Ambiguous.then(Throwable) is not applicable
      (argument mismatch; Float cannot be converted to Throwable)
    method Ambiguous.then(CharSequence) is not applicable
      (argument mismatch; Float cannot be converted to CharSequence)
1 error

Java 版本

java version "1.8.0_40"
Java(TM) SE Runtime Environment (build 1.8.0_40-b25)
Java HotSpot(TM) 64-Bit Server VM (build 25.40-b25, mixed mode)

Answer 1

考虑以下类：

public class Foo extends Exception implements CharSequence {
    //...
}

Foo 类实现了Throwable 和CharSequence。所以如果E被设置为这个实例，Java编译器不知道调用哪个方法。

Java7 可能没有问题的原因是泛型的实现较少。如果您自己不提供E（例如(Foo) bar()），Java 将使用E 的基本版本，即implements Exception，因此E 仅被视为@ 的一个实例987654333@.

在Java8，type inference is improved中，E的类型现在派生自then()调用的参数，也就是说编译器首先看then()需要什么可能的类型，问题是他们都是有效的选择。所以在那种情况下它变得模棱两可。

---

概念证明：

现在我们将稍微修改您的代码并展示如何解决模棱两可的调用：

假设我们将代码修改为：

public class Main {
    public static void main(String... args){
        then(bar()); // Compilation Error
    }
    public static <E extends Exception> E bar() {
        return null;
    }
    public static void then(CharSequence actual) {
        System.out.println("char");
    }
}

如果你在Java8中运行它，没有问题（它会打印char），因为Java8只是假设有这样的类Foo（它创建了某种“内部”类型因为它来源于两者）。

在 Java7 中运行会产生问题：

/MyClass.java:18: error: method then in class MyClass cannot be applied to given types;
    then(bar()); // Compilation Error
    ^
  required: CharSequence
  found: Exception
  reason: actual argument Exception cannot be converted to CharSequence by method invocation conversion
1 error

它对Exception 进行了回退，但找不到可以处理它的类型。

如果在Java8中运行原代码，会因为调用不明确而报错，如果在Java7中运行，则会使用Throwable方法。

---

简而言之：编译器旨在“猜测”E 在 Java8 中是什么，而在 Java7 中选择了最保守的类型。