Вопрос
Помимо аспекта наследования, есть ли разница между следующими шаблонами классов:
1| trait TraitA extends TraitB
2| trait TraitA { self: TraitB => }
Я хотел бы разделить обязанности между TraitA и TraitB, но первый не может работать без второго.
Как бы вы выразили это намерение? Для меня решение [2] было бы более естественным подходом. Однако я не хочу возлагать бремя на разработчиков, смешивающих то, что нужно смешать в любом случае.
Обычно я предпочитаю [1], потому что, как вы говорите, разработчик не обязан смешивать (подтип) TraitB. Возможно, [2] предпочтительнее, если по какой-то причине желательно не наследовать конкретные реализации в TraitB и заставлять разработчика делать выбор среди подтипов TraitB. Тем не менее, [1] такой же гибкий.
Я склонен использовать [2] только там, где это необходимо, например, когда тип не является известным классом или свойством,
// Here, Matrix cannot extend type parameter Repr
trait Matrix[+Repr <: Matrix[Repr]] { self: Repr =>
...
}
Обновление. Еще одно небольшое отличие.
trait B
trait A { self: B => }
def g(ab: A): B = ab // Type mismatch: found A, required B
немного раздражает необязательное ограничение, заключающееся в том, что нельзя использовать A как B, даже если этот тип включен.
Перевод вопроса и ответов сообщества Stack Overflow, лицензия CC BY-SA. Оригинал на Stack Overflow.