отношение между внутренним путем в зависимости от типов в Scala

Question

Предупреждения: Я кросс-постинг из #scala

Книги Программирование на Scala утверждает, что путь-зависимых типы различаются в зависимости от конкретного экземпляра пути в вопросе , Если да, то я не понимаю, почему все следующие предикаты возвращает истину:

class Outer { 
    val in = new Inner 
    class Inner 
} 

val o1 = new Outer 
val o2 = new Outer 

o1.in.isInstanceOf[Outer#Inner] //makes perfect sense 
o1.in.isInstanceOf[o1.Inner] //still makes sense, the path-dependent type is o1's own 
o1.in.isInstanceOf[o2.Inner] //why is this true? PiS p.423 says the path-dependent types are different, they only share a common supertype Outer#Inner 

Answer 1

o1.Inner и o2.Inner различные типы, но их подчистки одинаковы:

scala> class Outer { 
    | val in = new Inner 
    | class Inner 
    | } 
defined class Outer 

scala> val o1 = new Outer 
o1: Outer = Outer@1d16ecf 

scala> val m1 = implicitly[Manifest[o1.Inner]] 
m1: Manifest[o1.Inner] = Outer@1d16ecf.type#Outer$Inner 

scala> m1.erasure 
res0: java.lang.Class[_] = class Outer$Inner 

scala> val o2 = new Outer 
o2: Outer = Outer@138ef1d 

scala> val m2 = implicitly[Manifest[o2.Inner]] 
m2: Manifest[o2.Inner] = Outer@138ef1d.type#Outer$Inner 

scala> m2.erasure 
res1: java.lang.Class[_] = class Outer$Inner 

и o1.in.isInstanceOf[o2.Inner] могут только проверить, что o1.in - пример стирания o2.Inner.