Beziehung zwischen wegabhängige inneren Typen in Scala

Warnung: Ich bin Cross-Posting von #scalaBeziehung zwischen wegabhängige inneren Typen in Scala

Das Buch Programming in Scala besagt, dass pfadabhängige Typen unterschiedlich sind abhängig von der genauen Instanz des Pfades in Frage . Wenn ja, dann verstehe ich nicht, warum alle folgenden Prädikaten true zurück:

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

Quelle

2010-06-22 Yuvi Masory

Sieht aus wie ein Fehler für mich, aber es könnte ein Ergebnis der Löschung sein. Die Übereinstimmung, die gegenüber isInstanceOf/asInstanceOf bevorzugt wird, funktioniert wie erwartet. –

o1.Inner und o2.Inner verschiedene Arten sind, aber ihre Löschungen sind die gleichen:

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

scala> val o1 = new Outer 
o1: Outer = [email protected] 

scala> val m1 = implicitly[Manifest[o1.Inner]] 
m1: Manifest[o1.Inner] = [email protected]#Outer$Inner 

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

scala> val o2 = new Outer 
o2: Outer = [email protected] 

scala> val m2 = implicitly[Manifest[o2.Inner]] 
m2: Manifest[o2.Inner] = [email protected]#Outer$Inner 

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

und o1.in.isInstanceOf[o2.Inner] kann nur prüfen, ob o1.in ist eine Instanz der Löschung von o2.Inner.

Quelle

2010-06-22 22:59:46

Beziehung zwischen wegabhängige inneren Typen in Scala

Antwort

Verwandte Themen