设计模式原则：里氏替换原则（Liskov Substitution Principle, LSP）

最新推荐文章于 2022-01-14 17:44:05 发布

店小不二

最新推荐文章于 2022-01-14 17:44:05 发布

阅读量560

点赞数

分类专栏：设计模式文章标签：设计模式

本文链接：https://blog.csdn.net/u013190088/article/details/78998024

版权

里氏替换原则（LSP）是设计模式中的一个重要原则，由Barbara Liskov提出。它要求子类能够替换其父类并保持程序的正确性。简单来说，如果一个软件实体使用的是父类，那么它应该可以不加修改地使用子类。违反该原则可能导致程序出错或兼容性问题。文中通过举例说明了如何遵循和违背LSP，以及不遵循的潜在后果。

摘要由CSDN通过智能技术生成

定义

LSP由Barbara Liskov于1987年提出，一般有两种定义方式：

第一种：If for each object O1 of type S there is an object O2 fo type T such that for all programs P defined in terms of T, the behavior of P is unchanged when O1 is substitueted for O2 then S is a subtype of T. （对于每一个S类型的对象O1，都有一个T类型的对象O2，使以T定义的程序P在使用O2替换O1时，行为不发生变化，则S是T的子类）。

第二种：Functions that use pointers or references to base classes must be able to use objects of derived classes without knowing it. (所有引用基类的地方都必须能够使用子类对象，而且使用者不用知道任何差异，不必自己进行任何修改）。

通俗地讲，就是只要能使用父类对象的地方，就可以使用子类对象，并且这样的替换不会给程序带来任何错误或异常，这是满足“里氏替换原则”的继承。（注意顺序，父类可以用子类来替换，但是子类不一定能被父类替换）

举例

下面用一个例子来说明里氏替换原则（父类可以用子类来替换）：

我们需要完成一个两数相减的功能，由类A来负责：

class A{  
    public int func1(int a, int b){  
        return a-b;  
    }  
}  

public class Client{  
    public static void main(String[] args){  
        A a = new A();  
        System.out.println("100-50="+a.func1(100, 50));  
        System.out.println("100-80="+a.func1(100, 80));  
    }  
}  

 运行结果：