Ответ.

Обобщённые типы (generics) позволяют писать код, независимый от конкретного типа. Они реализуются с помощью синтаксиса угловых скобок:

fn max<T: PartialOrd>(a: T, b: T) -> T {
  if a > b { a } else { b }
}

Тут T — обобщённый тип, ограниченный трейтом PartialOrd.

Generic-параметры объявляются через <T>, но ограничить их можно с помощью trait bounds через двоеточие, например, <T: Display>. Это способ сообщить компилятору, что только те типы, для которых реализован нужный трейд, могут быть использованы.

В Rust выделяют две формы диспетчеризации для generics:

Мономорфизация: код на этапе компиляции генерирует отдельные варианты функции/структуры для каждого используемого типа. Достигается поглощением trait bounds.
Динамическая диспетчеризация: если используется dyn Trait, происходит вызов через виртуальную таблицу (vtable).

Влияние на машинный код: Использование generic с trait bounds (без dyn Trait) приводит к мономорфизации: увеличению бинарника, но максимальной скорости. Использование dyn Trait экономит бинарник, но есть просадка производительности.

Вопрос с подвохом.

Вопрос: Есть функция

fn do_something<T: Debug>(value: &T)

Будет ли компилятор создавать отдельную функцию do_something в двоичном коде для каждого типа, с которым она используется, или будет использовать универсальную реализацию?

Типичный неверный ответ: Будет использовать одну функцию для всех типов благодаря trait bound.

Правильный ответ: Компилятор создаёт отдельные копии этой функции для каждого типа (мономорфизация), поскольку trait bound не делает generic функцию "универсальной" за счёт vtable. Универсальность появляется только при dyn Trait (динамической диспетчеризации).

Пример:

fn print_val<T: std::fmt::Debug>(val: T) {
    println!("{:?}", val);
}
// Для каждого вызова с разным типом создастся своя версия функции

Примеры реальных ошибок из-за незнания тонкостей темы.

История

В проекте с большими generic-объектами было обнаружено, что бинарный файл стал существенно больше, чем ожидалось. Позже выяснилось: причина — в широком использовании обобщённых функций без ограничений. Вызовы с десятками типов привели к экспоненциальному росту объёма исполняемого файла (code bloat), что выявили только при релизной сборке на CI.

История

Один из разработчиков принимал generic-параметр с trait bound, считая, что такой код работает с "динамической" диспетчеризацией. Это привело к перерасходу памяти на сервере и снижению производительности из-за постоянного роста кода и его кэширования процессором.

История

В библиотеке пытались использовать обобщённый trait с Self-типом (например, trait Clone) как dyn Trait, что не поддерживается в Rust и привело к ошибке компиляции. Нужно было явно переписать интерфейс, иначе обобщённое API бы не сработало в динамическом режиме, а интерфейс пришлось бы менять на compile-time уровне.