敏捷开发笔记 原则篇 LSP （Liskov 替换原则 ）

描述 子类型必须可以替换掉他的基类型web 遵照规则的设计 从使用者的角度靠看一个模块 ，一个模块若是孤立的看，并不具备真正的有效性 。模型的有效性只能经过他的客户程序表现。 IS - A 的关系是针对模块行为而言的 在从新生成的派生类只能使用比原先前置条件范围更广的条件做为前置条件；只能使用比原前后置条件范围更加窄的条件做为后置条件 修正不符合LSP规则的设计 用提取公共部分的方法代替继承 ：

>>阅读原文<<