子类型如何“promise”它将调用具有更具体类型的回调？

Question

这是我最想要的代码，它不会编译：

interface Interface {
  interface ArgumentInterface {
    // Some methods
  }

  void doCallback(Consumer<? super ArgumentInterface> callback);
}

interface SubInterface extends Interface {
  interface ArgumentSubInterface extends ArgumentInterface {
    // Some more methods
  }

  @Override
  void doCallback(Consumer<? super ArgumentSubInterface> callback);
}

这里的想法是，接口将把ArgumentInterface的实例传递给用户提供的消费者，而SubInterface将传递更具体的ArgumentSubInterface的实例。特别是，我希望用户能够传递一个消费者

天真地说，这似乎应该像写的那样工作：任何被Interface版本接受的论点也将被SubInterface版本接受。然而，Java声称该方法不会覆盖。

Answer 1

interface ArgumentInterface {
  // Some methods
}

interface Interface<IFace extends ArgumentInterface> {

  void doCallback(Consumer<IFace> callback);
}

interface ArgumentSubInterface extends ArgumentInterface {
  // Some more methods
}

interface SubInterface<IFace extends ArgumentSubInterface>
extends Interface<IFace> {

// No need to override anymore, the selection is applied at the 
// SubInterface generics' arguments
//  @Override
//  void doCallback(Consumer<? super ArgumentSubInterface> callback);
}

Answer 2

您说过“任何被< code >接口版本接受的参数也将被< code >子接口的版本接受”。这是正确的，但不是方法重写的工作方式。就好像你写了:

interface Interface {
    void method(String s);
}
interface SubInterface extends Interface {
    void method(Object o);
}

虽然< code>method(Object)能够接受< code>method(String)可以接受的任何内容，但它仍然没有覆盖该方法。在这个简化的示例中，您可以按如下方式解决问题

interface SubInterface extends Interface {
    @Override default void method(String s) {
        method((Object)s);
    }
    void method(Object o);
}

这具有SubInterface实现者必须使用更抽象的类型实现一个方法的预期效果。

但是，当所讨论的参数类型为消费者

interface Interface {
    interface ArgumentInterface {
      // Some methods
    }
    void doCallback(Consumer<? super ArgumentInterface> callback);
}

interface SubInterface extends Interface {
    interface ArgumentSubInterface extends ArgumentInterface {
      // Some more methods
    }
    @Override
    default void doCallback(Consumer<? super ArgumentInterface> callback) {
        doCallbackSub(callback);
    }
    void doCallbackSub(Consumer<? super ArgumentSubInterface> callback);
}

我想这不是你能想象的最好的，但Java泛型是你能得到的最好的…

Answer 3

它不起作用，因为Java不允许使用逆变参数覆盖。您可以用您要接受的ArgumentInterface的特定类型参数化Interface：

interface Interface<T extends ArgumentInterface> {
  interface ArgumentInterface {
    // Some methods
  }

  void doCallback(Consumer<? super T> callback);
}

interface SubInterface extends Interface<ArgumentSubInterface> {
  interface ArgumentSubInterface extends ArgumentInterface {
    // Some more methods
  }

  // This is implicitly inherited
  // @Override
  // void doCallback(Consumer<? super ArgumentSubInterface> callback);
}