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

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

מהו תכנות מונחה עצמים (OOP)?

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

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

הבנת שלושת המושגים הבאים היא המפתח להבנת OOP:

השוואת מושגי הליבה

יצירת אובייקטים ואינטראקציה ב-Java

הגדרת מחלקה בסיסית

מחלקה ב-Java מוגדרת באמצעות מילת המפתח class:

public class Car {
    String color; // משתנה מופע (תכונה)
    int year;     // משתנה מופע (תכונה)

    // בנאי (Constructor)
    public Car(String c, int y) {
        this.color = c;
        this.year = y;
    }

    // שיטה (התנהגות)
    public void drive() {
        System.out.println("The " + this.color + " car from " + this.year + " is driving.");
    }

    // שיטה נוספת
    public String toString() {
        return "Car [color=" + color + ", year=" + year + "]";
    }
}

יצירת אובייקטים והפעלת שיטות

כדי ליצור אובייקט (מופע) מהמחלקה Car, נשתמש במילת המפתח new ובבנאי:

public class Main {
    public static void main(String[] args) {
        Car myCar = new Car("Red", 2020); // יצירת אובייקט
        Car yourCar = new Car("Blue", 2022); // יצירת אובייקט נוסף

        myCar.drive(); // הפעלת שיטה על האובייקט myCar
        System.out.println(myCar.color); // גישה לתכונה של האובייקט
        System.out.println(yourCar.toString()); // שימוש בשיטת toString
    }
}

בדוגמה זו, myCar ו-yourCar הם אובייקטים נפרדים, שלכל אחד מהם מצב משלו (צבע ושנה), אך שניהם חולקים את אותן שיטות (drive(), toString()) שהוגדרו במחלקת Car.

מושגים קריטיים נוספים והיבטים לבחינה

Encapsulation (כימוס)

כימוס מאפשר לשלוט בגישה לנתוני האובייקט, למנוע שינויים לא רצויים, ולשמור על עקביות המצב הפנימי של האובייקט. בדרך כלל, משתני מופע מוגדרים כ-private, ושיטות גישה (getters) ושיטות שינוי (setters) מוגדרות כ-public כדי לאפשר אינטראקציה מבוקרת.

שיטת toString()

שיטת toString() היא שיטה חשובה במיוחד, המורשת מכל המחלקות ב-Java (ממחלקה Object). תפקידה לספק ייצוג מחרוזתי של האובייקט. מומלץ תמיד לדרוס (override) אותה במחלקות שלכם כדי לספק מידע משמעותי על מצב האובייקט, מה שמקל מאוד על ניפוי שגיאות (debugging) ועל הדפסת אובייקטים.

שאלות לדיון

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

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

• יתרונות OOP: מודולריות (חלוקה ליחידות לוגיות), שימוש חוזר בקוד (reusability), תחזוקה קלה יותר, ניהול מורכבות במערכות גדולות. מתאים למערכות הדורשות ייצוג של ישויות מהעולם האמיתי ואינטראקציות ביניהן.
• מחלקה מול אובייקט: מחלקה היא תבנית מופשטת או תוכנית (blueprint) המגדירה מבנה והתנהגות. אובייקט הוא מופע קונקרטי וספציפי של המחלקה, בעל מצב ייחודי משלו. דוגמה: מחלקה "סטודנט" מגדירה שלכל סטודנט יש שם, ת.ז. וציונים. אובייקט "דני לוי" הוא סטודנט ספציפי עם ת.ז. וציונים משלו.
• Encapsulation: עקרון המשלב נתונים ושיטות באותה יחידה (מחלקה) ומסתיר את פרטי המימוש הפנימיים. תורם לאיכות הקוד על ידי מניעת גישה ישירה לנתונים פנימיים (באמצעות private), מה שמאפשר לשנות את המימוש הפנימי של המחלקה מבלי להשפיע על קוד חיצוני המשתמש בה. משפר מודולריות, אבטחה וקלות תחזוקה.
• Aliasing ושגיאות: Aliasing מתרחש כאשר שני משתני ייחוס או יותר מצביעים על אותו אובייקט בזיכרון. שגיאה יכולה להתרחש כאשר שיטה מקבלת אובייקט כפרמטר ומשנה את מצבו, והשינוי משפיע על כל שאר המשתנים המצביעים על אותו אובייקט, בניגוד לציפייה. למשל, אם שתי מכוניות מצביעות על אותו מנוע, ושינוי במנוע של מכונית אחת משפיע על השנייה. מניעה: יצירת עותק (deep copy) של האובייקט במקום העברת הייחוס, או תכנון קפדני של השיטות כך שלא ישנו אובייקטים בצורה בלתי צפויה.