【设计模式】Liskov替换原则

文章目录

Liskov替换原则(Liskov Substitution Principle,简称LSP)是面向对象设计中的五大基本原则之一,由Barbara Liskov在1987年提出。LSP原则的核心思想是: 子类对象必须能够替换掉基类对象,并且程序的行为不会发生变化 。换句话说,程序中的任何地方使用基类对象时,都应该能够透明地使用其子类对象,而不影响程序的正确性。

LSP原则的定义

LSP原则可以通过以下方式定义:

如果S是T的一个子类型,那么类型为T的对象可以被类型为S的对象替换,而不会改变程序的任何性质(如正确性、任务完成能力等)。

关键点

  1. 行为一致性:子类应当保持基类的行为一致性,不应改变基类的行为。
  2. 契约(Contract)遵守:子类应当遵守基类的契约(如方法的前置条件、后置条件和不变式)。
  3. 不违反基类的约定:子类不应该违反基类中定义的约定和约束。

示例

以下是一个违反LSP原则的示例:

java 复制代码
// 矩形
class Rectangle {
    private int width;
    private int height;

    public void setWidth(int width) {
        this.width = width;
    }

    public void setHeight(int height) {
        this.height = height;
    }

    public int getWidth() {
        return width;
    }

    public int getHeight() {
        return height;
    }

    public int getArea() {
        return width * height;
    }
}
// 正方形
class Square extends Rectangle {
    @Override
    public void setWidth(int width) {
        super.setWidth(width);
        super.setHeight(width); // 违反LSP原则
    }

    @Override
    public void setHeight(int height) {
        super.setHeight(height);
        super.setWidth(height); // 违反LSP原则
    }
}

在上述代码中,Square类继承了Rectangle类,但它违反了LSP原则,因为它改变了Rectangle类的行为。具体来说,Square类在设置宽度和高度时,强制将宽度和高度设置为相同的值,这与Rectangle类的行为不一致。

遵循LSP原则的示例

为了遵循LSP原则,可以将矩形和正方形的共同行为抽象到一个接口或抽象类中,然后分别实现这些行为:

java 复制代码
interface Shape {
    int getArea();
}

class Rectangle implements Shape {
    private int width;
    private int height;

    public Rectangle(int width, int height) {
        this.width = width;
        this.height = height;
    }

    public int getWidth() {
        return width;
    }

    public int getHeight() {
        return height;
    }

    @Override
    public int getArea() {
        return width * height;
    }
}

class Square implements Shape {
    private int side;

    public Square(int side) {
        this.side = side;
    }

    public int getSide() {
        return side;
    }

    @Override
    public int getArea() {
        return side * side;
    }
}

在这个示例中,RectangleSquare都实现了Shape接口,并且各自定义了自己的行为。这样,RectangleSquare的行为是独立的,不会互相影响,遵循了LSP原则。

示例2

例如,假设你有一个Bird类,它有一个fly()方法。然后你创建了一个Penguin类继承自Bird,但是企鹅不会飞。在这种情况下,直接使用Penguin来替换Bird可能会导致运行时错误,因为客户代码期望所有Bird都能飞行。这违反了 LSP,因为Penguin不能安全地替换Bird。

解决这个问题的一个方法可能是重新组织你的类层次结构,比如将fly()方法移到一个新的接口Flyable中,只有能飞行的鸟类才实现这个接口。这样,Penguin就不会有fly()方法,从而避免了违反 LSP。

结论

Liskov替换原则是面向对象设计中的一个重要原则,确保子类能够替换基类而不改变程序的行为。遵循LSP原则有助于提高代码的可扩展性、可维护性和可重用性。在设计类继承关系时,务必确保子类不会违反基类的契约和行为约定,从而实现更健壮和灵活的面向对象设计。

相关推荐
鹏大师运维2 小时前
【功能介绍】信创终端系统上各WPS版本的授权差异
linux·wps·授权·麒麟·国产操作系统·1024程序员节·统信uos
亦枫Leonlew3 小时前
微积分复习笔记 Calculus Volume 1 - 4.7 Applied Optimization Problems
笔记·数学·微积分·1024程序员节
小肥象不是小飞象3 小时前
(六千字心得笔记)零基础C语言入门第八课——函数(上)
c语言·开发语言·笔记·1024程序员节
一个通信老学姐12 小时前
专业130+总400+武汉理工大学855信号与系统考研经验电子信息与通信工程,真题,大纲,参考书。
考研·信息与通信·信号处理·1024程序员节
力姆泰克13 小时前
看电动缸是如何提高农机的自动化水平
大数据·运维·服务器·数据库·人工智能·自动化·1024程序员节
力姆泰克13 小时前
力姆泰克电动缸助力农业机械装备,提高农机的自动化水平
大数据·服务器·数据库·人工智能·1024程序员节
程思扬13 小时前
为什么Uptime+Kuma本地部署与远程使用是网站监控新选择?
linux·服务器·网络·经验分享·后端·网络协议·1024程序员节
转世成为计算机大神13 小时前
网关 Spring Cloud Gateway
java·网络·spring boot·1024程序员节
paopaokaka_luck14 小时前
基于Spring Boot+Vue的助农销售平台(协同过滤算法、限流算法、支付宝沙盒支付、实时聊天、图形化分析)
java·spring boot·小程序·毕业设计·mybatis·1024程序员节
幼儿园园霸柒柒14 小时前
第七章: 7.3求一个3*3的整型矩阵对角线元素之和
c语言·c++·算法·矩阵·c#·1024程序员节