为什么派生类重写方法不应比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());

您希望这样做吗？您正在重写该方法，因此它 应该显示 “包访问”-但这意味着您正在从其他包中调用一个包访问方法…

基本上，这只是“
里斯科夫替代原则”在实践中的一个例子。您应该能够将子类的任何实例视为超类的实例，并且很难看到这与使子类中的事物更具约束性相适应。