व्युत्पन्न प्रकार उनके मूल प्रकारों के लिए पूरी तरह से प्रतिस्थापन योग्य होने चाहिए।
परिभाषा:
हमें एक बाल वर्ग के साथ ऐसा व्यवहार करने में सक्षम होना चाहिए जैसे कि वह मूल वर्ग हो। अनिवार्य रूप से इसका मतलब है कि सभी व्युत्पन्न वर्गों को अपने मूल वर्ग की कार्यक्षमता को बनाए रखना चाहिए और माता-पिता द्वारा प्रदान की जाने वाली किसी भी कार्यक्षमता को प्रतिस्थापित नहीं कर सकते।
लिस्कोव प्रतिस्थापन से पहले
public class Ellipse { public double MajorAxis { get; set; } public double MinorAxis { get; set; } public virtual void SetMajorAxis(double majorAxis){ this.MajorAxis = majorAxis; } public virtual void SetMinorAxis(double minorAxis){ this.MajorAxis = minorAxis; } public virtual double Area() { return MajorAxis * MinorAxis * Math.PI; } } public class Circle : Ellipse { public override void SetMajorAxis(double majorAxis) { base.SetMajorAxis(majorAxis); this.MinorAxis = majorAxis; //In a cirle, each axis is identical } } public class Result { public void Method1() { Circle circle = new Circle(); circle.SetMajorAxis(5); circle.SetMinorAxis(4); var area = circle.Area(); //5*4 = 20, but we expected 5*5 = 25 } }
लिस्कोव प्रतिस्थापन के बाद
internal class Program { private static void Main() { } } public class Ellipse { public double MajorAxis { get; set; } public double MinorAxis { get; set; } public virtual void SetMajorAxis(double majorAxis) { MajorAxis = majorAxis; } public virtual void SetMinorAxis(double minorAxis) { MajorAxis = minorAxis; } public virtual double Area() { return MajorAxis * MinorAxis * Math.PI; } } public class Circle : Ellipse { public override void SetMajorAxis(double majorAxis) { base.SetMajorAxis(majorAxis); this.MinorAxis = majorAxis; //In a cirle, each axis is identical } public override void SetMinorAxis(double minorAxis) { base.SetMinorAxis(minorAxis); this.MajorAxis = minorAxis; } public override double Area() { return base.Area(); } } public class Circle1 { public double Radius { get; set; } public void SetRadius(double radius) { this.Radius = radius; } public double Area() { return this.Radius * this.Radius * Math.PI; } }