Черты и абстрактные методы переопределяются в Scala

У меня есть базовый абстрактный класс (признак). Он имеет абстрактный метод foo(). Он расширен и реализован несколькими производными классами. Я хочу создать черту, которая может быть смешана с производными классами, так что она реализует foo(), а затем вызывает производный класс foo().

Что-то вроде:

trait Foo {
  def foo()
}

trait M extends Foo {
  override def foo() {
    println("M")
    super.foo()
  }
}

class FooImpl1 extends Foo {
  override def foo() {
    println("Impl")
  }
}

class FooImpl2 extends FooImpl1 with M

Я пробовал типы типов и структурные типы, но я не могу заставить его работать.

Ответы

Ответ 1

Ты был очень близок. Добавьте абстрактный модификатор в M.foo, и у вас есть шаблон "Stackable Trait": http://www.artima.com/scalazine/articles/stackable_trait_pattern.html

trait Foo {
  def foo()
}

trait M extends Foo {
  abstract override def foo() {println("M"); super.foo()}
}

class FooImpl1 extends Foo {
  override def foo() {println("Impl")}
}

class FooImpl2 extends FooImpl1 with M