Трейты в Rust

trait Greet {
    fn name(&self) -> String;
    fn hello(&self) -> String {
        format!("привет, {}", self.name())
    }
}

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

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

1. #rs_traits1 / 5
   Зачем трейту метод с реализацией по умолчанию?

   A)Чтобы типы получали готовое поведение и переопределяли его при нужде

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

   C)Чтобы метод стал доступен без импорта трейта в область видимости

   D)Чтобы трейт реализовывался пустым impl-блоком без методов

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

   +A)Чтобы типы получали готовое поведение и переопределяли его при нужде

   // разбор: Реализация по умолчанию описывает поведение через другие методы трейта: автор типа пишет минимум обязательных, остальное получает даром — так устроен Iterator, где хватает next(), а map, filter и sum приходят готовыми. Переопределять их можно, когда у конкретного типа есть более быстрый путь.

2. #rs_traits2 / 5
   Метод трейта реализован, но вызов s.hi() не компилируется. Частая причина?

   A)Реализация лежит в другом модуле, а impl-блоки не экспортируются

   B)Метод трейта нужно вызывать как Trait::hi(&s), точечная форма запрещена

   C)У структуры есть свой метод с тем же именем, и он затеняет трейтовый

   D)Трейт не введён в область видимости — не хватает use

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

   +D)Трейт не введён в область видимости — не хватает use

   // разбор: Методы трейта видны только там, где виден сам трейт: без use crate::Greet компилятор скажет, что метод не найден, и подскажет нужный импорт. Отсюда привычка стандартной библиотеки к prelude — Iterator и Clone доступны без импорта именно поэтому. Собственный метод типа действительно приоритетнее трейтового, но это отдельная и более редкая ситуация.

3. #rs_traits3 / 5
   Что даёт объявление trait Named: Display?

   A)Named наследует реализацию Display: писать её отдельно не нужно

   B)Оба трейта реализуются одним impl-блоком

   C)Тип обязан реализовать Display, а Named зовёт его методы

   D)Named становится дочерним типом Display в иерархии типов

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

   +C)Тип обязан реализовать Display, а Named зовёт его методы

   // разбор: Это супертрейт — не наследование, а требование: реализовать Named можно только у типа, который уже реализует Display. Взамен методы Named вправе звать to_string() и форматирование. Реализации при этом пишутся по отдельности, и никакой иерархии типов не появляется.

4. #rs_traits4 / 5
   Библиотека хочет запретить внешним крейтам реализовывать свой публичный трейт. Как это делают?

   A)Sealed-приём: супертрейт из приватного модуля

   B)Атрибутом #[sealed] над объявлением трейта

   C)Помечают все методы трейта как unsafe fn

   D)Объявляют трейт как pub(crate) — тогда снаружи он невидим

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

   +A)Sealed-приём: супертрейт из приватного модуля

   // разбор: Трейт объявляют публичным, но с супертрейтом private::Sealed, который лежит в приватном модуле: внешний код физически не может его реализовать, а значит не реализует и публичный. Так автор сохраняет право добавлять методы, не ломая семвер. Отдельного атрибута для этого в языке нет, а pub(crate) просто спрятал бы трейт целиком.

5. #rs_traits5 / 5
   Что нужно написать, чтобы структура S начала удовлетворять трейту Greet?

   A)Перечислить трейт в объявлении структуры: struct S: Trait { ... }

   B)Объявить методы в обычном impl S: компилятор сопоставит их с трейтом по именам и сигнатурам

   C)Добавить #[derive(Trait)] — так подключают трейты из зависимостей крейта

   D)Отдельным блоком impl Trait for S с реализацией обязательных методов

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

   +D)Отдельным блоком impl Trait for S с реализацией обязательных методов

   // разбор: Соответствие объявляется явным блоком impl Trait for Type, и в нём реализуют методы без умолчаний. Структурного соответствия, как в Go, тут нет: совпадение имён и сигнатур ничего не значит, пока блок не написан. Зато impl можно написать и для чужого типа, если трейт ваш, — этим и пользуются, расширяя стандартные типы.