mối quan hệ giữa các loại nội bộ phụ thuộc vào đường dẫn trong Scala

Question

Cảnh báo: Tôi đang đăng chéo từ #scala

10 Sách Lập trình trong Scala quy định rằng loại phụ thuộc vào đường dẫn khác nhau tùy thuộc vào trường hợp chính xác của đường dẫn được đề cập . Nếu như vậy, tôi không hiểu tại sao tất cả các vị từ sau trở thành sự thật:

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 và o2.Inner nhiều loại khác nhau, nhưng tẩy xóa của họ đều giống nhau:

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 

và o1.in.isInstanceOf[o2.Inner] chỉ có thể kiểm tra o1.in là một ví dụ về việc xóa của o2.Inner.