Come accedere alla classe interna "sovrascritta" in Scala?
-
19-09-2019 - |
Domanda
Ho due tratti, uno che estende l'altro, ognuno con una classe interna, uno che estende l'altro, con gli stessi nomi:
trait A {
class X {
def x() = doSomething()
}
}
trait B extends A {
class X extends super.X {
override def x() = doSomethingElse()
}
}
class C extends B {
val x = new X() // here B.X is instantiated
val y = new A.X() // does not compile
val z = new A.this.X() // does not compile
}
Come accedo A.X
classe nella C
Il corpo della classe? Rinominare B.X
non nascondersi A.X
non è un modo preferito.
Per rendere le cose un po 'complicate, nella situazione che ho riscontrato questo problema i tratti hanno parametri di tipo (non mostrati in questo esempio).
Soluzione
trait A {
class X {
def x() = "A.X"
}
}
trait B extends A {
class X extends super.X {
override def x() = "B.X"
}
}
class C extends B {
val self = this:A
val x = new this.X()
val y = new self.X()
}
scala> val c = new C
c: C = C@1ef4b
scala> c.x.x
res0: java.lang.String = B.X
scala> c.y.x
res1: java.lang.String = A.X
Altri suggerimenti
Per coloro che sono interessati a questo problema esotico, ho scoperto che funziona anche come valore di ritorno di una funzione. Poiché i miei tratti A e B hanno parametri di tipo, dovrebbe portare a un codice più conciso:
trait A[T, U, V] {
class X {
def x() = "A.X"
}
def a = this:A[T, U, V]
}
trait B[T, U, V] extends A[T, U, V] {
class X extends super.X {
override def x() = "B.X"
}
}
class C extends B[SomeClass, SomeOtherClass, ThirdOne] {
val aVerbose = this:A[SomeClass, SomeOtherClass, ThirdOne] // works but is a bit ugly
val aConcise = a
val x = new this.X()
val y = new aVerbose.X()
val z = new aConcise.X()
}
scala> val c = new C()
c: C = C@1e852be
scala> c.x.x()
res2: java.lang.String = B.X
scala> c.y.x()
res3: java.lang.String = A.X
scala> c.z.x()
res4: java.lang.String = A.X
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow