java - 为什么 lambda 在抛出运行时异常时会更改重载？

Question

请耐心等待，介绍有点冗长，但这是一个有趣的谜题。

我有这个代码:

public class Testcase {
    public static void main(String[] args){
        EventQueue queue = new EventQueue();
        queue.add(() -> System.out.println("case1"));
        queue.add(() -> {
            System.out.println("case2");
            throw new IllegalArgumentException("case2-exception");});
        queue.runNextTask();
        queue.add(() -> System.out.println("case3-never-runs"));
    }

    private static class EventQueue {
        private final Queue<Supplier<CompletionStage<Void>>> queue = new ConcurrentLinkedQueue<>();

        public void add(Runnable task) {
            queue.add(() -> CompletableFuture.runAsync(task));
        }

        public void add(Supplier<CompletionStage<Void>> task) {
            queue.add(task);
        }

        public void runNextTask() {
            Supplier<CompletionStage<Void>> task = queue.poll();
            if (task == null)
                return;
            try {
                task.get().
                    whenCompleteAsync((value, exception) -> runNextTask()).
                    exceptionally(exception -> {
                        exception.printStackTrace();
                        return null; });
            }
            catch (Throwable exception) {
                System.err.println("This should never happen...");
                exception.printStackTrace(); }
        }
    }
}

我正在尝试将任务添加到队列中并按顺序运行它们。我期待所有 3 个案例都调用 add(Runnable)方法;然而，实际发生的是案例 2 被解释为 Supplier<CompletionStage<Void>>在返回 CompletionStage 之前引发异常所以“这永远不会发生”代码块被触发并且案例 3 永远不会运行。

我通过使用调试器单步执行代码确认案例 2 调用了错误的方法。

为什么不是 Runnable为第二种情况调用方法？

显然这个问题只出现在Java 10或更高版本上，所以一定要在这个环境下测试。

更新:根据 JLS §15.12.2.1. Identify Potentially Applicable Methods更具体地说JLS §15.27.2. Lambda Body似乎 () -> { throw new RuntimeException(); }属于“无效兼容”和“值兼容”的类别。很明显，在这种情况下存在一些歧义，但我当然不明白为什么 Supplier比 Runnable 更适合过载这里。前者不会抛出任何后者不会抛出的异常。

我对规范的了解不够，无法说明在这种情况下应该发生什么。

我提交了一份错误报告，该报告在 https://bugs.openjdk.java.net/browse/JDK-8208490 上可见。

Answer 1

问题是有两种方法:

void fun(Runnable r)和 void fun(Supplier<Void> s) .

还有一个表达式 fun(() -> { throw new RuntimeException(); }) .

将调用哪个方法？

根据JLS §15.12.2.1 , lambda body 既兼容 void 又兼容值:

If the function type of T has a void return, then the lambda body is either a statement expression (§14.8) or a void-compatible block (§15.27.2).

If the function type of T has a (non-void) return type, then the lambda body is either an expression or a value-compatible block (§15.27.2).

所以这两种方法都适用于 lambda 表达式。

但是有两种方法，所以java编译器需要找出哪个方法更具体

在 JLS §15.12.2.5 .它说:

A functional interface type S is more specific than a functional interface type T for an expression e if all of the following are true:

以下之一是:

Let RS be the return type of MTS, adapted to the type parameters of MTT, and let RT be the return type of MTT. One of the following must be true:

以下之一是:

RT is void.

所以 S (即 Supplier )比 T (即 Runnable )更具体，因为 Runnable 中方法的返回类型是 void .

所以编译器选择Supplier而不是 Runnable .