Ассоциированные типы в Rust

impl Iterator for Counter {
    type Item = u32;
    fn next(&mut self) -> Option<u32> { .. }
}

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

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

1. #rs_assoc_types1 / 5
   Как в сигнатуре потребовать итератор именно по строкам?

   A)fn f<I: Iterator, String>(it: I)

   B)fn f<I: Iterator<Item = String>>(it: I)

   C)fn f<I: Iterator<String>>(it: I)

   D)fn f<I: Iterator + String>(it: I)

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

   +B)fn f<I: Iterator<Item = String>>(it: I)

   // разбор: Ассоциированный тип уточняют в угловых скобках через равенство: Iterator<Item = String>. Синтаксис Iterator<String> подошёл бы для трейта с параметром, а у Iterator параметра нет. Плюс через + добавляют независимые ограничения (Iterator + Clone), а не тип элемента.

2. #rs_assoc_types2 / 5
   Зачем нужны GAT (generic associated types)?

   A)Чтобы объявлять ассоциированные типы у дженерик-структур

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

   C)Чтобы ассоциированные типы работали в трейт-объектах

   D)Чтобы ассоциированный тип сам принимал параметры и лайфтайм

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

   +D)Чтобы ассоциированный тип сам принимал параметры и лайфтайм

   // разбор: GAT разрешают писать type Item<'a> и тем самым выражать вещи вроде лендинг-итератора, который отдаёт ссылки на собственный буфер: каждый следующий элемент связан лайфтаймом с заимствованием self. До стабилизации в 1.65 такие API приходилось городить через обходные трейты или клонирование.

3. #rs_assoc_types3 / 5
   Что означает ограничение where T: Iterator, T::Item: Display?

   A)T — итератор, и его элементы умеют форматироваться для вывода

   B)Элементы T приводятся к строке автоматически при печати

   C)T реализует и Iterator, и Display одновременно

   D)T — итератор по строкам, других элементов быть не может

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

   +A)T — итератор, и его элементы умеют форматироваться для вывода

   // разбор: Ограничения вешают не только на сам параметр, но и на его ассоциированные типы: тело функции сможет печатать элементы через {}. Это ровно то, ради чего существует where — в угловых скобках такая запись быстро становится нечитаемой, а через where ограничения выстраиваются в список.

4. #rs_assoc_types4 / 5
   Что такое ассоциированный тип в трейте?

   A)Псевдоним для типа реализации, который выбирает вызывающий код в момент обращения к методу

   B)Обёртка над параметром типа, позволяющая реализовать трейт для типа несколько раз подряд

   C)Тип, подставляемый компилятором автоматически по типу первого аргумента метода

   D)Тип, который задаёт сама реализация трейта и который дальше доступен как T::Имя

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

   +D)Тип, который задаёт сама реализация трейта и который дальше доступен как T::Имя

   // разбор: Это часть контракта, которую заполняет реализация: у вектора строк итератор отдаёт String, и второго варианта у него не бывает. Вызывающий на выбор не влияет — он лишь может уточнить тип в границе, написав Iterator<Item = String>. Тем и отличается от параметра типа: параметр выбирает пользователь, ассоциированный тип — автор реализации.

5. #rs_assoc_types5 / 5
   Как в коде обратиться к ассоциированному типу, если у типа несколько реализаций разных трейтов с одинаковым именем типа?

   A)Через полную форму: <T as Iterator>::Item — она снимает неоднозначность

   B)Через T::Item — компилятор выберет реализацию по контексту использования значения

   C)Через Iterator::Item::<T> — параметр указывается турбофишем после имени типа

   D)Никак: имена ассоциированных типов уникальны в пределах крейта по правилам согласованности

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

   +A)Через полную форму: <T as Iterator>::Item — она снимает неоднозначность

   // разбор: Короткая запись T::Item работает, пока подходящая реализация одна. Если их несколько, компилятор просит уточнить, и уточняют полной формой — <T as Trait>::Item. Та же форма нужна для вызова конкретного метода при конфликте имён: <S as Greet>::hi(&s). Это тот же приём, что и турбофиш, только для трейтов, а не для параметров типа.