Lambda умозаключения типа выводит исключение типа не брошенная лямбда

Question

Кодекса

class TestException extends Exception { 

} 

interface Task<E extends Exception> { 
    void call() throws E; 
} 

public class TaskPerformer { 

    /** performs a task in the proper context, rethrowing any exceptions the task declares */ 
    private <E extends Exception> void perform(Task<E> task) throws E { 
     beforeTask(); 
     try { 
      task.call(); 
     } finally { 
      afterTask(); 
     } 
    } 

    private void afterTask() { 
     // implementation elided (does not matter) 
    } 

    private void beforeTask() { 
     // implementation elided (does not matter) 
    } 

    public static void main(String[] args) { 
     new TaskPerformer().perform(() -> {  // compilation error 
      try { 
       throw new TestException(); 
      } catch (TestException e) { 
       return; 
      } 
     }); 
    } 
} 

отвергается затмение компилятора с ошибкой

Unhandled типа исключения TestException

в первая строка main, хотя выражение лямбда обрабатывает это исключение (правильно?).

Является ли это ошибкой компилятора, или я что-то пропускаю?

Answer 1

Было обнаружено множество ошибок в последних выпусках Eclipse (а также javac, IntelliJ и т. Д.) Относительно лямбда-выражений и вывода типа. Только сегодня я зарегистрировал 460511, 460515 и 460517. Например, там было довольно много исправлений вокруг комбинации лямбда-выражений и типов исключений только в этом выпуске:

• https://bugs.eclipse.org/bugs/show_bug.cgi?id=429430

у меня нет проблемы с которой вы столкнулись в Eclipse, 4.5.0 M5 (без javac build 1.8.0_40-ea-b21), поэтому я беру пари, что это ошибка, и она исправлена.

Как правило, если вы используете Java 8 с Eclipse, обновите до последней версии Mars (4.5.0). Всегда. Это избавит вас от множества головных болей.