Как получить доступ к «переопределенному» внутреннему классу в Scala? - PullRequest
Новая
       19

Как получить доступ к «переопределенному» внутреннему классу в Scala?

3 голосов
/ 13 марта 2010

У меня есть две черты, одна расширяющая другую, каждая с внутренним классом, одна расширяющая другую, с такими же именами: 

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
}

Как мне получить доступ к A.X классу в теле C класса? Переименование B.X не скрывать A.X не является предпочтительным способом.

Чтобы все было немного сложнее, в ситуации, с которой я столкнулся, у черт есть параметры типа (не показано в этом примере).

Ответы [ 2 ]

16 голосов
/ 13 марта 2010 
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
1 голос
/ 13 марта 2010

Для тех, кто интересуется этой экзотической проблемой, я обнаружил, что она работает также как возвращаемое значение функции. Поскольку мои черты A и B имеют параметры типа, это должно привести к более краткому коду: 

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
...