Неоднозначный метод в Java 8, почему?

Рассмотрим следующий класс:

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

Класс Foo реализует как Throwable, так и CharSequence. Таким образом, если E установлен для этого экземпляра, компилятор Java не знает, какой метод вызывать.

Причина, по которой для Java7 не возникает проблем, заключается в том, что дженерики менее реализованы. Если вы сами не предоставите E (например, (Foo) bar()), Java вернется к базовой версии E, то есть implements Exception, поэтому E считается только экземпляром Exception.

В Java8 вывод типов улучшен, тип 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 был выбран наиболее консервативный тип.