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

Что такое времена жизни (lifetimes) в Rust?

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

Простая аналогия

Представьте, что вы берёте книгу в библиотеке. У книги есть срок возврата (время жизни). Если вы даёте кому-то читательский билет (ссылку на книгу), этот билет действителен только пока книга не возвращена. Аннотация 'a — это "ярлык", который говорит: "все, кто помечен этим ярлыком, должны жить одинаково долго". Компилятор проверяет, что вы не используете билет после возврата книги.

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

Разберём функцию longest:

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

• <'a> — объявление generic-параметра времени жизни. Это как <T> для типов, только для "продолжительности жизни".
• x: &'a str и y: &'a str — обе ссылки должны иметь одинаковое время жизни 'a.
• -> &'a str — возвращаемая ссылка тоже будет жить не дольше, чем 'a.

Компилятор гарантирует, что возвращаемая ссылка не переживёт ни x, ни y. Если бы мы попытались вернуть ссылку на локальную переменную, Rust бы сказал: "эта переменная умрёт раньше, чем 'a".

Что такое 'static?

'static — это особое время жизни, которое означает "живёт всю программу". Оно есть у строковых литералов ("hello") и глобальных констант. Например:

let s: &'static str = "Я живу вечно";

Будьте осторожны: не стоит использовать 'static везде — это может привести к утечкам памяти или ненужным ограничениям. Используйте его только когда значение действительно должно жить вечно (например, конфигурация приложения).

Когда писать аннотации вручную?

В большинстве случаев Rust может вывести времена жизни автоматически (это называется elision — пропуск). Но есть ситуации, когда нужно указать явно:

• Функция возвращает ссылку, которая связана с несколькими входными ссылками (как в longest).
• Структуры содержат ссылки (нужно указать время жизни для всей структуры).
• Реализация трейтов для типов со ссылками.

Пример со структурой:

struct Book<'a> {
    title: &'a str,
    author: &'a str,
}

fn main() {
    let title = String::from("Rust Book");
    let author = String::from("John Doe");
    let book = Book {
        title: &title,
        author: &author,
    };
    // book не может жить дольше, чем title и author
}

Здесь 'a гарантирует, что структура Book не переживёт данные, на которые ссылается.

Итог

Идентификаторы с апострофом — это инструмент для общения с компилятором. Они не управляют памятью напрямую, а только проверяют корректность ссылок. На практике, когда вы привыкнете, вы будете воспринимать их как "скобки", которые держат ссылки вместе. Начните с простых функций, а затем постепенно переходите к структурам и сложным сценариям.

fn main() {
    let x;                // -----------+-- 'a
    {                     //            |
        let y = 5;        // -+-- 'b    |
        x = &y;           //  |         |
    }                     // -+         |
    println!("{}", x);    //            |
}                         // -----------+