带有扩展类型的 Java Lambda 函数

Question

Eclipse 告诉我：

interface Recursive
{
    List<? extends Recursive> getSubitems();

    default void processRecursive(Consumer<? extends Recursive> f)
    {
        f.accept(this);
        for (Recursive r : getSubitems())
            f.accept(r);
    }
}

不可能（f.accept(this) 和 f.accept(r) 的错误：Consumer 类型中的方法 accept(capture#1-of ? extends Recursive) 不适用于参数（递归））

我想知道为什么，因为这将扩展 Recursive，所以 r（递归）也会扩展，并且它们可以作为 Recursives 处理..

在我看来，这将是完全合理且可预测的行为。

Answer 1

假设您有两个实现接口的类：Foo 和 Bar

Consumer<Bar> barConsumer = ...

Foo foo = new Foo();
foo.processRecursive(barConsumer);

现在，根据方法签名，processRecursive() 调用是有效的，因为 barConsumer 适合 Consumer<? extends Recursive>。

但是，代码f.accept(this) 会通过尝试将Foo 对象发送到Comsumer 来违反Consumer<Bar>。这就是编译器抱怨的原因，因为它不能保证类型安全，即只将有效对象提供给 accept() 方法。

由于无法强制 this 是 Recursive 的正确子类型，因此没有类型安全的方法来执行此操作。

如果您愿意牺牲一些类型安全，您可以将Recursive 设为通用：

interface Recursive<T extends Recursive> {
    List<T> getSubitems();

    default void processRecursive(Consumer<T> consumer) {
        consumer.accept((T) this); // sacrificing type-safety
        for (T item : getSubitems())
            consumer.accept(item);
    }
}

现在它可以像这样使用了，一切都很好：

class Foo implements Recursive<Foo> {

但是有人可以写这个，破坏代码，因为现在this 不是Bar，所以转换会在运行时抛出异常（也许，取决于我相信的 Java 版本） ：

class Foo implements Recursive<Bar> {