Scala instanceOf против сопоставления с образцом и составных типов - PullRequest
Новая
       23

Scala instanceOf против сопоставления с образцом и составных типов

0 голосов
/ 10 декабря 2018

Этот пример кода не работает должным образом. 

trait A

trait C

class X() {
  object B {
    def apply(): A = new B{}
  }
  object BC {
    def apply(): A = new B with C {}
  }
  class B extends A

}

val x1 = new X()
val x2 = new X()

val x1b = x1.B()

//this works
x1b match {
  case x2b: x2.B => "X2.B"
  case x1b: x1.B => "X1.B"
} //res: X1.B

//this does not test if B is instance from x2???
if(x1b.isInstanceOf[x2.B]) "X2.B" else if(x1b.isInstanceOf[x1.B]) "X1.B" else "" //res: X2.B

val x1bc = x1.BC()

//when matching for compounded types inner class origin is ignored???
x1bc match {
  case x2bc: x2.B with C => "X2.BC"
  case x1bc: x1.B with C => "X1.BC"
}//res: X2.BC
//does not work
if(x1bc.isInstanceOf[x2.B with C]) "X2.BC" else if(x1bc.isInstanceOf[x1.B with C]) "X1.BC" else "" //res: X2.BC

Почему сопоставление с образцом игнорирует типы внутренних классов для составных типов?

Почему instanceOf вообще игнорирует типы внутренних классов?

протестировано Scala 2.11 и 2.12

scastie-example: https://scastie.scala -lang.org / ugepOPOtRcu6IenIaw3kAQ

...