摘要： 本文旨在解释为什么在Java接口实现中，不能使用接口实现类的实例作为参数和返回类型来重写接口方法，以及这样做会导致“Method does not override method from its superclass”错误的原因。通过分析继承和多态的原理，阐明了子类型方法必须接受所有父类型方法可能接受的值，而不仅仅是子集，从而保证了类型安全和代码的健壮性。
在Java中，接口定义了一组方法签名，任何实现了该接口的类都必须提供这些方法的具体实现。然而，在实现接口方法时，尝试使用实现类的实例作为参数类型或返回类型，通常会导致编译错误，提示方法没有正确地覆盖（override）父类（接口）的方法。这是因为Java的继承和多态机制对类型安全有着严格的要求。
考虑以下代码示例：
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 // 注释掉@Override注解，否则编译报错
public MyResponse cancel(MyRequest request) {
return null;
}
}在这个例子中，MyOrder类实现了Order接口，并试图使用MyRequest作为cancel方法的参数类型，MyResponse作为返回类型。 如果保留@Override注解，编译器会报错。 这是因为MyOrder的cancel方法签名与Order接口中定义的cancel方法签名不完全一致。
立即学习“Java免费学习笔记（深入）”；
为什么会出现这种错误？
核心原因在于继承和多态的约束。 根据里氏替换原则，任何可以使用父类型的地方，都必须能够使用子类型替换。 这意味着子类的方法必须能够接受所有父类方法可以接受的参数，并返回父类方法可以返回的类型。
假设存在另一个实现了Request接口的类 MyOtherRequest：
class MyOtherRequest implements Request {
// ...
}现在考虑以下代码：
MyOrder myOrder = new MyOrder(); Order order = myOrder; // MyOrder 是 Order 的子类型，赋值没问题 //order.cancel(new MyOtherRequest()); // 编译错误! Order接口的cancel方法需要接受Request类型参数，MyOtherRequest实现了Request接口，按理说应该可以，但是实际上不能调用，因为MyOrder类中cancel方法只接受MyRequest类型的参数
这段代码中，order变量是Order接口类型的，它引用了MyOrder的实例。如果MyOrder的cancel方法只接受MyRequest类型的参数，那么当调用order.cancel(new MyOtherRequest())时，就会出现问题。因为Order接口定义的cancel方法必须能够接受任何Request类型的实例，而MyOrder的实现却限制了参数类型。 这意味着MyOrder并没有完全满足Order接口的约定，违反了里氏替换原则。
正确的做法
为了正确地实现接口方法，必须使用接口中定义的参数类型和返回类型：
public class MyOrder implements Order {
@Override
public Response cancel(Request request) {
// 在这里处理 request 对象，并返回 Response 对象
// 可以使用 instanceof 来判断 request 的具体类型，并进行相应的处理
if (request instanceof MyRequest) {
MyRequest myRequest = (MyRequest) request;
// ...
return new MyResponse();
} else {
// 处理其他类型的 Request 对象
return null; // 或者抛出异常
}
}
}在这个修正后的版本中，MyOrder的cancel方法接受Request类型的参数，并返回Response类型的对象。 在方法内部，可以使用 instanceof 运算符来判断request参数的具体类型，并根据需要进行类型转换和处理。
总结
在Java接口实现中，为了保证类型安全和代码的健壮性，必须遵循继承和多态的约束。这意味着子类的方法必须能够接受所有父类方法可以接受的参数，并返回父类方法可以返回的类型。 尝试使用实现类的实例作为参数类型或返回类型来重写接口方法，会违反这些约束，导致编译错误。 正确的做法是使用接口中定义的参数类型和返回类型，并在方法内部根据需要进行类型判断和处理。
