עקרון ההחלפה של ליסקוב – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Auval (שיחה | תרומות)
תיקון טעות בקוד
שורה 2:
 
== עקרון ==
הרעיון של ליסקוב[[ברברה_ליסקוב]] לגבי טיפוסיות מגדיר את הרעיון של החלפה עבור אובייקטים; כלומר, אם ''S'' הוא תת-טיפוס של ''T'', אזי אובייקטים מטיפוס ''T'' בתוכנית עשויים להיות מוחלפים עם אובייקטים מטיפוס ''S'' מבלי לשנות את התנהגות התוכנית.
 
בצורה מעט פחות פורמלית, כך ניסח רוברט מרטין את העיקרון: תוכנית שעושה שימוש ביכולת של אובייקט מטיפוס מחלקת-אב חייבת להיות מסוגלת להשתמש באובייקט מטיפוס תת-מחלקה של מחלקת האב, מבלי לדעת שהיא עושה זאת.