using System;

public class Program

{

    /*

    פולימורפיזם מבוסס על המרות.

    המרה = שינוי נקודת ההסתכלות על העצם (ביצוע המרה להפניה)

    המרה כלפי מעלה

    UpCasting

    והמרה כלפי מטה

    DownCasting

    המרה כלפי מעלה: היא המרה אוטומאטית ואיננה דורשת כתיבה מפורשת אל מה ממירים.

    היא אפשרית כמובן רק במעלה עץ ההורשה

    למשל,

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

    Tree t = new tree (.....);

    Plant p = t;

    אז בעצם עשינו הצבה בין טיפוסים שונים, ולמעשה יש לבצע המרה, אבל המרה זו מתבצעת באופן אוטומאטי כי היא במעלה עץ ההורשה, 

    והיא נקראת המרה כלפי מעלה

    המרה כלפי מטה:

    לעומת זאת, כאשר רוצים להפעיל פעולות של תת-מחלקה, שאינן פעולות דורסות, דרך מחלקת האב,

    אז יש לבצע המרה כלפי מטה להפניה (המרה מפורשת), להמיר אותה, כך שתהייה מאותו הטיפוס

    של האובייקט שבמחלקתו קיימת אותה פונקציה, ובכך להשיב לה כוחות ולהריץ את הפונקציה.

    הערה חשובה:

    יש לזכור שההמרה כלפי מטה נעשית רק לטיפוס של ההפנייה.

    (האובייקט לא משתנה)

    רק ההפנייה אליו משנה את טיפוסה

    הערה נוספת:

    המרה כלפי מטה נחשבת לא בטוחה בכלל!!!

    כי אובייקט ממחלקת האב אינו בהכרח אובייקט של תת-מחלקה.

    ההמרה תתבצע רק אם האובייקט המומר אומנם שייך לתת-המחלקה אליה מבצעים את ההמרה.

    אם אינו שייך לענף שבין מחלקת העל ותת-המחלקה,

    אז התוכנית תיעצר ותתקבל שגיאה, כי ההמרה בלתי-חוקית

    למשל:

    Plant p1 = new Plant (1,"fall");

    Tree t1 = (Tree) p1;     // שגיאת זמן ריצה

    השגיאה תתגלה רק בזמן הריצה (ולא בשלב ההידור)

    כי אז המחשב יגלה ש

    p1

    הוא לא מסוג עץ

    __________________________________________________

    האופרטור

    is

    אופרטור המאפשר לבדוק בזמן הריצה אם הפנייה מסוימת מפנה לעצם מטיפוס מסוים

    מבנה ההוראה

    reference   is    Type

    הביטוי מחזיר ערך בוליאני

    דוגמה:

    כדי להימנע מהמרה בלתי-חוקית, נרשום:

    Plant [] p = new Plant[3];

    p[0] = new Plant(...);

    p[1] = new Tree(...);

    p[2] = new Flower(...);

    נרצה להפעיל את הפעולה

    SpringEatable

    על כל האובייקטים שהם עצים בלבד

    int i;

    for (i=0; i<p.Length; i++)

    {

        if (p[i] is Tree)

            Console.WriteLine( ((Tree)p[i]).SpringEatable() );

    }

    _________________________________________

    סוגי שגיאות

    1.שגיאות קומפילציה (שגיאות הידור, שגיאות תחביריות)

    כתיבת הוראה בשפה בצורה שגויה

    או למשל, משתנה לא מוגדר

    דוגמה לשגיאת קומפילציה: אם לא נרשום למשל את הסימן

    ;

    בסוף הוראה

    אז תתקבל הודעת שגיאה

    2.שגיאות זמן ריצה (שגיאות זמן ביצוע)

    שגיאות הנגרמות כאשר הקומפיילר אינו מסוגל לבצע את ההוראה בהצלחה בגלל

    תנאים לא מתאימים.

    למשל, אם ננסה לחלק באפס תתקבל שגיאת זמן ריצה

    כלומר, רק בזמן הרצת התוכנית המחשב יגלהאת הטעות

    3.שגיאות לוגיות (שגיאות כוונה)

    שגיאה הנגרמת כאשר הסתיים ביצוע התוכנית, אבל התבצע משהו

    השונה מהמשימה אליה התכוונו.

    */

    public static void Main()

    {

        //Tree t = new Tree (1.5,"fall",true);

        //t.AddHeight(2.3);

        //Console.WriteLine(t.ToString());

        //Plant p = t;   // המרה כלפי מעלה

        //bool ans = p.SpringEatable();   // שגיאת קומפילציה (תחבירית) 

        //bool ans = (Tree)p.SpringEatable();  // שגיאה

        //bool ans = ((Tree)p).SpringEatable();  // תקין - המרה כלפי מטה

        /*

        Plant p1 = new Plant (1,"fall");

        Tree t1 = (Tree) p1;     // שגיאת זמן ריצה

        */

        //Console.WriteLine(p.ToString());

    Plant [] p = new Plant[3];

    p[0] = new Plant(1,"fall");

    p[1] = new Tree(2,"fall",true);

    p[2] = new Flower(1.5,"fall","yellow",5);

    int i;

    for (i=0; i<p.Length; i++)

    {

        if (p[i] is Tree)

            Console.WriteLine(((Tree)p[i]).SpringEatable());

        Console.WriteLine(p.ToString());

    }

    }

}

​

public class Plant   // המחלקה צמח

{

    protected double height;

    protected string season;

    public Plant (double height, string season)

    {

        this.height = height;

        this.season = season;

    }

    public void AddHeight (double num)

    {

        this.height = this.height + num;    

    }

    public virtual bool IsSell ()

    {

        if (this.height > 3)

            return true;

        return false;

    }

    public double GetHeight ()

    {

        return this.height; 

    }

    public string GetSeason ()

    {

        return this.season; 

    }

    public void SetHeight (double height)

    {

        this.height = height;

    }

    public void SetSeason (string season)

    {

        this.season = season;

    }   

    public override string ToString ()

    {

        return "height = " + this.height + "\nseason = " + this.season; 

    }

}

​

public class Tree : Plant   // המחלקה עץ

{

    private bool eatable;

    public Tree (double height, string season, bool eat) : base (height,season)

    {

        this.eatable = eat;

    }

    public override bool IsSell ()

    {

        return base.IsSell() && this.eatable;

        /*

        הערה: בתוך תת-מחלקה כאשר רוצים להשתמש בתכונה או פעולה (שאינה דורסת) ממחלקת העל

        נרשום פשוט

        this

        ואז נקודה ואז שם התכונה או הפעולה הנדרשת

        אבל, אם נרצה להשתמש בתוך תת-מחלקה בפעולה ממחלקת העל הרשומה כאן כפעולה דורסת

        אז בתוך הפעולה הדורסת נשתמש בפקודה

        base

        ואז נקודה ואז שם הפעולה המבוקשת

        */

    }

    public bool SpringEatable ()

    {

        return this.eatable && this.season.Equals("Spring");

    }

    public bool GetEatable ()

    {

        return this.eatable;    

    }

    public void SetEatable (bool eatable)

    {

        this.eatable = eatable;

    }

    public override string ToString ()

    {

        return base.ToString() + "\neatable = " + this.eatable; 

    }

}

​

​

public class Flower : Plant   // המחלקה פרח

{

    private string color;

    private int numDays;

    public Flower (double height, string season, string col, int num) : base (height,season)

    {

        this.color = col;

        this.numDays = num;

    }

    public override bool IsSell ()

    {

        return base.IsSell() && this.numDays>1;

    }

    public void Check2FlowerHeight (Flower other, double num)

    {

        if (this.height < other.height)

            this.AddHeight(num);

        else if (this.height > other.height)

            other.AddHeight(num);

        else

            Console.WriteLine("same height");

    }

    public string GetColor ()

    {

        return this.color;  

    }

    public int GetNumDays ()

    {

        return this.numDays;    

    }

    public void SetColor (string color)

    {

        this.color = color;

    }

    public void SetNumDays (int numDays)

    {

        this.numDays = numDays;

    }

    public override string ToString ()

    {

        return base.ToString() + "\ncolor = " + this.color + "\nnumDays = " + this.numDays; 

    }

}

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​