为什么 T 是扩展类型指示符 C.this.type#T 中 this.type 的类型投影

Question

SLS 3.2.5 Type Designators表示

trait C {
  type T
  val x: T
}

扩展到

trait C {
  type T
  val x: C.this.type#T
}

我熟悉单例类型中的.type 表示法，但我不确定它如何转换为C.this.type#T。例如。 this.type 部分试图传达的只是说 C#T 是什么？

Answer 1

在 Scala 规范中，主要概念是类型投影而不是依赖于路径的类型。

并且依赖于路径的类型是根据类型投影（和单例类型）定义的。

例如对于val c: C，类型c.T 定义为c.type#T。

而c.x 的类型为c.T 又名c.type#T。

内部特征C 这种类型（当实例c 不固定时）可以称为T aka this.T aka this.type#T aka C.this.T aka C.this.type#T。