זמני חיים והפניות

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

המטרה העיקרית של תקופות חיים היא למנוע הפניות משתלשלות (הפניות לנתונים שכבר הוקצו מהזיכרון).

תחביר הערות לכל החיים

שמות לכל החיים מתחילים באפוסטרופ (') והם בדרך כלל אותיות קטנות (כמו 'a). הערות לכל החיים אינן משנות את משך החיים בפועל של משתנים, אך הן מצביעות בפני המהדר על הקשר בין תוקף התשומות והפלטים.

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

fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.len() > y.len() {
        x
    } else {
        y
    }
}

תקופות חיים במבני נתונים

אם מבנה מכיל שדה שהוא הפניה, עלינו לציין במפורש את משך החיים של הפניה זו כדי להבטיח שמופע ה-struct לא יכול להאריך ימים יותר מהנתונים שאליהם הוא מתייחס:

struct ImportantExcerpt<'a> {
    part: &'a str,
}

fn main() {
    let novel = String::from("Call me Ishmael. Some years ago...");
    let first_sentence = novel.split('.').next().unwrap();
    let i = ImportantExcerpt {
        part: first_sentence,
    };
}

החיים הסטטיים

משך החיים 'static הוא אורך חיים מיוחד שנמשך כל משך הזמן של התוכנית. לכל מילולי המחרוזות (&str) יש באופן מרומז אורך חיים של 'static מכיוון שהם מאוחסנים ישירות בתוך קובץ ההפעלה הבינארי.

let s: &'static str = "I have a static lifetime.";

נסה זאת בעצמך

תרגיל 1: הפונקציה הארוכה ביותר

תרגיל 2: מבנים עם הפניות

תרגיל 3: הפניות סטטיות