为什么派生类的重写方法不应该比java中的基类更严格。为什么编译器会抛出错误?您能否请任何人解释原因?
关键是,仅知道您的 超类 的调用者仍应能够使用给定的 子类的 任何实例。考虑这种情况:
public class Super { public void print() { System.out.println("Hello!"); } } public class Sub extends Super { @Override void print() // Invalid { System.out.println("Package access"); } }
现在从另一个包中,想象我们有:
public void printSuper(Super x) { x.print(); }
我们这样称呼:
printSuper(new Sub());
您希望这样做吗?您正在重写该方法,因此它 应该显示 “包访问”-但这意味着您正在从其他包中调用一个包访问方法…
基本上,这只是“ 里斯科夫替代原则”在实践中的一个例子。您应该能够将子类的任何实例视为超类的实例,并且很难看到这与使子类中的事物更具约束性相适应。