Überraschende Äquivalenzen und Nicht-Äquivalenzen bezüglich this.type

Question

Es scheint einen Unterschied zu machen, ob Sie this.type aus einer Eigenschaft oder aus dem Bereich, in dem das Objekt erstellt wird, beziehen, mit überraschenden Ergebnissen.

import scala.reflect.runtime.universe._ 

trait Trait { 
    val ttag = typeOf[this.type] 
    println(s"Trait constructor: $this") 
} 

object Instance1 extends Trait 

object Instance2 extends Trait 

println(typeOf[Instance1.type] =:= typeOf[Instance2.type]) // Should be false 
println(Instance1.ttag =:= Instance2.ttag)     // Should be false 
println(Instance1.ttag =:= typeOf[Instance1.type])   // Should be true 

Hier ist der Ausgang:

false // As expected: the singleton types of two objects are different. 
Trait constructor: $line9.$read$$iw$$iw$$iw$$iw$Instance1$@58c46295 
Trait constructor: $line10.$read$$iw$$iw$$iw$$iw$Instance2$@452451ba 
true  // But the this.type tags are equivalent 
false // and the this.type tag is not equivalent to the singleton type. 

So gibt es zwei verschiedene Objekte, aber anscheinend ist jeweils einen äquivalenten Typ-Tag bekommt für seine this.type, die die .type des Objektes nicht gleichwertig ist von einem umschließenden Umfang gesehen.

Ist das ein Compiler-Bug oder, wenn nicht, könnten Sie erklären, warum dieses Verhalten sinnvoll ist?

(Ich bin mit Scala 2.11.2. Ich habe es versucht, mit einem self alias für this, mit dem gleichen Ergebnis.)

Answer 1

Das folgende Programm druckt falsch und dann wahr. Meiner Meinung nach, sollte es keinen wesentlichen Unterschied zwischen diesen beiden Fällen (wenn auch das ist wirklich eher eine Meinung, ich nicht wirklich sagen kann, ob es einen Grund gibt oder nicht):

import scala.reflect.runtime.universe._ 

object Test2 extends App { 
    def foo(): Type = { 
    object a 
    typeOf[a.type] 
    } 

    println(foo() =:= foo()) // false 

    trait Trait { 
    val ttag = typeOf[this.type] 
    } 

    object Instance1 extends Trait 

    object Instance2 extends Trait 

    println(Instance1.ttag =:= Instance2.ttag) // true 
}