יחידה 5: תכנות מונחה עצמים (OOP)

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

מבוא לתכנות מונחה עצמים בפייתון

תכנות מונחה עצמים (OOP) היא גישה עיצובית המארגנת את הקוד סביב "אובייקטים" ולא סביב "פעולות" או "לוגיקה". הרעיון המרכזי הוא לאגד נתונים (תכונות) ופונקציות (שיטות) הפועלות על הנתונים הללו ליחידות בודדות הנקראות אובייקטים. גישה זו מקדמת מודולריות, שימוש חוזר בקוד וקלות תחזוקה, והיא נפוצה מאוד בפיתוח תוכנה מודרני, כולל בפייתון.

מחלקות ואובייקטים: אבני הבניין של ה-OOP

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

תכונות ושיטות

בתוך מחלקה, אנו מגדירים תכונות ושיטות:

• תכונות (Attributes): משתנים המאחסנים נתונים הקשורים לאובייקט. יש תכונות מחלקה (משותפות לכל המופעים) ותכונות מופע (ספציפיות לכל אובייקט).
• שיטות (Methods): פונקציות המוגדרות בתוך מחלקה ומבצעות פעולות על נתוני האובייקט. השיטה הראשונה של כל שיטה במופע היא בדרך כלל self, המייצגת את האובייקט עצמו.

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

תורשה: הרחבת פונקציונליות ושימוש חוזר בקוד

תורשה היא עיקרון מרכזי ב-OOP המאפשר למחלקה חדשה (מחלקה בת / יורשת) לרשת תכונות ושיטות ממחלקה קיימת (מחלקה אב / בסיס). זה מקדם שימוש חוזר בקוד ומבסס היררכיה של יחסים מסוג "הוא-א" (is-a).

מחלקה יורשת יכולה להוסיף תכונות ושיטות חדשות, או לדרוס (override) שיטות קיימות מהמחלקה הבסיסית כדי לשנות את התנהגותן. השימוש בפונקציה super() מאפשר למחלקה היורשת לקרוא לשיטות של מחלקת האב, מה שחיוני לשמירה על פונקציונליות קיימת תוך הוספת התנהגות חדשה.

יישום ויתרונות ה-OOP בפייתון

השימוש ב-OOP בפייתון מאפשר לפתח קוד מודולרי, קריא וקל לתחזוקה. הוא חיוני לבניית יישומים גדולים, ספריות ו-APIs. היתרונות כוללים:

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

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

שאלות לדיון

• הסבר את ההבדל המהותי בין מחלקה לאובייקט, וכיצד הם קשורים זה לזה בתכנות מונחה עצמים.
• כיצד המילה השמורה self פועלת בתוך מחלקה בפייתון, ומדוע היא הכרחית?
• תן דוגמה למצב מציאותי שבו תורשה תהיה פתרון עיצובי יעיל. ציין מחלקת אב ומחלקה יורשת, ותאר תכונה או שיטה שנדרסה.
• מהו היתרון העיקרי של שימוש ב-super() בעת דריסת שיטה במחלקה יורשת?

נקודות לתשובת מודל

• מחלקה מול אובייקט: מחלקה היא תבנית/שרטוט המגדירה מבנה והתנהגות. אובייקט הוא מופע קונקרטי של המחלקה, בעל מצב ספציפי משלו. מחלקה קיימת פעם אחת, אובייקטים רבים יכולים להיווצר ממנה.
• המילה השמורה self: פרמטר ראשון בשיטות מופע, המייצג את המופע הספציפי של האובייקט שעליו נקראת השיטה. מאפשר גישה לתכונות ושיטות של אותו אובייקט. הכרחי כדי ששיטה תדע על איזה אובייקט היא פועלת.
• דוגמת תורשה: מחלקת אב Vehicle עם שיטה start_engine(). מחלקה יורשת Car ו-Motorcycle. Car יכולה לדרוס את start_engine() כדי להוסיף לוגיקה ספציפית כמו "check fuel level".
• יתרון super(): מאפשר קריאה למימוש של שיטת האב מתוך השיטה שנדרסה במחלקה היורשת. זה מבטיח שהלוגיקה של האב תופעל בנוסף ללוגיקה החדשה של הבן, מונע כפילות קוד ומאפשר הרחבה בטוחה של פונקציונליות.