2.6 - שונות וסמני טיפוס בתכנון מצבים - תרגול

תרגול תצורה לפני ואחרי אימות

כתבו Config עם מצבי Unchecked ו־Checked. הערך מחזיק limit מסוג usize. פעולת validate צורכת תצורה לא מאומתת ומקבלת רק טווח 1 עד 1024. רק לתצורה מאומתת יש פעולה limit שמאפשרת שימוש בערך.

השתמשו ב־PhantomData ואל תשמרו דגל בוליאני נוסף. כתבו דוגמה שנדחית כאשר קוראים limit לפני אימות, ודוגמה חוקית שמטפלת גם בשגיאת אימות.

הסבירו מה הטיפוס המאומת מוכיח ומה הוא אינו אומר על זיכרון פנוי בפועל במערכת.