מעבר לתוכן

Rep.Invariant


yanivdan98

הודעות מומלצות

הי

 

משהו יכול להסביר לי את התשובה לשאלה הזאת? לא ברור לי למה ביציאה ממתודה סטטית לא צריך לבדוק את ה- rep.invariant? 

 

תודה

 

 

http://img534.imageshack.us/img534/9418/45289692.png
 
Uploaded with http://imageshack.us'>ImageShack.us
קישור לתוכן
שיתוף באתרים אחרים

פונקציה סטטית היא פונקציה של המחלקה. 

ובד"כ מדובר בשפות בהן המחלקה של האובייקט היא לא אובייקט. 

 

מצד שני, לפי הגדרת ויקיפדיה אינווריאנט של רפרזנטציה הוא אינוריאנט של אובייקט:

An object invariant, or representation invariant, is a programming construct consisting of a set of invariant properties that remain uncompromised regardless of the state of theobject

 

לכן לפי ההגדרה לא צריך לבדוק אינווריאנט של רפרזנטציה כי אין אובייקט לבדוק לו את האינווריאנט. 

קישור לתוכן
שיתוף באתרים אחרים

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

 

אז למה לא צריך לבדוק ה- Rep.inv ביציאה? הרי המתודה יכולה לשים שם ערכים לא נכונים או לא רצויים היכולים לגרום לבעיות ,לא?

קישור לתוכן
שיתוף באתרים אחרים

הצטרפות לשיח

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

אורח
הוספת תגובה

×   הדבקה כטקסט עשיר.   הדבקה כטקסט רגיל במקום

  מאושרים אך ורק 75 סמייקונים.

×   הקישור שלך מוצמד אוטומטית.   הצגה כקישור במקום

×   תוכן הקודם שלכם שוחזר.   ניקוי עורך

×   You cannot paste images directly. Upload or insert images from URL.

טוען...
×
×
  • יצירת חדש...