En la herencia múltiple de Scala, ¿cómo resolver los métodos conflictivos con la misma firma pero diferente tipo de retorno?

multiple-inheritance traits

Question

Considere el siguiente código:

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

trait B {
  def work = { 1 }
}

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

La clase C no se compilará en la escala 2.10, debido a que "el trabajo de método de anulación en el rasgo A del tipo => Cadena; el trabajo de método tiene un tipo incompatible".

¿Cómo elegir un método específico?

Answer 1

Me temo que no hay manera de hacer eso. La forma super[A].work solo funciona si A y B tienen los mismos tipos de devolución.

Considera esto:

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

No puedes hacer eso en Scala.

La forma de solucionar esto es usar los rasgos como colaboradores.

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

trait B {
  def work = { 1 }
}

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

  a.work
  b.work
}

Answer 3

No puedes hacer eso.

Mira esta pieza de código:

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

No hay forma de que estas dos líneas puedan funcionar:

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

Si permitimos que dicho código se compile, una de estas asignaciones tendría que lanzar una ClassCastException o fallar de otra manera. Entonces, simplemente no es posible resolver tal conflicto.

Supongo que tienes que solucionar esto con algún tipo de delegación, tal vez algo como esto:

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

Answer 4

Scala simplemente evita que se mezclen A y B si declaran un método con el mismo nombre y firma incompatible.