设计模式：里式替换原则指导继承子类如何设计

一、里式替换原则：Liskov Substitution Principle——LSP

1、定义：

里式替换原则用来指导继承关系中子类如何设计的。

design by contract-按照协议来设计。

父类定义了函数的约定或者协议，那子类可以改变函数的内部实现逻辑，但不能改变函数原有的“约定”。

“约定”包括：

（1）函数声明要实现的功能；

（2）对输入，输出，异常的约定；

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

2、与多态的区别：

多态是面向对象编程的一大特性，也是面向对象编程的一种语法，是一种代码实现的思路。

而里式替换是一种设计原则，用来指导继承关系中子类该如何设计，

子类的设计要保证在替换父类的时候，不改变原有程序的逻辑以及不破坏程序的正确性。

3、案例：

（1）子类违背父类声明要实现的功能：

父类函数：按金额大小给订单排序；

而子类：按照创建日期给订单排序；

（2）子类违背父类对输入输出异常的约定：

父类的函数约定运行出错返回null;获取数据为空返回empty collection。

而子类重载函数之后，运行出错返回异常，获取不到数据返回null

（3）子类违背父类注释所罗列的任何特殊说明：

父类withdraw()提现函数注释：用户的提现金额不得超过账户余额；

而子类重写时，针对vip账户实现了透支提现的功能。