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做为一个检查工作来测试继承是否正确。