关于this.type

Question

无论是从特征内部还是从创建对象的范围引用this.type，都会产生不同的结果。

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

这是输出：

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.

因此，有两个不同的对象，但显然每个对象都获得了this.type的等效类型标记，这与从封闭范围中看到的对象的.type不等。< / p>

这是一个编译器错误，或者，如果没有，你能解释为什么这种行为有意义吗？

（我正在运行Scala 2.11.2。我使用self的{​​{1}}别名尝试了它，结果相同。）

Answer 1

以下程序打印false然后为true。在我看来，这两种情况之间应该没有实质性区别（虽然这更像是一种意见;我不能说真的是否有原因）：

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
}