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

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

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

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

Анализ NLL учитывает поток управления и реальные точки использования ссылок. Он сохраняет гарантии безопасности, но позволяет завершать заимствования раньше конца блока.

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

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

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

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

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

fn main() {
    let mut text = String::from("hello");
    let view = &text;
    println!("{}", view);
    text.push('!');
}

После вызова println! переменная view больше не используется. Поэтому неизменяемое заимствование text может завершиться до text.push('!'), и изменение становится допустимым.

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

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

Компромисс состоит в том, что NLL уменьшает число ложных конфликтов, но не отменяет правил алиасинга: одновременно изменять владельца и использовать активную ссылку по-прежнему нельзя.

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

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

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

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

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

Означает ли последняя строка, в которой ссылка видна в исходнике, конец её времени жизни?

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

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

Может ли NLL разрешить одновременное существование изменяемой ссылки и неизменяемой ссылки?

Только если их активные периоды не пересекаются. NLL может закончить первое заимствование перед созданием второго, но не разрешает использовать старую неизменяемую ссылку после начала изменяемого заимствования.

Иными словами, NLL сокращает периоды действия заимствований, но не ослабляет правило: активная изменяемая ссылка должна быть единственной, а неизменяемые ссылки не могут сосуществовать с ней в конфликтующий период.

Почему сохранение ссылки в возвращаемом значении может помешать раннему завершению заимствования?

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

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