Lambda 类型推断推断 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;
            }
        });
    }
}

被eclipse编译器拒绝并报错

未处理的异常类型TestException

在 main 的第一行，即使 lambda 表达式处理了这个异常（对吗？）。

这是一个编译器错误，还是我忽略了什么？

Answer 1

在 Eclipse 的最新版本（以及 javac、IntelliJ 等）中存在大量关于 lambda 表达式和类型推断的错误。就在今天，我注册了460511、460515 和460517。例如，仅在本期中，就针对 lambda 表达式和异常类型的组合进行了很多修复：

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

我没有遇到您在 Eclipse 4.5.0 M5（javac build 1.8.0_40-ea-b21）中遇到的问题，所以我打赌这是一个错误，它有已修复。

作为一般经验法则，如果您在 Eclipse 中使用 Java 8，请升级到最新的 Mars (4.5.0) 里程碑。总是。它会为您省去很多麻烦。