《java与模式》笔记(三) 里氏替换原则

 ξ 7.2 什么是里氏替代原则

☆ 里氏替换原则由Barbara Liskov提出，它的严格表达是，如果对每一个类型为T1的对象o1，都由类型为T2的对象o2，使得以T1定义的所有程序P在所有的对象o1都代换成o2时，程序P的行为没有变化，那么类型T2是类型T1的子类型。换句话说，一个软件实体如果使用的是一个积累大话，那么一定适用于其子类，而且它根本不能察觉出基类对象和子类对象的区别。

☆ 里氏替换原则的反命题是不成立的。

ξ 7.3 里氏替换原则在设计模式中的体现
☆ 策略模式、合成模式和代理模式是对该原则的最好诠释。

ξ 7.4 从代码重构的角度理解
☆ 对违反里氏替换原则的设计的重构
① 创建一个新的抽象类，作为两个具体类的基类，将两个具体类的共同行为移动到抽象类中；
② 将两个具体类的继承关系改写为委派关系。

关键知识点：
☆ 里氏替换原则的概念，基类可以出现的地方，派生类同样可以出现；
☆ 里氏替换原则的反命题不成立；
☆ 对于A、B两个类，B由A派生，如果这种继承违反里氏替换原则，可以采用如下方法进行重构：将A、B的共同行为抽象出来，建立一个抽象类C，A和B都是C的派生类，如下图所示：