Ответ.

История вопроса

В Rust из-за строгой системы владения памятью появился механизм времени жизни (lifetimes), который позволяет компилятору проверять корректность ссылок. Однако вручную указывать lifetime-аннотации было бы утомительно, поэтому в язык введены правила "elision", позволяющие компилятору в ряде случаев выводить время жизни автоматически.

Проблема

Без корректного управления временем жизни ссылок возможны ошибки висячих указателей (dangling pointers) или гонки за памятью. Если бы программист всегда обязан был явно указывать lifetimes, это сильно усложняло бы разработку.

Решение

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

Пример кода:

fn get_first(s: &str) -> &str { // lifetime elision
    &s[..1]
}

Здесь компилятор выводит time жизни результата — он равен времени жизни входного параметра s.

Ключевые особенности:

Повышает читаемость кода и ускоряет написание рутинных функций.
Позволяет не задумываться о простых случаях lifetime-ов, фокусируясь только на нестандартных вариантах.
Гарантирует, что возвраты ссылок не живут дольше своих параметров.

Вопросы с подвохом.

Почему нельзя всегда опускать lifetimes и полагаться на правила elision?

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

fn pick<'a>(a: &'a str, b: &'a str, first: bool) -> &'a str {
    if first { a } else { b }
}
// Здесь требуется явно указать 'a, иначе компилятор не сможет понять взаимосвязь.

Можно ли опустить lifetime у структуры, если она содержит только ссылочные поля?

Нет, если структура содержит ссылочные поля, она обязана иметь параметр времени жизни, чтобы гарантировать, что экземпляр структуры не переживёт свои данные.

struct Foo<'a> {
    data: &'a str,
}

Что произойдёт, если попытаться вернуть ссылку на локальную переменную?

Компилятор выдаст ошибку, даже если формально правила elision могли бы "вывести" время жизни. Rust отслеживает время жизни не только по типу, но и по области видимости.

Типовые ошибки и анти-паттерны

Попытка опустить lifetime там, где требуется явное связывание параметров и результата.
Возврат ссылок на локальные переменные.
Использование elision в сложных случаях, где логика зависит от условий выбора одной из нескольких ссылок.

Пример из жизни

Негативный кейс

Программист написал API, в котором явно не прописал lifetime, возвращающий ссылку на локальный временный буфер внутри функции. Компилятор отклонил код, но при попытке "обойти" ошибку были добавлены некорректные аннотации lifetimes, после чего появилось несколько путаных ошибок.

Плюсы:

Быстрое прототипирование функций.

Минусы:

Скрытые ошибки, усложнённая отладка, необходимость потом полностью переписывать сигнатуры.

Позитивный кейс

В API библиотеки используются корректные lifetime-аннотации только там, где это реально требуется. Всё остальное — покрыто автоматическими правилами elision, что делает код лаконичным и понятным.