مرحبًا ، اسمي دميتري كارلوفسكي. وأنت في قناة Core Dump ، حيث نأخذ موضوعات مختلفة من علوم الكمبيوتر ونفككها على الرفوف. هذه المرة ، سنبدأ في تفكيك مبادئ SOLID بدءًا من أكثرها واقعية.
مرة أخرى في عام 1987 ، صاغت باربرا ليسكوف مبدأ تطوير اسم لنفسها.
مبدأ استبدال Liskov
يسمح لك بفهم ما إذا كنت قد كتبت رمزًا متعدد الأشكال بشكل صحيح أم لا. ولكن قبل صياغته ، نحتاج إلى فهم بعض المفاهيم التي يتضمنها التعريف.
علاقة نوع فرعي فائق
جميع البيانات في برنامجنا تنتمي إلى نوع أو آخر. يحدد النوع مجموعة القيم الممكنة ودلالاتها. يمكن أن يشتمل أحد الأنواع على نوع آخر تمامًا. في مثل هذه الحالة ، النوع الثاني هو نوع فرعي من النوع الأول. بهذه الطريقة ، يمكن للأنواع تشكيل تسلسل هرمي. لنلق نظرة على مثال بالأرقام ..
يعتبر كل من نوع الأعداد الصحيحة ونوع الأعداد الموجبة حالتين خاصتين منفصلتين لنوع الأعداد الحقيقية ، وبالتالي فهي أنواع فرعية لها. في الوقت نفسه ، لا يشمل الجميع كل الإيجابية. والإيجابية لا تشمل الجميع. لذلك ، لا تنتمي هذه الأنواع إلى بعضها البعض في علاقة نوع فرعي عالي. لكن الأعداد الطبيعية عبارة عن أعداد صحيحة وموجبة ، لذا فإن نوع الأعداد الطبيعية هو نوع فرعي لكلا النوعين.
"-" , , — , .
. , . . , , — , .
, , .
— .
, draw . — .
LSP —
, : " , , , ".
, , , , , . , LSP : , .
, ...
LSP
, -, , .
, , "", . . , , . LSP. , . "".
, , , . ..
- — ( )
- — ( )
- :
- ( )
- ( )
, , LSP .
LSP
- . , , , , LSP . — .
, , , .
LSP
, LSP , ...
" , , , ".
, , — . , , .
LSP?
, , LSP. , , , . , - , . , .
LSP, , — , . . , .
- LSP :-(
- :-)
?
. , , .
:
, . - . - . - . , , , .
..
-
إذا كان هذا التحليل يبدو مفيدًا لك ، فأخبرني به من خلال ما شابه. وأيضًا مشاركة رابط لها مع زملائك.
إذا كنت لا توافق على أي فكرة أو ، على العكس من ذلك ، تشعر بنوع من التقليل من الأهمية وتريد إضافة أفكارك ، فأنا أتطلع إلى تعليقاتك.
إذا لم تكن خائفًا من المناقشة معي على الهواء ، أو كنت مستعدًا لأن تصبح مؤلفًا مشاركًا للتحليلات المستقبلية ، فاكتب البرقيات .
أخيرًا ، اشترك في القناة حتى لا تفوتك أي رؤى أخرى. لا يزال لدينا الكثير لنناقشه معك.
هذا كل شئ حتى الان. كان معك مبرمج صغير ديمتري كارلوفسكي.