الحياة والمراجع

في Rust، كل مرجع له مدة حياة، والتي تتوافق مع النطاق الذي يكون هذا المرجع صالحًا ضمنه. في معظم الأحيان، تكون فترات الحياة ضمنية ويستنتجها المترجم بفضل قواعد الحذف مدى الحياة. ومع ذلك، عندما تكون العلاقة بين أعمار المراجع المختلفة غامضة، يجب علينا شرحها بشكل واضح.

الهدف الرئيسي من فترات الحياة هو منع المراجع المتدلية (مراجع البيانات التي تم إلغاء تخصيصها بالفعل من الذاكرة).

بناء جملة التعليق التوضيحي مدى الحياة

تبدأ الأسماء الدائمة بفاصلة عليا (') وتكون عادةً بأحرف صغيرة قصيرة (مثل 'a). لا تغير التعليقات التوضيحية مدى الحياة العمر الفعلي للمتغيرات، ولكنها تشير للمترجم إلى العلاقة بين صحة المدخلات والمخرجات.

على سبيل المثال، إذا أخذت دالة معلمتين مرجعيتين لسلسلة وأرجعت مرجع سلسلة، ونريد أن يكون المرجع الذي تم إرجاعه صالحًا طالما أن كلا معلمتي الإدخال صالحتين، فإننا نستخدم:

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

العمر في هياكل البيانات

إذا كانت البنية تحتوي على حقل يمثل مرجعًا، فيجب علينا أن نعلق بشكل صريح على مدة بقاء هذا المرجع للتأكد من أن مثيل البنية لا يمكن أن يتجاوز عمر البيانات التي يشير إليها:

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: المراجع الثابتة