Краткий ответ

Конкретную длительность 'a определяет компилятор для каждого вызова, опираясь на реальные заимствования и контекст использования результата. Автор функции задаёт только допустимые связи между временами жизни, но не назначает одну фиксированную длительность для всех вызовов.

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

Исторический контекст

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

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

Постановка проблемы

Параметр 'a в сигнатуре функции часто ошибочно воспринимают как именованную область видимости или как фиксированный срок действия. На самом деле это параметр обобщённого типа: он получает конкретное значение отдельно при каждом вызове.

Если считать 'a глобальным или заранее заданным, можно неверно оценить допустимость повторных вызовов, вложенных областей и использования возвращённой ссылки. Обратная ошибка тоже опасна: нельзя считать, что компилятор произвольно продлит заимствование ради удовлетворения сигнатуры.

Подробное решение

Сигнатура с 'a задаёт ограничение. Например, связь времени жизни входной и возвращаемой ссылок означает: возвращённая ссылка должна оставаться действительной не дольше, чем соответствующее входное заимствование.

При вызове компилятор рассматривает 'a как неизвестную область и подбирает её так, чтобы одновременно выполнялись:

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

Упрощённый пример показывает, что один параметр времени жизни не фиксирует один срок на всю программу:

fn identity<'a>(value: &'a str) -> &'a str {
    value
}

fn main() {
    let text = String::from("hello");
    let first = identity(&text);
    println!("{first}");

    {
        let second = identity(&text);
        println!("{second}");
    }

    println!("{first}");
}

В первом и втором вызовах 'a может быть инстанцирован разными конкретными областями. Вложенный вызов не заставляет first иметь такой же короткий срок действия, потому что у каждого вызова собственная подстановка параметра времени жизни.

При этом аннотация не продлевает жизнь text и не создаёт владение. Если объект уничтожен, ссылка на него недействительна независимо от написанной аннотации; компилятор отвергнет такой вариант ещё до выполнения программы.

Компромисс заключается в том, что более точные связи в сигнатуре дают полезную проверку и сохраняют возможность работать без копирования, но усложняют API. Слишком широкая или неверно выбранная связь может ограничить вызывающий код, а раздельные параметры времени жизни иногда позволяют выразить более гибкие отношения между входами.

Ситуация из практики

В библиотеке разбора документа функция возвращает представление в виде ссылки на исходный буфер. Разработчик может ошибочно считать, что параметр 'a закреплён за временем жизни буфера на всё время работы библиотеки, и начать создавать отдельные функции для каждого контекста.

Вариант с возвращаемым собственным String упрощает время жизни результата, но требует копирования данных и увеличивает расходы памяти. Хранение ссылки без параметра времени жизни невозможно: структура или функция не сообщит компилятору, как долго ссылка должна оставаться действительной.

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

Что кандидаты часто упускают

1. Может ли компилятор выбрать для 'a более короткую область, чем область жизни исходной переменной?

Да. Время жизни заимствования и время жизни переменной — не одно и то же. Переменная может существовать долго, а конкретная ссылка использоваться только внутри более короткого участка; компилятор вправе выбрать эту короткую область, если она удовлетворяет ограничениям.

Это позволяет завершать заимствования раньше конца внешней области и не удерживать ограничения дольше необходимого. Однако выбранная область всё равно должна покрывать каждое использование ссылки, для которого она была выведена.

2. Почему автор функции не может выбрать конкретное значение 'a при её объявлении?

Потому что функция должна работать с разными вызывающими контекстами. Автор задаёт универсальное правило: для некоторого времени жизни 'a входы и результаты должны удовлетворять указанным отношениям.

Конкретные объекты, их области и места использования известны только в месте вызова. Поэтому компилятор подставляет конкретное время жизни отдельно для каждого вызова, подобно тому как подставляет конкретный тип вместо параметра типа.

3. Может ли контекст использования результата повлиять на выбранное время жизни?

Да, если сигнатура допускает несколько вариантов. Использование результата определяет, как долго он должен быть действителен, а это становится одним из ограничений для вывода 'a.

Но контекст не может нарушить связь, заданную сигнатурой. Если функция возвращает ссылку, связанную с входным заимствованием, использование результата дольше жизни входа не заставит компилятор продлить вход: такой код будет отклонён.