为什么不能使用接口实现的实例作为参数和返回类型？

Question

我想问一下你为什么在这种情况下使用@Overdge会产生错误“方法不会从它的超类中覆盖方法”？为什么我不能使用类的实例实现一个接口作为参数，并返回由同一接口定义的方法的类型？

 public interface Request {
    //....
  }

  public interface Response {
    //....
  }

  public class MyRequest implements Request {
    //....
  }

  public class MyResponse implements Response {
    //....
  }

  public interface Order {
    Response cancel(Request request);
  }

  public class MyOrder implements Order {

    @Override
    public MyResponse cancel(MyRequest request) {
      return null;
    }

  }

Answer 1

问题是要取消的参数。

public MyResponse cancel(MyRequest request) {
      return null;
}

您不能将< code >超类型传递给< code >子类型(在本例中，将< code>Request对象传递给< code>MyRequest参数)，因为< code >子类型的实现可能有< code >超类型不知道的其他方法。

Answer 2

下面的方法不可行——但是继承要求必须这样做。

class MyOtherRequest implements Request { ... }

MyOrder myOrder = new MyOrder();
Order order = myOrder; // okay because myOrder is a subtype of Order
order.cancel(new MyOtherRequest()); // unimplemented!

因此，子类型的方法必须接受父类型的方法可以接受的所有可能的值——而不仅仅是子集。