Час життя та посилання

У 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: Статичні посилання