Что означают идентификаторы с одинарной кавычкой (') в Rust?

Что такое аннотации времени жизни в Rust?

Идентификаторы с одинарной кавычкой (например, 'a, 'b, 'static) — это аннотации времени жизни (lifetime annotations). Они не являются переменными или значениями, а служат для связывания времён жизни разных ссылок между собой. Rust использует их, чтобы гарантировать, что все ссылки в программе валидны и не висят (dangling references).

Зачем они нужны?

В Rust каждая ссылка имеет время жизни — период, в течение которого данные, на которые она указывает, существуют. Компилятор проверяет, что ссылка не переживёт данные. В простых случаях он может вывести время жизни автоматически, но в сложных — например, при возврате ссылки из функции — требуется помощь программиста.

Как это работает на примере

Рассмотрим вашу функцию longest:

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

Что здесь происходит:

• <'a> — объявляет параметр времени жизни 'a (как обобщённый тип, но для времени жизни).
• x: &'a str — ссылка x имеет время жизни 'a.
• y: &'a str — ссылка y имеет то же самое время жизни 'a.
• -> &'a str — возвращаемая ссылка тоже имеет время жизни 'a.

Это гарантирует: возвращаемая ссылка будет валидна до тех пор, пока валидны обе входные ссылки. Если бы мы вернули ссылку, которая живёт дольше, чем x или y, компилятор выдал бы ошибку.

Пример с ошибкой

fn main() {
    let s1 = String::from("hello");
    let result;
    {
        let s2 = String::from("world");
        result = longest(s1.as_str(), s2.as_str()); // s2 живёт только в этом блоке
    }
    println!("{}", result); // Ошибка! result может ссылаться на s2, которое уже удалено
}

Компилятор скажет: result имеет время жизни 'a, которое равно времени жизни s2, но result используется после того, как s2 уничтожено. Без аннотаций эта ошибка могла бы остаться незамеченной.

Специальное время жизни 'static

'static — это особое время жизни, которое означает "живёт всю программу". Оно присваивается:

• Строковым литералам: let s: &'static str = "hello"; — строки вроде "hello" вшиты в бинарник и существуют всё время работы программы.
• Константам: const MAX: i32 = 100; — они тоже живут вечно.

Важно: 'static не значит "бесконечно", а значит "до конца программы". Используйте его только когда действительно уверены, что данные будут доступны всё время.

Как читать объявления с временами жизни

Встретив fn foo<'a, 'b>(x: &'a str, y: &'b str) -> &'a str, читайте так: "Функция foo принимает две ссылки с разными временами жизни ('a и 'b) и возвращает ссылку, которая живёт не дольше, чем первая ('a)".

В большинстве случаев компилятор может вывести времена жизни автоматически (это называется элизия времени жизни), но в функциях с несколькими ссылками на входе и одной на выходе аннотации обязательны.

fn first_word(s: &str) -> &str { ... }