аналог ассоциативных типов? Это которые:
pub trait Iterator {
type Item;
fn next(&mut self) -> Option<Self::Item>;
}
Обычные темплейты это же именно аналог растовых дженериков trait Trait<T>, а вот чтобы как ассоциативный тип, чтобы для конкретного типа - одна реализация.
не аналог, но похожее можно делать и концептами требовать
https://godbolt.org/z/1YGb67b8f
Clang дает более красивые ошибки https://godbolt.org/z/Kq14jMhdE
Спасибо, выглядит похоже и довольно красиво.
Обсуждают сегодня