B.3 · البرمجة كائنية التوجه

تركيز HL المدعوم. الهدف التقييمي الأول 2027؛ إرجاع PDF الرسمي 403؛ الملف القصير المكتسب الأقدم هو التقييم النهائي 2026. يحافظ الدليل والاختبار والمتطلبات العملية المتبقية على احتفظاتها المسجلة.

المتطلبات السابقة: قراءة الكميات والوحدات المعلنة، واستخدام الحساب وشرط النموذج أدناه. طور كل درس طريقته الخاصة قبل النقل المستقل.

هذه أمثلة تعليمية أصلية أو خيالية صراحةً، وليست قياسات فعلية أو تحقيقات مُقيّمة مكتملة من المتعلمين.

ما الذي قد يفسر هذه الملاحظة؟

• يمكن لكائني نموذج حساب بنكي الاستجابة لنفس عملية الإيداع بينما يحملان أرصدة مختلفة.
• ابدأ بتوقع. حدد الكميات أو الخصائص التي ستقارنها، ثم حدد الدليل الذي يمكنه التمييز بين تفسيرين.

بنِ النموذج

• تحدد الفئة نوعاً بحالة وسلوك. الكائن هو مثال. التغليف يتحكم في الوصول من خلال واجهة حتى تستطيع العمليات الحفاظ على الثوابت. الوراثة تُصوّر علاقة أنواع مناسبة؛ التكوين يُصوّر كائناً يحتوي أو يستخدم كائناً آخر.
• التغليف: التحكم في الوصول إلى الحالة عبر واجهة؛ العينة: كائن فردي من فئة ما.

اختر الأدلة القادرة على اختبار النموذج

• استدعاء الدالة يؤثر على عينة محددة. يجب أن تحقق التغييرات في الحالة الشروط المسبقة والشروط اللاحقة. يسمح تعدد الأشكال للكود باستخدام واجهة مشتركة مع تطبيقات مختلفة عندما يتم احترام العقد.
• قم بتنفيذ نموذج حساب أو مخزون اصطناعي صغير. اختبر عينتين مستقلتين، ورفض العمليات غير الصالحة وقيم الحدود. أبعد النموذج عن الحسابات المالية الحقيقية والمصاديق.

اعمل من الكميات المعروفة

• أدر القيم المعروفة ووحداتها. اختر العلاقة لأن افتراضاتها تتناسب مع هذه الحالة، ثم أعد ترتيب المعادلة قبل التعويض.
• معلوم: يبدأ الكائن 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

الرفض يحدث قبل الطفرة. مع أرصدة ابتدائية غير سالبة، تحافظ withdrawals المعتمدة على أن الرصيد ≥0. يكشف هذا الفصل التعليمي الصغير عن الخصائص؛ يجب أن يسيطر تصميم الإنتاج على جميع مسارات الطفرة، ولا يفترض أن يطبق الطريقة وحدها التغليف.