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

'_ означает: конкретное время жизни нужно вывести из контекста. Это не отдельное именованное время жизни, не синоним 'static и не способ продлить существование заимствованного значения.

В сигнатуре функции '_ обычно приводит к тем же правилам вывода, которые Rust применяет при пропуске аннотаций. Если отношения между ссылками нельзя однозначно вывести, требуется именованный параметр времени жизни.

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

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

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

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

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

Ошибочная интерпретация '_ может привести к неверным выводам. Например, разработчик может принять его за 'static и ожидать, что ссылка станет пригодной для хранения на неограниченный срок, хотя фактическое заимствование по-прежнему ограничено временем жизни исходного значения.

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

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

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

'_ принципиально отличается от 'static. 'static — конкретное ограничение: ссылка должна быть действительна до конца работы программы, либо значение не должно содержать более коротких заимствований. '_ ничего не требует о длине срока действия; он лишь просит вывести подходящий срок из окружающего типа и контекста.

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

Минимальный пример:

struct View<'a> {
    text: &'a str,
}

type TextRef<'a> = &'a str;

fn view(text: &str) -> TextRef<'_> {
    text
}

fn main() {
    let value = String::from("hello");
    let result = view(&value);
    println!("{result}");
}

В TextRef<'_> компилятор выводит срок действия ссылки результата из входного параметра text. После завершения области value ссылка result также не может использоваться, несмотря на наличие '_.

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

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

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

Первый — вернуть TextRef<'_>. Это кратко, не вводит лишнее имя и сохраняет проверку связи результата с входом. Такой вариант удобен, когда связь очевидна из правил элизии.

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

Третий — использовать 'static. Это не решение задачи вывода: оно требует действительно статического источника данных и обычно чрезмерно ограничивает API. Для заимствования локальной строки такой вариант приведёт к ошибке компиляции, а не к продлению срока жизни.

Практический выбор — '_ для локально очевидной связи и именованный параметр для публичного или многоссылочного контракта, где связь должна быть явно читаема. Результат — короткая сигнатура без ослабления гарантий безопасности.

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

Можно ли использовать '_ вместо имени времени жизни везде?

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

Может ли '_ выбрать более длинное время жизни, чем фактическое заимствование?

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

Чем '_ отличается от полного пропуска аннотации?

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