שאלת מבחן בתכנות מונחה עצמים - אוניברסיטת בר-אילן 2024 - ירושה

נתון הקוד הבא: ```java public class A { public int x = 0; } public class B extends A { public int x = 1; } public static void main(String [ ] args) { A aa = new A(); A ab = new B(); B bb = new B(); System.out.println(aa.x); System.out.println(ab.x); System.out.println(bb.x); System.out.println( ((A)bb).x ); } ``` מה יודפס אם נריץ את הקוד הנ״ל? סמנו את התשובה הנכונה ביותר. א. (משמאל לימין): 0010 ב. (משמאל לימין): 0011 ג. (משמאל לימין): 0110 ד. (משמאל לימין): 0111 נמקו את כל התשובות סימנתםן.

רמז: בניגוד למתודות שעוברות דריסה (overriding), הגישה לשדות (fields) ב-Java נקבעת בזמן קומפילציה לפי טיפוס המצביע, ולא בזמן ריצה לפי טיפוס האובייקט.

פתרון: התשובה הנכונה היא א'. הפלט שיתקבל הוא `0010`. נסביר מדוע: 1. `System.out.println(aa.x);` המשתנה `aa` הוא **מצביע** (reference) מטיפוס `A` המצביע על **אובייקט** מטיפוס `A`. לכן, הגישה `aa.x` מתייחסת לשדה `x` שהוגדר במחלקה `A`, וערכו הוא `0`. יודפס: `0`. 2. `System.out.println(ab.x);` המשתנה `ab` הוא **מצביע** מטיפוס `A` המצביע על **אובייקט** מטיפוס `B` (מצב של **פולימורפיזם**). ב-Java, בניגוד לדריסת מתודות (**Overriding**), הגישה לשדות (fields) נקבעת על פי **טיפוס המצביע בזמן קומפילציה**, ולא על פי טיפוס האובייקט בזמן ריצה. מכיוון שהמצביע `ab` הוא מטיפוס `A`, הביטוי `ab.x` יגש לשדה `x` שהוגדר במחלקה `A`. תופעה זו נקראת **הסתרת שדות** (field hiding). לכן, יודפס ערך השדה `x` של `A`, שהוא `0`. 3. `System.out.println(bb.x);` המשתנה `bb` הוא **מצביע** מטיפוס `B` המצביע על **אובייקט** מטיפוס `B`. לכן, הגישה `bb.x` מתייחסת לשדה `x` שהוגדר במחלקה `B`, וערכו הוא `1`. יודפס: `1`. 4. `System.out.println( ((A)bb).x );` כאן, המצביע `bb` (שטיפוסו `B`) עובר **המרת טיפוס (casting)** לטיפוס `A`. כעת, המצביע מתנהג כאילו הוא מטיפוס `A`. שוב, מכיוון שהגישה לשדות נקבעת לפי טיפוס המצביע, הביטוי `((A)bb).x` יגש לשדה `x` של המחלקה `A`, וערכו הוא `0`. יודפס: `0`. לסיכום, סדר ההדפסות הוא `0`, `0`, `1`, `0`.