是什么决定从lambda创建哪个函数接口？

Question

请考虑以下示例：

import java.util.function.Consumer;

public class Example {
    public static void main(String[] args) {
        Example example = new Example();

        example.setConsumer(test -> System.out.println("passed string is " + test)); //uses MyConsumer, why ?
        example.getConsumer().accept("Test 1");

        example.setConsumer((MyConsumer<String>)test -> System.out.println("passed string is " + test)); //uses MyConsumer
        example.getConsumer().accept("Test 2");

        example.setConsumer((Consumer<String>)test -> System.out.println("passed string is " + test)); //uses Consumer
        example.getConsumer().accept("Test 3");
    }

    private Consumer<String> consumer;

    public Consumer<String> getConsumer() {
        return consumer;
    }

    public void setConsumer(Consumer<String> consumer) {
        this.consumer = consumer;
    }

    public void setConsumer(MyConsumer<String> consumer) {
        this.consumer = consumer;
    }

    @FunctionalInterface
    public interface MyConsumer<T> extends Consumer<T> {
        @Override
        default void accept(T value) {
            System.out.println("In consumer string: " + value); //example thing to do
            receive(value);
        }

        void receive(T value);
    }
}

这里让我感兴趣的是第一个测试。为什么它使用MyConsumer而不是Consumer？如果我有更多不同的可能消费者具有相同的lambda结构，谁有优先权呢？另外，我在测试2上所做的强制转换被我的IDE标记为redundance。这意味着首先将lamdba创建为MyConsumer。为什么会这样？

我将IntelliJ Idea与javac一起使用。

Answer 1

它是根据语言规范所定义的选择最具体方法的过程：

如果多个成员方法对方法调用都是可访问和适用的，则需要选择一个成员方法来为运行时方法调度提供描述符。Java编程语言使用的规则是：选择最具体的方法。

...

对于表达式e，如果T不是S的子类型，并且下列条件之一为真（其中U1...Uk和R1是捕获S的函数类型的参数类型和返回类型，V1...Vk和R2是捕获T的函数类型的参数类型和返回类型），则函数接口类型S比函数接口类型T更具体：

• 如果e是显式类型的lambda表达式(§15.27.1)，则下列情况之一为真:

>

R2无效。

R1<:R2.

R1和R2是函数接口类型，至少有一个结果表达式，并且对于E的每个结果表达式，R1比R2更特异性。

（具有块体的lambda表达式的结果表达式在§15.27.2中定义；具有表达式体的lambda表达式的结果表达式只是体本身。）

R1是基元类型，R2是参考类型，且至少有一个结果表达式，e的每个结果表达式都是基元类型的独立表达式(§15.2)。

R1是参考类型，R2是原语类型，且至少有一个结果表达式，e的每个结果表达式要么是参考类型的独立表达式，要么是多表达式。

• 如果e是一个精确的方法引用表达式(§15.13.1)，那么i）对于所有的i(1≤i≤k)，Ui与Vi相同，并且ii）下列之一为真:

>

R2无效。

R1<:R2.

如果e是一个条件表达式，那么对于第二个和第三个操作数中的每一个，这些条件中的一个递归地应用。

因此，myconsumer比consumer更具体，因为consumer（规范中的t)不是子类型，并且两者的返回值都为void。