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

dyn Trait — это динамически размещаемый тип (DST): его размер и конкретный тип известны только во время выполнения. Поэтому такое значение нельзя хранить непосредственно там, где компилятору нужен размер, известный статически. Box<dyn Trait> имеет известный размер указателя и хранит объект отдельно, поэтому сам Box можно передавать по значению.

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

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

Trait object решает эту задачу, стирая конкретный тип, но ценой неизвестного на этапе компиляции размера и динамического вызова методов. Указатели вроде Box, &, Rc и Arc предоставляют фиксированный по размеру способ обращаться к такому объекту.

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

Размер структуры должен быть известен, чтобы компилятор мог вычислить размещение полей, размер стека и правила передачи значения. У разных типов, реализующих один трейт, размеры могут отличаться, поэтому размер dyn Trait невозможно определить только по имени трейта.

Если попытаться хранить объект непосредственно как dyn Trait, Rust не сможет корректно зарезервировать память под неизвестную реализацию. Если использовать Box<dyn Trait>, память под конкретный объект выделяется отдельно, а в переменной хранится указатель на неё.

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

Trait object концептуально состоит из двух частей: указателя на данные и метаданных, связанных с конкретной реализацией. Метаданные позволяют найти таблицу виртуальных методов (vtable) и выполнить нужную реализацию через динамическую диспетчеризацию.

dyn Trait остаётся DST, но Box<dyn Trait> — уже тип фиксированного размера: размер самого Box не зависит от размера объекта внутри. При перемещении Box<dyn Trait> перемещается указатель с метаданными, а не сам объект.

trait Speak {
    fn speak(&self) -> &'static str;
}

struct Robot;
impl Speak for Robot {
    fn speak(&self) -> &'static str { "beep" }
}

fn announce(value: Box<dyn Speak>) {
    println!("{}", value.speak());
}

fn main() {
    announce(Box::new(Robot));
}

Вызов speak здесь динамический: фактический тип Robot стёрт на уровне интерфейса. Это отличается от fn announce<T: Speak>(value: T), где компилятор знает T и обычно генерирует специализированный вариант функции.

Компромисс Box<dyn Trait> — дополнительная косвенность, возможная стоимость выделения памяти и динамического вызова. Взамен API может принимать разные конкретные типы через единый интерфейс. Сам трейт должен быть пригоден для использования как trait object: методы с неподходящими требованиями, например обобщённые методы без ограничений Self: Sized, могут сделать это невозможным.

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

Сервис загружает обработчики разных форматов документов. Вариант с одним обобщённым параметром обеспечивает статическую диспетчеризацию и хорошую оптимизацию, но требует заранее собрать обработчики в однородную структуру или усложнить тип API.

Вариант Vec<Box<dyn Handler>> позволяет хранить обработчики разных конкретных типов в одном списке. Минусы — динамический вызов и обычно отдельное размещение каждого обработчика. Для подключаемых обработчиков, состав которых формируется во время выполнения, выбирают trait objects; для фиксированного высокопроизводительного набора — generics.

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

Устраняет ли Box<dyn Trait> динамическую диспетчеризацию?

Нет. Box решает проблему размера и владения, но не стирания типа. Вызов метода через dyn Trait по-прежнему использует метаданные и таблицу виртуальных методов. Чтобы получить статическую диспетчеризацию, нужен конкретный тип или generic-параметр с bound.

Почему объект внутри Box<dyn Trait> не перемещается при перемещении самого Box?

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

Почему два разных объекта dyn Trait могут занимать разный объём памяти, хотя Box<dyn Trait> имеет один размер?

Конкретные реализации трейта могут иметь разные поля и разные размеры. Их размещают отдельно, а Box<dyn Trait> содержит ссылку на размещённый объект и информацию для работы с его фактическим типом. Поэтому размер контейнера фиксирован, а размер объекта за ним может отличаться.