里氏替换原则(LSP)

目录

一、理论

二、要点

[1. 替换性](#1. 替换性)

[2. 行为一致性](#2. 行为一致性)

[3. 不缩减功能](#3. 不缩减功能)

[4. 接口和抽象类](#4. 接口和抽象类)

5.避免异常

[6. 代码重用性](#6. 代码重用性)

三、举例说明
里氏替换原则(Liskov Substitution Principle,LSP)是面向对象设计中的一种基本原则,是SOLID原则中的第二个。这个原则的核心思想是:如果对于某个类型的对象 TT,能够用 SS 的对象替换 TT 的对象而程序的行为没有改变,那么 SS 必须是 TT 的子类型。

一、理论

里氏替换原则强调的是子类和父类之间的关系,确保子类能够完全替代父类,而不会影响到程序的正确性和功能。换言之,子类应该扩展父类的功能,而不应该缩减其功能。

二、要点

1. 替换性

子类的对象可以替换父类的对象,且不改变程序的正确性。程序处理父类对象的地方能够 transparently 处理任何其子类的对象。

2. 行为一致性

子类应当实现父类的方法,并且应该符合父类的方法预期。在替换时,子类不能返回意外结果、抛出异常或改变父类方法的本质行为。

3. 不缩减功能

子类不能减少父类提供的功能。如果子类不支持某些父类功能,应该将其置于更高的层次结构中。

4. 接口和抽象类

使用接口或者抽象类来定义可替换类型,通过明确的契约确保子类的行为符合预期。

5.避免异常

子类不应抛出父类未约定的异常。如果在父类中没有定义某种异常,那么对应子类也不应该抛出。

6. 代码重用性

遵循该原则可以提高代码的重用性,降低耦合,增强模块的独立性。

三、举例说明

假设有一个父类Bird和一个子类Penguin

java 复制代码
class Bird {  
    public void fly() {  
        System.out.println("I can fly");  
    }  
}  

class Sparrow extends Bird {  
    @Override  
    public void fly() {  
        System.out.println("I am a sparrow and I can fly");  
    }  
}  

class Penguin extends Bird {  
    @Override  
    public void fly() {  
        throw new UnsupportedOperationException("Penguins can't fly");  
    }  
}

在这个例子中,Penguin是 Bird的子类,但它不具备飞行的能力。如果在代码中用 Penguin替换 Bird,会导致程序抛出异常,违反了里氏替换原则。

为了遵循里氏替换原则,我们可以使用接口或者抽象类:

java 复制代码
interface Bird {  
    void eat();  
}  

interface FlyingBird extends Bird {  
    void fly();  
}  

class Sparrow implements FlyingBird {  
    @Override  
    public void eat() {  
        System.out.println("Sparrow is eating");  
    }  

    @Override  
    public void fly() {  
        System.out.println("Sparrow is flying");  
    }  
}  

class Penguin implements Bird {  
    @Override  
    public void eat() {  
        System.out.println("Penguin is eating");  
    }  
}
相关推荐
珹洺1 小时前
C++从入门到实战(十)类和对象(最终部分)static成员,内部类,匿名对象与对象拷贝时的编译器优化详解
java·数据结构·c++·redis·后端·算法·链表
一 乐1 小时前
网红酒店|基于java+vue的网红酒店预定系统(源码+数据库+文档)
java·开发语言·数据库·毕业设计·论文·springboot·网红酒店预定系统
DARLING Zero two♡1 小时前
C++底层学习精进:模板进阶
开发语言·c++·模板
勘察加熊人2 小时前
c++生成html文件helloworld
开发语言·c++·html
xyliiiiiL3 小时前
从责任链模式聊到aware接口
java·开发语言
Elec_z4 小时前
网络深处的守门人
开发语言·网络
闪电麦坤955 小时前
C#:Time.deltaTime
开发语言·c#
码农老起6 小时前
与Aspose.pdf类似的jar库分享
java·pdf·jar
程序猿小D6 小时前
第三百八十九节 JavaFX教程 - JavaFX WebEngine
java·eclipse·intellij-idea·vr·javafx
Alfadi联盟 萧瑶7 小时前
Python-Django入手
开发语言·python·django