scala - 为什么 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。

Inside trait C 这种类型(当实例 c 不固定时)可以称为 T 又名 this.T 又名 this.type#T 又名 C.this.T 又名 C.this.type#T。