مبدأ الاستبدال لِيسكوف: المعنى الحقيقي للوراثة

تتناول هذه المقالة بالتفصيل مبدأ الاستبدال لِيسكوف (LSP)، وهو مبدأ من مبادئ SOLID غالبًا ما يُسوء فهمه. باستخدام مثال المربع والمستطيل الكلاسيكي، توضح المقالة الانتهاكات الشائعة لـ LSP: حيث تفشل الأنواع الفرعية في استبدال الأنواع الأساسية بالكامل. ينصح الكاتب باستخدام التركيب والواجهات بدلاً من الميراث لتجنب انتهاكات LSP، مع تقديم مثال عملي على معالجة المدفوعات. كما تُحدد الانتهاكات الشائعة لـ LSP، مثل إلقاء الاستثناءات غير المتوقعة وإرجاع نتائج غير متناسقة مع النوع الأساسي، وكيفية ضمان الامتثال لـ LSP من خلال اختبارات العقود وشروط ما قبل/بعد التنفيذ الواضحة. في النهاية، تؤكد المقالة أن LSP يتجاوز الميراث: فهو يتعلق بالتوافق السلوكي وتلبية التوقعات. يؤدي اتباع LSP إلى رمز أكثر موثوقية وقابلية للصيانة.