Liskov替换原则：继承的真正含义

本文深入探讨了Liskov替换原则（LSP），一个容易被误解的SOLID原则。文章通过经典的矩形-正方形问题阐述了LSP违规的常见模式：子类型未能完全替换基类型。作者建议使用组合和接口代替继承来避免LSP违规，并提供了支付处理的实际例子。文章还总结了常见的LSP违规情况，例如抛出意外异常和返回与基类型不一致的结果，并介绍了如何通过契约测试和明确的预/后置条件来确保LSP的遵循。最终，文章强调LSP不仅仅关乎继承，更关乎行为兼容性和预期管理，遵循LSP能编写出更可靠、更易维护的代码。