Сравнение: чем отличается время жизни, заданное параметром самого трейта, от ограничения времени жизни объектного типа трейта?
Параметр времени жизни трейта является частью самого трейта: он выбирает конкретную специализацию интерфейса и участвует в типах его методов. Ограничение времени жизни объектного типа трейта определяет, как долго можно безопасно использовать скрытое за объектом значение и заимствования, которыми оно владеет или которые хранит.
Это два независимых уровня. Параметр трейта отвечает на вопрос «с какими временами жизни работает интерфейс», а ограничение объектного типа — «как долго допустим сам объект трейта».
В Rust трейты используются как для статической абстракции через обобщения, так и для динамической диспетчеризации через объект трейта. При этом интерфейс может зависеть от заимствованного значения, а конкретная реализация может сама содержать ссылки.
Чтобы не смешивать эти случаи, язык разделяет параметры времени жизни в объявлении трейта и ограничения времени жизни у объектного типа. Такое разделение позволяет описывать как связь ссылок в методах, так и срок безопасного хранения самого значения за dyn Trait.
Рассмотрим трейt, методы которого работают с данными, живущими не меньше некоторого времени. Его параметр времени жизни должен быть выбран при использовании трейта, потому что он влияет на сигнатуры методов и связанные типы.
Одновременно объект этого трейта может содержать ссылку. Тогда требуется отдельно гарантировать, что объект не будет использоваться после окончания срока действия этой ссылки. Если принять один параметр за другой, можно либо ошибочно разрешить висячую ссылку, либо чрезмерно ограничить допустимое использование объекта.
Параметр времени жизни самого трейта входит в его типовой контракт. Например, условный Источник<'вход> может обещать вернуть данные, связанные с временем жизни 'вход. Запись объектного типа с таким трейтом должна выбрать это время жизни: объект реализует не «любой Источник», а Источник для конкретного 'вход.
Ограничение времени жизни объектного типа задаётся отдельно: условно dyn Источник<'вход> + 'объект. Здесь 'объект означает, что объект можно безопасно использовать в течение этого срока. Это ограничение относится к скрытому конкретному типу, включая ссылки, которые он может хранить, но не заменяет 'вход в сигнатурах трейта.
Минимальный пример различия:
В Source<'input> параметр описывает время жизни результата метода. Ограничение +'object описывает срок допустимого существования самого объектного значения. Эти времена могут совпадать, но язык не считает их одним и тем же автоматически.
Если конкретная реализация хранит ссылку на входные данные, её фактические ограничения могут дополнительно связать 'object с 'input. Если реализация владеет данными, она может удовлетворять интерфейсу без хранения ссылки, однако возвращаемое значение всё равно должно соответствовать контракту Source<'input>.
Практическое следствие: изменение параметра трейта может изменить набор доступных методов и их типы, а изменение объектного ограничения меняет допустимый срок хранения или передачи объекта. Ни одно из этих изменений само по себе не продлевает жизнь исходных данных.
Предположим, библиотека предоставляет обработчики фрагментов входного буфера. Интерфейс должен возвращать срез, связанный с временем жизни буфера, но обработчики передаются между компонентами через динамический объект.
Вариант с параметром трейта без объектного ограничения описывает связь результата с буфером, но не отвечает полностью на вопрос, можно ли хранить сам обработчик дольше локального заимствования. Вариант с одним только ограничением dyn Trait + 'буфер задаёт срок жизни объекта, но не выражает, с каким входом связан возвращаемый срез.
Выбранное решение разделяет обязанности: параметр трейта связывает результат с буфером, а объектное ограничение ограничивает хранение обработчика. Это предотвращает использование результата после окончания жизни буфера и одновременно позволяет хранить обработчик ровно столько, сколько допускает его внутреннее состояние.
Ответ: Нет. Параметр трейта может описывать время жизни данных, фигурирующих в методах, но не срок существования объекта. Объект может быть уничтожен раньше, а его использование не может продолжаться дольше ограничений, связанных с конкретными ссылками.
dyn Trait + 'a, что каждый метод объекта возвращает ссылки с временем жизни 'a?Ответ: Нет. Это ограничение относится к допустимому существованию самого скрытого объекта и содержащихся в нём заимствований. Время жизни результата метода определяется его собственной сигнатурой, параметрами трейта и связями с аргументами, а не автоматически объектным ограничением.
'a и одновременно объектное ограничение 'b?Ответ: Да. 'a выбирает вариант интерфейса трейта и участвует в типах его методов, а 'b ограничивает срок использования объектного значения. Компилятор проверяет их совместимость через конкретную реализацию: если объект хранит ссылку, её срок должен позволять безопасное использование в течение 'b.