ilişki

Question

Uyarı: ben #scala gelen Çapraz nakil olduğum

Scala kitap Programlama yolu bağımlı türleri söz konusu yolun tam örneğine bağlı olarak farklı olduğunu belirtmektedir . Eğer öyleyse, aşağıdaki tüm yüklemler return true neden anlamıyorum:

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 ve o2.Inner farklı türleri vardır, ama onların silmeler aynıdır:

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 

ve o1.in.isInstanceOf[o2.Inner] sadece o kontrol edebilirsiniz o1.in, o2.Inner'un silinmesinin bir örneğidir.