234124 - מב' לתכנות מער' - אביב 2020

אני ארחיב טיפה בקשר לזה...
STRCPY- מחזיר ערך שגיאה לפי הגדרה כאשר ה DEST קטן מה SRC. אבל כיוון שהקצאת ה DEST התבצעה על ידינו ב MALLOC ( ונבדקה כמובן) אז STRCPY לא יכול להיכשל ( בכל מקרה הסופנו ASSERT למקרה הצורך).
sprintf- מחזיר את גודל הערך המקוצה במעבר ל STRING. במידה ונכשל מחזיר 0. אנחנו משווים בין גודל ה INT שהמרנו לגודל שחזר, במידה ויש שגיאה, מחזירים *ELECTION_OUT_OF_MEMORY* ( שוב, השגיאה יכולה להתבצע אם לא הוכנס מספר או שגודל המחרוזת שהוקצע לא מספיק גדול, דבר שנבדק לפני הפעלת הפונקצייה).
atoi- במידה והמחרוזת אינה "מספרית", מחזיר 0. היות וכל האיברים הוכנסו על ידינו מ SPRINTF, הפונקצייה אינה יכולה להיכשל ( ביצענו הפרדה בין מקרה קצה שמוכנס האיבר "0" כמובן) בכל מקרה הכנסנו ASSERT על מנת להראות כי אנחנו מצפים לאיבר הזה.
הבעיה שלנו היא להבין עד לאיזה נקודה צריך לבדוק. הפונקציות הנ"ל יכולות להיכשל רק אם הכנסת הפרמטרים אליהם לא הייתה נכונה. אך כיוון שהפרמטרים הוקצו על ידינו ( ולא עד לידי הUSER). מרגיש לי שהשימוש הכנון הוא ASSERT ולא תוצאה אחרת. כי אנחנו מניחים שההכנסה שביצענו עובדת.