משתנים והשתנות

ב-Rust, ניהול משתנים וזיכרון מונחה על ידי שני עקרונות יסוד: בטיחות ושליטה. מסיבה זו, בניגוד לשפות תכנות רבות אחרות, משתנים ב-Rust הם בלתי ניתנים לשינוי כברירת מחדל.

המשמעות היא שברגע שערך מוקצה למשתנה, לא ניתן לשנותו. אם תנסה לשנות אותו, המהדר יעלה שגיאה.

משתנים בלתי ניתנים לשינוי ומילת המפתח mut

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

let x = 5; // Immutable by default
// x = 6; // ERROR! The compiler will refuse to build this code.

אם אתה צריך לשנות את הערך של משתנה, עליך להפוך אותו לשינוי במפורש באמצעות מילת המפתח mut מיד אחרי let:

let mut y = 10; // Mutable
println!("Il valore di y e: {}", y);
y = 15; // Valid!
println!("Il valore modificato di y e: {}", y);

שימוש בקידומת mut מתקשר בבירור למהדר ולכל מי שקורא את הקוד שהערך ישתנה במהלך הביצוע.

הַצלָלָה

חלודה מאפשרת גם את המושג הצללה, שהוא הצהרה מחדש של משתנה בעל אותו שם באמצעות מילת המפתח let שוב. המשתנה החדש "צללים" (או מכסה) את הקודם:

let x = 5;
let x = x + 1; // Shadowing: x is now 6
let x = x * 2; // Shadowing: x is now 12

שלא כמו mut, הצללה מאפשרת לך:

1. שנה את סוג הנתונים של משתנה תוך שמירה על אותו שם.
2. לשמור על חוסר השינוי של המשתנה לאחר התמורות.

let spaces = "   "; // Type: &str (string)
let spaces = spaces.len(); // Type: usize (number)

שימושיות של הצללה והיקפים

הצללה אינה מוגבלת לאותו בלוק; ניתן להשתמש בו בתוך בלוקים מקוננים ({}) כדי לעקוף זמנית ערך. כאשר הבלוק הפנימי מסתיים, המשתנה המקורי הופך להיות גלוי שוב:

let x = 5;
{
    let x = x * 2; // Shadowing valid only inside the block
    println!("Value in the inner block: {}", x); // Prints 10
}
println!("Value in the outer block: {}", x); // Prints 5

מנגנון זה בטוח ויעיל במיוחד מכיוון שהוא מתרחש לחלוטין בזמן ההידור, ומבטיח בטיחות מסוג ללא תקורה של ביצועי זמן ריצה.

נסה זאת בעצמך