Equivalenze e non equivalenze sorprendenti per questo.tipo

Question

Sembra fare la differenza se si fa riferimento a this.type dall'interno di un tratto o dall'ambito di creazione dell'oggetto, con risultati sorprendenti.

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 

ecco l'output:

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. 

Quindi, ci sono due oggetti distinti, ma a quanto pare ogni sta ottenendo un tag di tipo equivalente per la sua this.type, che non è equivalente alla .type dell'oggetto come visto da un ambito di chiusura.

Si tratta di un bug del compilatore o, in caso contrario, potresti spiegare perché questo comportamento ha senso?

(sto correndo Scala 2.11.2. Ho provato con un self alias per this, con lo stesso risultato.)

Answer 1

I seguenti programma stampa falsa e quindi vera. A mio avviso, non ci dovrebbe essere alcuna differenza sostanziale tra questi due casi (anche se questo è davvero più di un parere, non posso davvero dire se c'è una ragione o meno):

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 
}