里氏替换原则（Liskov Substitution Principle）

里氏替换原则是面向对象设计中关于继承与多态的重要准则,由图灵奖得主芭芭拉·利斯科夫（Barbara Liskov）于一九八七年提出。其核心思想是:凡是能使用基类对象的地方,都应当能够用其派生类对象替换,而不改变程序原有的正确性与预期行为。

概述

该原则是著名的面向对象设计原则集合中的一条。它对继承关系提出了行为层面的约束,强调继承不仅要满足语法上的类型兼容,更要满足语义上的行为兼容。若子类破坏了父类所承诺的契约,即便编译通过,也会在运行时引发意外错误,这被视为对该原则的违反。

核心原理

• 子类重写方法时,不应比父类方法要求更严的前置条件,即不能对调用者提出更多限制。
• 子类方法的后置条件不应弱于父类,即返回的保证不能比父类更少。
• 子类必须保持父类的不变式,不能破坏父类所维护的对象一致性。
• 子类不应抛出父类方法未声明的、调用方无法预期的新异常。

应用场景

一个经典的反例是正方形与矩形的继承:如果让正方形继承矩形,并使宽高联动,那么依赖矩形独立设置宽高的代码在传入正方形时便会失效,这正是违反里氏替换原则的表现。遵循该原则有助于设计出健壮的类层次结构,让多态调用安全可靠,也是构建可扩展框架和插件体系的基础。

常见问题

问:里氏替换原则和多态是什么关系?答:多态是语言机制,允许用父类引用指向子类对象;里氏替换原则是设计约束,保证这种替换在行为上是安全的,可以说它是多态得以正确工作的前提。

问:违反该原则会有什么后果?答:调用方需要通过类型判断来区别对待不同子类,继承的优势荡然无存,代码变得脆弱且难以扩展,常伴随大量分支判断。