【设计原则】里氏替换原则（LSP）：构建稳健继承体系的黄金法则

深入理解里氏替换原则LSP及其在C#中的实践一、什么是里氏替换原则二、为什么需要LSP三、经典违反案例矩形与正方形问题四、正确的设计实践方案1通过接口分离方案2使用抽象类五、LSP的关键检查点六、C#中的实现建议七、单元测试验证LSP八、最佳实践总结九、现实应用场景一、什么是里氏替换原则里氏替换原则Liskov Substitution Principle, LSP是面向对象设计SOLID原则中的L由Barbara Liskov在1987年提出。其核心定义为所有引用基类父类的地方必须能透明地使用其子类的对象这意味着子类必须完全实现父类的抽象方法子类可以扩展父类功能但不能改变原有行为子类方法的前置条件不应强于父类子类方法的后置条件不应弱于父类二、为什么需要LSP保证继承关系的正确性提高代码的可维护性增强系统的可扩展性降低单元测试的复杂度三、经典违反案例矩形与正方形问题// 基类矩形publicclassRectangle{// 矩形的宽度属性publicvirtualintWidth{get;set;}// 矩形的高度属性publicvirtualintHeight{get;set;}// 计算矩形的面积publicintAreaWidth*Height;}// 子类正方形publicclassSquare:Rectangle{// 重写Width属性确保宽度和高度始终相等publicoverrideintWidth{set{base.Widthbase.Heightvalue;}}// 重写Height属性确保高度和宽度始终相等publicoverrideintHeight{set{base.Widthbase.Heightvalue;}}}// 使用场景面积计算器publicclassAreaCalculator{// 计算矩形面积的方法publicvoidCalculate(Rectanglerect){// 设置宽度为5rect.Width5;// 设置高度为4rect.Height4;// 输出期望面积和实际面积Console.WriteLine($期望面积20实际得到{rect.Area});}}// 调用时会出现问题newAreaCalculator().Calculate(newSquare());// 输出16而不是20问题分析Square改变了Rectangle的基本行为约定导致父类替换时出现意外结果违反了LSP。四、正确的设计实践方案1通过接口分离// 定义形状接口publicinterfaceIShape{// 面积属性intArea{get;}}// 矩形类实现IShape接口publicclassRectangle:IShape{// 宽度属性publicintWidth{get;set;}// 高度属性publicintHeight{get;set;}// 计算面积publicintAreaWidth*Height;}// 正方形类实现IShape接口publicclassSquare:IShape{// 边长属性publicintSideLength{get;set;}// 计算面积publicintAreaSideLength*SideLength;}方案2使用抽象类// 定义抽象形状类publicabstractclassShape{// 抽象面积属性publicabstractintArea{get;}}// 矩形类继承ShapepublicclassRectangle:Shape{// 宽度属性publicintWidth{get;set;}// 高度属性publicintHeight{get;set;}// 实现面积计算publicoverrideintAreaWidth*Height;}// 正方形类继承ShapepublicclassSquare:Shape{// 边长属性publicintSideLength{get;set;}// 实现面积计算publicoverrideintAreaSideLength*SideLength;}五、LSP的关键检查点方法签名一致性// 父类鸟publicclassBird{// 飞的方法publicvirtualvoidFly(){/*...*/}}// 违反LSP的子类企鹅publicclassPenguin:Bird{// 重写Fly方法抛出异常publicoverridevoidFly(){thrownewNotSupportedException();}}解决方案建立IFlyable接口前置条件不强于父类// 父类publicvirtualvoidSetTemperature(inttemp){// 接受0-100}// 违反LSP的子类publicoverridevoidSetTemperature(inttemp){if(temp10)thrownewArgumentException();// 加强限制//...}后置条件不弱于父类// 父类方法保证返回正数publicvirtualintCalculate(){returnMath.Abs(result);}// 违反LSP的子类publicoverrideintCalculate(){returnresult;// 可能返回负数}六、C#中的实现建议使用override关键字确保正确重写密封基类方法防止意外修改publicclassVehicle{// 密封Start方法防止子类修改publicsealedoverridevoidStart(){/* 基础实现 */}}接口默认实现C#8.0publicinterfaceIWorker{// 默认实现Work方法voidWork()Console.WriteLine(Working...);}七、单元测试验证LSP使用NUnit进行契约测试[TestFixture]publicclassLspTests{[Test]publicvoidTestRectangleSubstitution(){// 创建形状列表varshapesnewListShape{newRectangle(),newSquare()};// 遍历每个形状foreach(varshapeinshapes){// 设置宽度和高度shape.Width5;shape.Height4;// 断言面积是否为20Assert.That(shape.Area,Is.EqualTo(20));}}}八、最佳实践总结优先使用组合而非继承保持继承层次扁平化使用设计模式策略模式模板方法模式装饰器模式定期进行代码审查编写契约测试九、现实应用场景支付系统// 抽象支付提供者publicabstractclassPaymentProvider{// 抽象支付方法publicabstractvoidProcessPayment(decimalamount);}// 信用卡支付实现publicclassCreditCardPayment:PaymentProvider{/*...*/}// PayPal支付实现publicclassPayPalPayment:PaymentProvider{/*...*/}日志系统// 日志接口publicinterfaceILogger{// 日志记录方法voidLog(stringmessage);}// 文件日志实现publicclassFileLogger:ILogger{/*...*/}// 数据库日志实现publicclassDatabaseLogger:ILogger{/*...*/}遵循LSP能够创建出更健壮、更易维护的系统架构。记住好的继承关系应该表现为is-a的关系而不是is-like-a。当发现子类需要修改父类核心行为时这往往是一个设计需要改进的信号。