שאלת מבחן במבוא למדעי המחשב - האוניברסיטה הפתוחה 2016 - ירושה

נתונה המחלקה הבאה: ```java public abstract class A { private int _num; public A() { _num = 2; } public int getNum() { return _num; } public abstract boolean f(int x); } ``` בכל אחד מהסעיפים הבאים ניתנה הגדרה של מחלקה B היורשת מ-A. בכל סעיף כתבו האם קוד המחלקה תקין, או אם היא לא עוברת קומפילציה הסבירו למה. כל סעיף שווה 3 נקודות. סעיף 2: ```java public abstract class B extends A { public boolean f(int x) { return x == 2; } } ```

רמז: B מוכרזת כ-abstract אבל מממשת את f(int x). האם מותר למחלקה אבסטרקטית לממש שיטות?

פתרון: **הקוד תקין ועובר קומפילציה.** המחלקה B מוכרזת כ-**abstract** ויורשת מ-A. היא **דורסת (Override)** את השיטה האבסטרקטית `f(int x)` עם מימוש קונקרטי. מותר למחלקה אבסטרקטית לממש שיטות - היא פשוט לא ניתנת ליצירת מופעים (instances) ישירות. הקוד חוקי לגמרי.