Zastępowanie cech i metod abstrakcyjnych w Scali

Question

Posiadam podstawową klasę abstrakcyjną (cechę). Ma abstrakcyjną metodę: foo(). Jest rozszerzany i implementowany przez kilka klas pochodnych. Chcę utworzyć cechę, która może być mieszana z klasami pochodnymi, tak aby implementowała foo(), a następnie wywołuje klasy pochodnej: foo().

Coś jak:

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 

Próbowałem rodzajów i typów strukturalnych własny, ale nie mogę zmusić go do pracy.

Answer 1

Byłeś bardzo blisko. Dodaj abstrakcyjny modyfikator do M.foo i masz wzór "Wieżowalnej cechy": 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