Срок службы и ссылки

В 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. Статические ссылки