מעבר לתוכן

true- subtype


yanivdan98

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

הי

 

משהו יכול לעזור לי עם השאלה הזאת?

 

לא ברור לי למה ה- RacingBicycle הוא לא true-subtype של Bicycle?

 

לפי מה שאני יודע מההרצאות , אם יש הקשחה בתנאים אזי המחלקה לא תהיה true-subtype , אבל כאן אין הקשחה בתנאים אלא להפך יש הרחבה של התנאים (מרשים יותר קלטים בבנאי של ה- RacingBicycle לעומת Bicycle...

 

לפי התשובה הרשמית:  "לא true-subtype משום שפיסקת ה- requires של הבנאי של RacingBicycle חזקה מזו של פסקת ה- requires של bicycle"

 

אני אשמח אם משהו יעזור לי..

 

כמו כן בנושא הזה אני אשמח אם משהו יעשה לי סדר:

 

מה צריך להתקיים על הקלטים ועל הפלט של מתודה (בתנאי שמשנים רק מתודה אחת ב- CLASS) כך שהמחלקה עדיין תחשב true-subtype של המחלקה שממנה ירשנו?  לכל קלט ופלט, האם מותר הקשחה או החלשה של התנאים?

 

תודה רבה :) 

 

 

http://img600.imageshack.us/img600/3497/90628046.png
 
Uploaded with http://imageshack.us'>ImageShack.us

 

 

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

הצטרפות לשיח

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

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

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

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

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

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

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

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