Java8，有界通配符类型不被视为功能接口

Question

在我的情况下，我有一个消费者接受? extends String 的供应商并对其执行一些操作，因此声明如下：

final Consumer<? super Supplier<? extends String>> action = ...

问题是当我尝试执行该操作时，编译器似乎并不高兴，并出现以下错误：

这个表达式的目标类型必须是函数式接口

在我的例子中，我有一个客户的名字，所以下面一行会触发这个错误：

action.accept(customer::getName)

我的假设是 ? super Supplier<? extends String> 不再被视为功能接口，因为它是一种捕获类型。

那么，有人可以给我一个关于这种情况的明确解释吗？

Answer 1

你为什么使用这个令牌，? super Supplier。这样做的目的是什么？你只需要传递一个Supplier，它被声明为@FunctionalInterface。试试这个吧，

public class MyConsumer implements Consumer<Supplier<String>> {
    @Override
    public void accept(Supplier<String> t) {
        System.out.println(t.get());

    }

    public static void main(String[] args) {
        MyConsumer myConsumer = new MyConsumer();
        myConsumer.accept(() -> "Test");
    }
}

@FunctionalInterface 注释对于代码的编译时间检查很有用。那里不能有多个方法。例如，Runnable、Callable 是很好的候选对象。

但是你可以像这样进一步压缩它：

Consumer<Supplier<String>> myConsumer = (Supplier<String> supplier) -> System.out.println(supplier.get());
myConsumer.accept(() -> "Test");

由于编译器可以推断类型，这将进一步简化为，

Consumer<Supplier<String>> myConsumer = supplier -> System.out.println(supplier.get());
myConsumer.accept(() -> "Test");

Answer 2

这只是类型推断中的一个缺陷。请注意，虽然

final Consumer<? super Supplier<? extends String>> action=s -> System.out.println(s.get());
action.accept(() -> "foo");

因编译器错误而失败

final Consumer<? super Supplier<? extends String>> action=s -> System.out.println(s.get());
action.accept((Supplier<? extends String>)() -> "foo");

编译和运行没有问题。也一样

final Consumer<? super Supplier<? extends String>> action=s -> System.out.println(s.get());
final Supplier<? extends String> supp = () -> "foo";
action.accept(supp);

所以编译器根本没有为参数类型? super Supplier<? extends String>推断目标类型Supplier<? extends String>。请注意，另一方面，它会在提供 lambda 表达式时将 Supplier<String> 推断为分配给 Supplier<? extends String> 的目标类型。