Объясните механизм: почему точечный вызов метода может найти реализацию трейта для ссылки на значение, хотя исходное выражение имеет тип самого значения?
Точечный синтаксис в Rust автоматически рассматривает варианты с разыменованием и заимствованием получателя. Поэтому выражение типа T может вызвать метод трейта, реализация которого доступна для &T, если сигнатура метода совместима с таким получателем. Это не означает, что трейт автоматически реализован для T: меняется только поиск метода, а не набор реализаций трейтов.
Методы часто должны работать с объектом через ссылку, чтобы не забирать владение значением и не создавать лишних копирований. Если бы для каждого вызова требовалось вручную писать заимствование или разыменование, интерфейс трейтов был бы значительно менее эргономичным.
Механизм autoderef/autoref решает эту проблему на уровне точечного вызова. Он сохраняет строгую типобезопасность, но позволяет записывать вызов естественным образом.
Рассмотрим тип T и реализацию трейта для &T. При прямом сопоставлении типов реализация для &T не является реализацией для T. Поэтому нельзя делать вывод, что bound T: Trait выполнен автоматически.
Однако точечный вызов метода использует специальный алгоритм поиска. Он проверяет не только исходный тип выражения, но и кандидаты после разыменования, а затем подбирает необходимые автоматические заимствования. Ошибка возникает, если подходящий кандидат не найден, найдено несколько неоднозначных кандидатов или для заимствования нет нужного времени жизни.
Для метода с получателем &self компилятор может добавить заимствование объекта. Если реализация существует для ссылочного типа, исходное значение может быть временно превращено в ссылку, после чего Rust проверяет вызов метода уже относительно этого типа.
В этом примере реализация объявлена для &Item, а не для Item. Тем не менее item.describe() может использовать найденную реализацию после автоматического заимствования item.
Важно отличать это от обобщённых bound. В функции fn use_item<T>(item: T) вызов item.describe() не становится допустимым только потому, что для конкретного типа T где-то существует реализация для &T. Обобщённая функция проверяется для всех типов T, удовлетворяющих её явно указанным ограничениям; нужный bound должен быть выражен в сигнатуре, например через ограничение на ссылочный тип.
Автоматический поиск не отменяет правила видимости трейта, правила согласованности реализаций и проверку владения. Он также не превращает &T и T в один тип: различия видны при передаче аргументов, выборе реализаций и формировании обобщённых ограничений.
В библиотеке есть тип Buffer, а трейт Readable реализован только для &Buffer, поскольку чтение не должно передавать владение буфером. Для конкретного значения вызов метода через точку остаётся удобным и не требует явного &.
Можно было реализовать Readable непосредственно для Buffer. Плюс такого подхода — более прямое поведение в bound и обобщённом коде; минус — реализация может создавать впечатление, что операция владеет значением, а дальнейшее проектирование API может привести к конфликту с реализацией для ссылок.
Другой вариант — всегда использовать явный вызов через ссылку. Он лучше показывает типовую механику, но ухудшает читаемость обычного клиентского кода. Практический выбор — реализовать трейт для наиболее подходящего типа владения, а автоматический поиск использовать как эргономичный механизм вызова, не полагаясь на него как на обобщённую гарантию.
Дополнительный вопрос 1: означает ли успешный вызов метода, что трейт реализован для исходного типа?
Нет. Успешный точечный вызов может использовать реализацию для &T, &mut T или другого кандидата, полученного алгоритмом поиска. Проверка bound T: Trait выполняется отдельно и не следует автоматически из возможности написать value.method().
Дополнительный вопрос 2: почему тот же вызов может не работать в generic-функции?
Тело generic-функции проверяется без подстановки конкретного типа, если только нужное свойство не выражено в bounds. Компилятор не может предположить, что для любой возможной T существует реализация нужного трейта для &T; такая гарантия должна быть частью сигнатуры или другой доказуемой структуры ограничений.
Дополнительный вопрос 3: может ли автоматическое заимствование изменить владение значением?
Нет. Оно создаёт временное заимствование, но не перемещает значение и не делает его копируемым. После вызова исходное значение обычно остаётся доступным, однако действуют обычные правила заимствований: нельзя одновременно получить несовместимые изменяемые и неизменяемые ссылки, а время жизни временного заимствования определяется контекстом вызова.