Tương đương đáng ngạc nhiên và không tương đương về this.type

Question

Dường như tạo sự khác biệt cho dù bạn tham khảo this.type từ bên trong một Đặc điểm hoặc từ phạm vi nơi đối tượng được tạo, với kết quả đáng ngạc nhiên.

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 

Dưới đây là kết quả:

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. 

Vì vậy, có hai đối tượng khác nhau, nhưng dường như mỗi ngày càng một thẻ loại tương đương cho this.type của nó, mà không phải là tương đương với .type của đối tượng như nhìn từ một phạm vi bao quanh.

Đây có phải là lỗi trình biên dịch hay không, nếu không, bạn có thể giải thích tại sao hành vi này có ý nghĩa không?

(Tôi đang chạy Scala 2.11.2. Tôi đã thử nó với một bí danh self cho this, với kết quả tương tự.)

Answer 1

Các bản in chương trình sau đây sai và sau đó thành sự thật. Với tâm trí của tôi, không có sự khác biệt về vật chất giữa hai trường hợp này (mặc dù đó thực sự là một ý kiến ​​nhiều hơn; tôi không thể nói nếu có lý do hay không):

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 
}