java - Java 8 中的方法不明确，为什么？

Question

<分区>

Answer 1

考虑以下类:

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

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

Java7 可能没有问题的原因是泛型的实现较少。如果您自己不提供 E(例如 (Foo) bar())，Java 将退回到 E 的基本版本> 是 implements Exception，因此 E 仅被视为 Exception 的实例。

在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 方法。

---

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