对象应该可以替换为其子类型,而不影响代码的正确性
让我们用继承来理解这一点(Is-a关系)
例如:鸵鸟是鸟,驼背是汽车等等
示例:赛车是一辆汽车
RacingCar 覆盖了汽车类的 getCabinWidth() 但保留它未实现因为赛车没有驾驶室宽度(如果你看到一辆一级方程式赛车,它没有任何内部空间,它只有一个驾驶员所在的驾驶舱)
因此赛车的内部空间被称为驾驶舱。
注意:赛车有一些规格可能与通用汽车不匹配
这是一个已经被曝光的设计,因为 for 循环在第三次迭代时会失败。
为了解决这个问题,我们必须从根源上解决,那就是继承本身。
解决方案 1 :(打破层次结构)
我们必须打破继承,相反,我们将为 Car 和 RacingCar 提供一个共同的父对象
我们将创建一个非常通用的父类,名为 Vehicle
**打破层次结构:如果替换失败,则打破层次结构
解决方案2:告诉不要问
我们再举一个亚马逊的例子
亚马逊为所有第三方产品提供 x 折扣。
并对所有自营产品提供1.5倍x优惠(Amazon Basics产品均为亚马逊自营产品)
请注意,if 语句涉及更新 InHouseProduct 的折扣金额,这违反了里氏替换原则(因为我们应该能够将对象 Product 替换为其子类型 InHouseProduct),但是在 if 语句中我们手动更新不应该做的折扣金额。
对 InHouseProduct 类进行轻微修改即可解决此问题
最后从 PricingUtils 类中删除 if 语句
告诉不要问:这里我们告诉 utils 类打印所有折扣,并且 utils 类不必询问任何内容(因为它之前通过 if 语句询问)
以上是里氏替换原则的详细内容。更多信息请关注PHP中文网其他相关文章!