W dziedziczeniu wielokrotnym scala, jak rozwiązywać sprzeczne metody z tym samym podpisem, ale z innym typem zwracania?

Question

Rozważmy poniższy kod:

trait A { 
    def work = { "x" } 
} 

trait B { 
    def work = { 1 } 
} 

class C extends A with B { 
    override def work = super[A].work 
} 

Klasa C nie będzie kompilować w Scala 2.10, z powodu „nadrzędnego metoda działają cecha A type => String, praca metoda ma niezgodnego typu”.

Jak wybrać jedną konkretną metodę?

Answer 1

Obawiam się, że nie ma sposobu, aby to zrobić. Sposób super[A].work działa tylko wtedy, gdy A i B mają te same typy zwracania.

Rozważ to:

class D extends B 

.... 

val test: List[B] = List(new C(), new D()) 
test.map(b => b.work) //oops - C returns a String, D returns an Int 

Answer 2

Scala po prostu uniemożliwia mieszanie A i B razem, jeśli deklarują metodę o tej samej nazwie i niekompatybilnym podpisie.

Answer 3

Nie można tego zrobić.

Spójrz na ten kawałek kodu:

val c = new C 
val a: A = c 
val b: B = c 

Nie ma mowy, że zarówno z tych linii może pracować:

val s: String = a.work 
val i: Int = b.work 

Jeśli pozwoliliśmy taki kod do kompilowania, jeden z nich zadania będą musiały rzucić ClassCastException lub zawieść w inny sposób. Po prostu nie można rozwiązać takiego konfliktu.

Chyba trzeba obejść to z jakiejś formy przekazania, może coś takiego:

class C extends A { 
    def toB = new B { 
    //implement B methods by somehow delegating them to C instance 
    } 
} 

Answer 4

Nie można tego zrobić w Scala.

drodze do pracy wokół tego jest użycie cechy jako współpracowników

trait A { 
    def work = { "x" } 
} 

trait B { 
    def work = { 1 } 
} 

class C { 
    val a = new A { } 
    val b = new B { } 

    a.work 
    b.work 
}