B.3 · תכנות מכוון-אובייקטים

תמיכה בריכוז SL. הערכה ראשונה 2027 ממוקדת; תוצאות PDF רשמיות 403; סיכום קודם נרכש מהווה את ההערכה הסופית 2026. מדריך, דרישות הערכה ומעשי נותרים עם הקלמותיהם המקוריות.

תנאי הכנה: קרא את הכמויות והיחידות הנ stated, השתמש באריתמטיקה ובתנאי המודל למטה. כל שיעור מפתח את השיטה שלו לפני העברה עצמאית.

אלו הם דוגמאות הוראה מקוריות או בדיוניות במפורש, לא מדידות אמיתיות או בדיקות למידה שנבדקו והושלמו.

מה would explain this observation?

• שני אובייקטי מודל חשבון בנק יכולים להגיב לאותה פעילת הפקדה בעודם מחזיקים יתר שונים.
• התחל בחזית. ציין את הכמותות או התכונות שת срав, ואז החלט איזה עדות יכולה להבדיל בין שתי הסברות.

בנה את המודל

• מחלקה מגדירה סוג עם מצב והתנהגות. אובייקט הוא ממסד. אקפסולציה שולטת בגישה דרך ממשק כדי לפעוליות לשמור על אינווריאנטים. ירודה מדגמנת קשר סוגים מתאים; קומפוזיציה מדגמנת אובייקט המכיל או משתמש באובייקט אחר.
• א封装 (Encapsulation): שליטה בגישה למצב דרך ממשק; instance (איינסטנס): אובייקט יחיד מסוג (class).

בחר עדויות שיכולות לבחון אותו

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

עבוד מכמויות ידועות

• ציין את הערכים הידועים ואת יחידות המידה שלהם. בחר בקשר מכיוון שההנחות שלו מתאימות למקרה זה, ולאחר מכן סדר מחדש לפני ההצבה.
• ידוע: אובייקט A מתחיל ב-40 יחידות וקיבל 15; אובייקט B מתחיל ב-20 וקיבל 5. יתרים סופיים הם 55 ו-25. הסכום שלהם הוא 80, אך אף אחד מהיתרים האישיים אינו 80.

דוגמה:

ממסד מתחיל ב-12 יחידות, מוסיף 8 ומסיר 3. מצא את הערך הסופי שלו. השתמש באותו רצף: כמות ידועה → מודל → קשר → הצבה → יחידה ופרשנות.

בדוק את המסקנה ואת הגבולות שלה

• מחלקה אינה אותו דבר כמו ממסד אחד. ירודה אינה טובה בהכרח מקומפוזיציה. הסתרת שדה בלבד אינה מוכיחה שכל הפעוליות שומרות על מצב תקין.
• חזור לתצפית המקורית. הסבר מה התוצאה תומכת, אילו תנאים היא מניחה, ודרך אחת לבדוק הסבר מתחרה.

אזהרה:

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

מפת מושגים:

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

מעקב וגבול ניתנים לביצוע

class Account:
    def __init__(self, balance):
        self.balance = balance
    def withdraw(self, amount):
        if amount < 0 or amount > self.balance:
            return False
        self.balance -= amount
        return True
a, b = Account(15), Account(20)
print(a.withdraw(30), a.balance, b.balance)
print(a.withdraw(15), a.balance, b.balance)

תוצאה צפויה:

False 15 20
True 0 20

דחייה חוזרת לפני המוטציה. עם יתרונות התחלתיים לא שליליים, הפניות מאומתות שומרות על יתרון≥0. מחלקת הוראה קטנה זו חושפת מאפיינים; עיצוב תעשייתי חייב לשלוט בכל מסלולי המוטציה, ולא לסמוך על כך שהשיטה בלבד מפעילה encapsulation.