Дженерики в Rust

fn print_all<I>(it: I)
where
    I: Iterator,
    I::Item: std::fmt::Display,
{
    for x in it { println!("{x}"); }
}

Проверьте себя

Пять вопросов из банка по этой подтеме. Всего их 12, остальные разбираются в тренажёре.

1. #rs_generics1 / 5
   Зачем нужны trait bounds вроде <T: Clone + Debug>?

   A)Они ускоряют мономорфизацию, сужая набор кандидатов

   B)Они нужны только для документации: компилятор их не проверяет

   C)Они разрешают приводить T к конкретному типу через as

   D)Они говорят, что тип умеет, и разрешают звать эти методы в теле

   показать ответ и разбор

   +D)Они говорят, что тип умеет, и разрешают звать эти методы в теле

   // разбор: Дженерик-функция компилируется один раз для всех T, поэтому внутри доступно ровно то, что обещано в ограничениях: без T: Clone вызвать clone() не выйдет. Проверка идёт с двух сторон — тело не может выйти за рамки обещанного, а вызывающий обязан подставить подходящий тип. Длинные списки выносят в where.

2. #rs_generics2 / 5
   Зачем в вызове нужен турбофиш: "42".parse::<i32>()?

   A)Чтобы указать тип, который компилятор не может вывести из контекста

   B)Чтобы обойти мономорфизацию и получить динамический вызов

   C)Чтобы вызвать реализацию конкретного трейта вместо родного метода

   D)Чтобы отключить проверку ошибок разбора и получить значение напрямую

   показать ответ и разбор

   +A)Чтобы указать тип, который компилятор не может вывести из контекста

   // разбор: parse дженерик по типу результата, и вывести его получается только из контекста: let n: i32 = s.parse()? работает, а внутри println! — уже нет. Турбофиш задаёт параметр явно. Формально это просто синтаксис ::<> — двоеточия нужны, чтобы < не спутали с оператором сравнения.

3. #rs_generics3 / 5
   Структура #[derive(Clone)] struct W<T> { v: Rc<T> }. Почему w.clone() не компилируется для T без Clone?

   A)Клонирование Rc требует, чтобы значение внутри тоже копировалось

   B)Rc<T> реализует Clone только для T: Clone

   C)derive добавляет ограничение T: Clone, хотя Rc клонируется и без него

   D)derive не работает с дженерик-структурами — нужен ручной impl

   показать ответ и разбор

   +C)derive добавляет ограничение T: Clone, хотя Rc клонируется и без него

   // разбор: Известная грабля derive: макрос механически вешает ограничение на каждый параметр типа, поэтому получается impl<T: Clone> Clone for W<T>, хотя Rc<T>::clone лишь увеличивает счётчик и в Clone у T не нуждается. Лечится ручной реализацией Clone без лишнего ограничения.

4. #rs_generics4 / 5
   Функция принимает s: impl AsRef<str> вместо &str. Что это даёт?

   A)Аргумент становится необязательным: можно вызвать функцию без него

   B)Строка копируется внутрь функции, и вызывающий может её изменить

   C)Функция начинает принимать нестроковые типы тоже

   D)Вызов принимает и &str, и String, и Cow без ручных преобразований

   показать ответ и разбор

   +D)Вызов принимает и &str, и String, и Cow без ручных преобразований

   // разбор: AsRef<str> описывает «из этого можно дёшево получить &str». Такая сигнатура удобна вызывающему: не нужно писать &s или .as_str(). Плата — мономорфизация под каждый переданный тип и чуть более шумная сигнатура, поэтому в приватном коде обычно хватает обычного &str.

5. #rs_generics5 / 5
   Что дают const generics — параметры вроде struct Buf<const N: usize>?

   A)Параметром типа становится число: размер известен на этапе компиляции

   B)Размер буфера подбирается в рантайме под нагрузку

   C)Ограничение на число полей у структуры

   D)Замену массивов срезами без потери длины

   показать ответ и разбор

   +A)Параметром типа становится число: размер известен на этапе компиляции

   // разбор: Параметризовать тип можно не только типом, но и значением: Buf<4> и Buf<16> — разные типы разного размера, и функции над массивами [T; N] перестают требовать отдельной реализации на каждую длину. В базовом виде стабилизировано с 1.51. Плата обычная для мономорфизации — своя копия кода на каждое использованное N, поэтому бесконтрольно плодить длины не стоит.