2021-04-07

# 设计原则与思想--- 里式替换原则（LSP）与多态的区别

1.如何理解“里式替换原则”？

SOLID 中的“L”对应的原则：里式替换原则。里式替换原则的英文翻译是：Liskov Substitution Principle，缩写为 LSP。

用中文描述出来，是这样的：子类对象（object of subtype/derived class）能够替换程序（program）中父类对象（object of base/parent class）出现的任何地方，并且保证原来程序的逻辑行为（behavior）不变及正确性不被破坏。

里式替换原则是用来指导，继承关系中子类该如何设计的一个原则。理解里式替换原则，最核心的就是理解“design by contract，按照协议来设计”这几个字。父类定义了函数的“约定”（或者叫协议），那子类可以改变函数的内部实现逻辑，但不能改变函数原有的“约定”。这里的约定包括：

函数声明要实现的功能；

对输入、输出、异常的约定；

甚至包括注释中所罗列的任何特殊说明。

2.LSP原则与多态的区别

虽然从定义描述和代码实现上来看，多态和里式替换有点类似，但它们关注的角度是不一样的。多态是面向对象编程的一大特性，也是面向对象编程语言的一种语法。它是一种代码实现的思路。

而里式替换是一种设计原则，是用来指导继承关系中子类该如何设计的，子类的设计要保证在替换父类的时候，不改变原有程序的逻辑以及不破坏原有程序的正确性。