יש להשתמש ב-
הצהרות כדי לבדוק משהו שלעולם לא אמור לקרות, בעוד שיש להשתמש בחריג כדי לבדוק משהו שעלול לקרות. לדוגמה, פונקציה עשויה לחלק ב-0, אז יש להשתמש בחריג, אך ניתן להשתמש בטענה כדי לבדוק שהכונן הקשיח נעלם פתאום.
האם טענה טובה או רעה?
לא, לא צריך ולא לטעון הם רעים. אבל אפשר לעשות שימוש לרעה בשניהם. אסרט מיועד לבדיקות שפיות. דברים שאמורים להרוג את התוכנית אם הם לא נכונים.
למה הצהרות גרועות?
ניתן להשתמש בהצהרות כדי לאמת אי-וריאנטי יישום פנימיים, כמו מצב פנימי לפני או אחרי ביצוע של שיטה כלשהי, וכו'. אם הטענה נכשלת, זה באמת פירושו שהלוגיקה של התוכנית שבור ואתה יכול' לא להתאושש מ זה.
האם הצהרות טובות?
למדריך השפה המציג קביעות יש כמה קווים מנחים טובים שהם בעצם מה שתיארתי זה עתה. כן, זה נוהג טוב. במקרה של Spring, זה חשוב במיוחד מכיוון שהבדיקות מאמתות הגדרות נכס וכו' שבדרך כלל מגיעות מקובצי חיווט XML.
באילו מקרים קביעות מועילות?
בהנחה שהקוד נבדק כראוי, הצהרות עושות כמה דברים שימושיים: זהה שגיאות עדינות שאחרת עלולות לא להתגלות . זהה שגיאות מוקדם יותר לאחר שהן מתרחשות ממה שהן עשויות להתגלות אחרת. להצהירעל ההשפעות של הקוד שמובטח שהוא נכון.
