Псевдокод (по мотивам довольно сложного реального проекта): trait Base {} trait Derived

Question

Псевдокод (по мотивам довольно сложного реального проекта): trait Base {} trait Derived

: Base {}
trait DerivedDerived : Derived {}

trait Base объявляет ассоциированный тип N.
trait DerivedDerived объявляет другой ассоциированный тип, параметризованный N
type M = X<N> (X - независимый внешний генерик-тип)

Почему компилятор выдаёт такую ошибку?
the trait bound Self: Base is not satisfied
и предлагает добавить:
trait DerivedDerived : Base + Derived {}
?

Ведь "наследование" от Derived уже предполагает, что нужно удовлетворить и Base.

Хорошо, добавляю Base + Derived
Получаю другую ошибку:
ambiguous associated type N in bounds of Self

Ну да, теперь в DerivedDerived видны два типа N - от каждого из трейтов.

Можно ли выкрутиться? Нужно "наследовать" DerivedDerived от Derived.

#backend #embedded #programming #russian #rust

0

22.09.2020

2 ответов

20 просмотров

Boris Vinogradov

потому что в трейты это не про наследование в смысле ООП и наследование трейтов не говорит о наследовании их поведения а лишь о том что унаследовавший будет ожидать реализацию унаследованного

0

22.09.2020

Эрик · Accepted Answer

Эрик

Какой-то ООП.

0

22.09.2020

172 похожих чатов

Псевдокод (по мотивам довольно сложного реального проекта): trait Base {} trait Derived

2 ответов

Похожие вопросы