Разбор ошибки: почему возвращаемый непрозрачный тип impl Trait, скрывающий ссылку на входной параметр, должен иметь в контракте связь с его временем жизни?
Потому что конкретный тип, скрытый за impl Trait, может содержать ссылку на входные данные. Контракт функции обязан показать, что возвращаемое значение не переживёт источник этой ссылки; иначе вызывающий код не сможет безопасно определить границу допустимого использования.
Связь выражается через время жизни в ограничениях impl Trait или в его ассоциированных типах. Аннотация не продлевает жизнь данных, а только описывает уже существующее ограничение заимствования.
Rust использует времена жизни, чтобы разрешать безопасные заимствования без сборщика мусора и без ручного управления памятью. При этом impl Trait скрывает конкретный тип результата, поэтому компилятор не может полагаться на то, что вызывающий увидит внутреннее поле-ссылку или конкретный тип итератора.
Исходная проблема состоит в совмещении абстракции возвращаемого типа с проверяемой безопасностью ссылок. Публичный контракт должен сохранить существенные связи времени жизни, даже если детали реализации скрыты.
Представим функцию, которая принимает строковый срез и возвращает итератор по его словам. Реальный итератор хранит ссылку на исходную строку, хотя снаружи виден только impl Iterator.
Если разрешить использовать такой результат после уничтожения исходной строки, скрытый итератор содержал бы висячую ссылку. Если же контракт вообще не выражает необходимую связь, компилятор либо отклоняет реализацию, либо не может выдать вызывающему коду корректное описание допустимого использования результата.
Связь задаётся через параметр времени жизни входной ссылки и тип элементов результата:
Здесь Item = &'a str сообщает, что каждый элемент итератора ссылается на данные, живущие не меньше 'a. Ограничение + 'a связывает существование самого возвращаемого непрозрачного значения с тем же сроком: итератор нельзя сохранить дольше исходного заимствования.
Эти ограничения описывают разные уровни. Item = &'a str относится к ссылкам, выдаваемым итератором, а impl Iterator + 'a — к самому возвращаемому объекту. В конкретных случаях компилятор может вывести часть связи или автоматически захватить время жизни в зависимости от формы сигнатуры и редакции Rust, но логическое требование остаётся неизменным: скрытый тип не должен содержать ссылку, доступную дольше источника.
Аннотация не превращает результат в независимое, владеющее значение. Если нужна независимость от исходной строки, следует вернуть owned-данные, например коллекцию String, либо использовать преобразование, которое копирует содержимое. Это увеличивает расходы по памяти и времени, зато устраняет связь результата с входным заимствованием.
В библиотеке нужно вернуть ленивый набор токенов из входного буфера. Рассматривались два варианта: вернуть Vec<String> или вернуть итератор, заимствующий буфер.
Vec<String> проще использовать независимо от буфера и позволяет передать результат в другой поток или сохранить надолго, но требует выделений памяти и копирования каждого токена. Заимствующий итератор почти не требует дополнительных затрат и сохраняет ленивую обработку, однако его время жизни ограничено буфером, а интерфейс обязан явно или выводимо отражать эту зависимость.
Выбран заимствующий итератор, поскольку обработка выполняется сразу внутри области жизни буфера. Контракт результата связывают с временем жизни входа; если позднее потребуется долгосрочное хранение, API меняют на владеющий результат, а не пытаются ослабить ограничение времени жизни.
1. Достаточно ли добавить к результату impl Trait ограничение + 'a?
Не всегда. + 'a ограничивает срок существования самого возвращаемого значения, но не обязательно описывает время жизни ссылок, выдаваемых через ассоциированные типы. Для итератора связь элементов обычно выражают отдельно через Item = &'a T. Нужно анализировать как контейнер результата, так и ссылки внутри его интерфейса.
2. Почему нельзя заменить заимствующий impl Trait на 'static?
'static означает, что значение может безопасно существовать до конца программы и не содержит ссылок на более короткоживущие данные. Итератор, хранящий ссылку на локальный входной буфер, этому требованию не соответствует. Сделать его 'static можно только изменив представление, например скопировав данные во владеющую структуру.
3. Если конкретный тип скрыт, почему компилятору недостаточно проверить только тело функции?
Проверка тела гарантирует корректность реализации, но вызывающий код должен знать ограничения результата независимо от реализации. Контракт определяет, как долго можно хранить и использовать возвращаемое значение и его элементы. Без этой информации смена скрытого конкретного типа могла бы незаметно изменить безопасность или допустимость вызовов API.