您好, 欢迎来到 !    登录 | 注册 | | 设为首页 | 收藏本站

为什么派生类重写方法不应比Java中的基类更严格?

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

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

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

java 2022/1/1 18:31:13 有498人围观

撰写回答


你尚未登录,登录后可以

和开发者交流问题的细节

关注并接收问题和回答的更新提醒

参与内容的编辑和改进,让解决方法与时俱进

请先登录

推荐问题


联系我
置顶