טיפול בחריגות

הבדיקה שאין לכתוב אותה

• תוכנית פותחת קובץ. לפני הפתיחה ניתן לבדוק אם הקובץ קיים, אם הוא נגיש לקריאה, אם הדיסק מחובר. נניח שכל הבדיקות עברו בהצלחה.
• בין הבדיקה האחרונה לפתיחה, המשתמש מוציא את סטיק ה-USB. הקובץ היה קיים כששאלת, ואינו קיים כשפותחת אותו, ואף בדיקה מראש לא יכולה הייתה לגשר על הפער הזה.
• חלק מהשגיאות פשוט אינן ניתנות למניעה, כי העולם משתנה בין הבדיקה לפעולה. מה שתוכנית יכולה לעשות הוא להגיב אליהן כשהן מתרחשות.
• שיעור זה הוא היציאה ממבנה ה-TRY המטפל בחריגה אחת, וקובע היכן בתוכנית יש לתפוס חריגה.

מהי חריגה ולמה לטפל בה

• חריגה היא שגיאה המתרחשת בזמן ביצוע: חלוקה באפס, קובץ לא נמצא, כניסה לא חוקית, רשת שהתנתקה.
• טיפול בחריגות מאפשר לתוכנית לזהות את השגיאה ולהגיב עליה בצורה מסודרת, במקום לקרוס ולהפסיד את העבודה של המשתמש.
• תוכניות אמיתיות מתמודדות עם שגיאות שלא ניתן למנוע מראש, כפי שמראה הקישוט. וללא חריגות, כל פעולה בנפרד הייתה זקוקה לבדיקת IF משלה, והאלגוריתם האמיתי היה נטמון בבדיקות שגיאה.
• היתרון השלישי הוא זה שרוב שואלים במבחן: הוא מפריד בין הזרימה הרגילה לטיפול בשגיאות, כך שהדרך הראשית נשארת ברורה.

מבנה ה-TRY

TRY
    OPENFILE "data.txt" FOR READ
    READFILE "data.txt", line
    CLOSEFILE "data.txt"
EXCEPT FileNotFound
    OUTPUT "Sorry, the file does not exist."
EXCEPT ReadError
    OUTPUT "Sorry, there was an error reading the file."
FINALLY
    OUTPUT "Finished attempting to read."
ENDTRY

• בלוק ה-TRY מכיל את הקוד שעלול להכשל. אם הוא מתבצע ללא שגיאה, בלוקי ה-EXCEPT דווקא מועברים.
• אם מתרחשת חריגה, הביצוע עובר מיד לבלוק EXCEPT התואם הראשון. שאר חלקי בלוק ה-TRY אינם מתבצעים.
• בלוק FINALLY מתבצע בכל מקרה, בין אם התרחשה חריגה או לא, מה שהוא הופך אותו למקום הנכון לניקוי כמו סגירת קובץ.

מסלול אחד כאשר הכל בסדר, מסלול אחר כאשר יש בעיה, ומסלול שנשמע תמיד

דוגמה פותרת: מעקב אחר הזרימה

הרמת חריגה

• פונקציה שזיהתה בעיה she cannot sensibly deal with can raise an exception, passing responsibility to whoever called it:

IF b = 0 THEN RAISE DivideByZero

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

איפה לטפל בזה

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

דוגמה פתורה: מה לא לעשות

סימונים נופלים מהיד

הבנתך מושלמת