Java8 lambda和异常

Question

我想知道是否有人能向我解释以下奇怪之处。我正在使用Java8更新11。

给定此方法

private <F,T> T runFun(Function<Optional<F>, T> fun, Optional<F> opt) {
   return fun.apply(opt) ;
}

如果我首先构造一个函数对象，并将其传递给上面的方法，事情就会编译。

private void doesCompile() {
    Function<Optional<String>, String> fun = o -> o.orElseThrow(() -> new RuntimeException("nah"));
    runFun(fun, Optional.of("foo"));

}

但是，如果我将函数作为lambda内联，编译器会说

未报告的异常X；必须被抓到或宣布被抛出

private void doesNotCompile () {
    runFun(o -> o.orElseThrow(() -> new RuntimeException("nah")), Optional.of("foo"));
}

更新：原来错误消息是由maven缩写的。如果直接使用javac编译，错误是：

error: unreported exception X; must be caught or declared to be thrown
            runFun(o -> o.orElseThrow(() -> new RuntimeException("nah")), Optional.of("foo"));
                                     ^
  where X,T are type-variables:
    X extends Throwable declared in method <X>orElseThrow(Supplier<? extends X>)
    T extends Object declared in class Optional

另请参阅此处以获取可运行的测试代码。

Answer 1

如果您试图编译其他人的项目，请尝试升级到1.8.092

Answer 2

这看起来像是一个错误JDK-8054569的例子，它不会影响Eclipse。

我可以通过用Supplier替换函数并提取orelsetrow方法来缩小范围：

abstract <T> void f(Supplier<T> s);

abstract <T, X extends Throwable> T g(Supplier<? extends X> x) throws X;

void bug() {
    f(() -> g(() -> new RuntimeException("foo")));
}

然后进一步将供应商和Lambda全部删除：

abstract <T> void f(T t);

abstract <T, X extends Throwable> T g(X x) throws X;

void bug() {
    f(g(new RuntimeException("foo")));
}

这实际上是一个比bug报告中更清晰的示例。如果编译为Java 8，则会显示相同的错误，但适用于源代码1.7。

我猜，将泛型方法返回类型传递给泛型方法参数会导致异常的类型推断失败，因此它假定该类型是可丢弃的，并抱怨没有处理该已检查的异常类型。如果声明bug（）throws Throwable，或将绑定更改为X extends RuntimeException，则错误消失（因此未选中）。

Answer 3

这就是我解决问题的原因：

而不是写作

optional.map(this::mappingFunction).orElseThrow(() -> new BadRequestException("bla bla"));

我写道：

optional.map(this::mappingFunction).<BadRequestException>orElseThrow(() -> new BadRequestException("bla bla"));

添加显式

更新：这是以防您无法更新到最新的JDK版本，如果可以，您应该...