שיעור 3: LSP וחוזים התנהגותיים

בשיעור הזה נתרגל LSP וחוזים התנהגותיים ברמה של אפליקציה אמיתית ב־#C. נתחיל בזיהוי כאב תכנוני, נעבור לדוגמת קוד, נתרגל החלטה קטנה, ננבא התנהגות, ונבדוק שליטה.

תת־סוג חייב לשמור על ההבטחות של הבסיס, כדי שהלקוח יוכל להחליף מימוש בלי הפתעות.

LSP וחוזים התנהגותיים: תת־סוג חייב לשמור על ההבטחות של הבסיס, כדי שהלקוח יוכל להחליף מימוש בלי הפתעות.
לחץ תכנוני: סימן חוזר בקוד: שינוי קטן דורש עריכות רבות, בדיקה קשה מדי, או כפילות שמתחילה להתפשט.