في هذا الفيديو سوف نقوم بشرح مبدأ Liskov Subsutuation بكل بساطة و باللغة العربية.


مبدأ استبدال Liskov ( LSP ) هو تعريف خاص لعلاقة فرعية ، تسمى التصنيف الفرعي السلوكي القوي ، والتي تم تقديمها في البداية من قبل Barbara Liskov في عنوان رئيسي لمؤتمر عام 1988 بعنوان تجريد البيانات والتسلسل الهرمي . يعتمد على مفهوم "الاستبدال" - وهو مبدأ في البرمجة الموجهة للكائنات ينص على أن كائنًا (مثل فئة ) وكائن فرعي (مثل الفئة التي تمتد إلى الفئة الأولى) يجب أن يكونا قابلين للتبادل دون كسر برنامج. إنه دلاليبدلاً من مجرد علاقة نحوية ، لأنها تهدف إلى ضمان قابلية التشغيل البيني الدلالي للأنواع في التسلسل الهرمي ، وأنواع الكائنات على وجه الخصوص. وصفت باربرا ليسكوف وجانيت وينج المبدأ بإيجاز في ورقة بحثية عام 1994 على النحو التالي:


متطلبات النوع الفرعي : Let{\ displaystyle \ phi (x)}\ phi (x)أن تكون خاصية يمكن إثباتها بخصوص الأشياء{\ displaystyle x}xمن النوع T. ثم{displaystyle phi (y)}{displaystyle phi (y)}يجب أن يكون صحيحًا بالنسبة للأشياء{\ displaystyle y}ذمن النوع S حيث S هو نوع فرعي من T.


في نفس الورقة ، قام ليسكوف ووينج بتفصيل مفهومهما عن التصنيف الفرعي السلوكي في امتداد لمنطق Hoare ، والذي يحمل تشابهًا معينًا مع تصميم برتراند ماير عن طريق العقد من حيث أنه يأخذ في الاعتبار تفاعل التصنيف الفرعي مع الشروط المسبقة والظروف اللاحقة والثوابت .