Java设计模式 七大原则（二） 里氏替换原则（Liskov Substitution Principle）

Shubho:"Liskov's替换原则(LSP)"听起来很难，却是很有用的基本概念。看下这幅有趣的海报：

Liskov替换原则海报

这个原则意思是："子类型必须能够替换它们基类型。"

或者换个说法："使用基类引用的函数必须能使用继承类的对象而不必知道它。"

Farhana:不好意思，听起来有点困惑。我认为这个OOP的基本原则之一。也就是多态，对吗？为什么一个面向对象原则需要这么说呢？

Shubho:问的好。这就是你的答案：

在基本的面向对象原则里，"继承"通常是"is a"的关系。如果"Developer" 是一个"SoftwareProfessional",那么"Developer"类应当继承"SoftwareProfessional"类。在类设计中"Is a"关系非常重要，但它容易冲昏头脑，结果使用错误的继承造成错误设计。

"Liskov替换原则"正是保证继承能够被正确使用的方法。

Farhana:我明白了。有意思。

Shubho:是的，亲爱的，确实。我们看个例子：

Liskov替换原则类结构图

这里，KingFisher类扩展了Bird基类，并继承了Fly()方法，这看起来没问题。

现在看下面的例子：

违反Liskov替换原则类结构图

Ostrich(鸵鸟)是一种鸟(显然是),并从Bird类继承。它能飞吗？不能，这个设计就违反了LSP。

所以，即使在现实中看起来没问题，在类设计中，Ostrich不应该从Bird类继承，这里应该从Bird中分离一个不会飞的类，Ostrich应该继承与它。

Farhana:好，明白了。那么让我来试着指出为什么LSP这么重要：

如果没有LSP，类继承就会混乱；如果子类作为一个参数传递给方法，将会出现未知行为；

如果没有LSP，适用与基类的单元测试将不能成功用于测试子类；

对吗？

Shubho:非常正确。你能设计对象，使用LSP做为一个检查工作来测试继承是否正确。