הסקת טיפוסים

חלק מהיחידה יסודות במסלול ה-Rust של Coddy. שיעור 12 מתוך 75.

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

לדוגמה:

let x = 5;
// Rust מסיקה ש-x הוא מטיפוס i32

let y = 3.14;
// Rust מסיקה ש-y הוא מטיפוס f64

let message = "Hello, world!";
// Rust מסיקה ש-message הוא מטיפוס &str (מחרוזת)

let is_true = true;
// Rust מסיקה ש-is_true הוא מטיפוס bool

בדוגמאות האלה, לא ציינו את הטיפוסים של x, y, message ו-is_true. מהדר Rust הסיק את הטיפוסים שלהם באופן אוטומטי על סמך הערכים שהוקצו להם.

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

אתגר

מתחילים

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

משתנה בשם quantity עם הערך 10.
משתנה בשם price עם הערך 99.99.
משתנה בשם message עם הערך "Coddy is awesome!".
משתנה בשם is_available עם הערך true.

לאחר שהצהרתם על המשתנים האלה, השתמשו ב-println!() כדי להציג את הערכים שלהם במסוף. שימו לב כיצד Rust מסיקה את הטיפוסים של המשתנים על סמך הערכים שלהם.

נסו בעצמכם

fn main() {
    // הכריזו כאן על משתנים
    
    
    // הדפיסו את הערכים
    println!("Quantity: {}", quantity);
    println!("Price: {}", price);
    println!("Message: {}", message);
    println!("Is available: {}", is_available);
}