像在Java中使用内部接口一样，在Scala中实现内部特征

Question

Java中的以下代码可正确编译：

interface T {
    interface Q {
    }
}

class C implements T.Q {
}

而Scala中的此代码不：

trait T {
    trait Q {
    }
}

class C extends T.Q {
}

Java代码清单到Scala的正确翻译（如果存在）是什么？

欢迎对语言设计进行理论解释。

Answer 1

内部类型Q仅针对特征的特定实例实现定义T。由于scala具有 依赖于路径的 类型，因此的每个实例T将具有自己的子特性Q。

scala> trait T {
     |   trait Q
     | }
defined trait T

scala> class C extends T {
     |   def getQ: this.Q = new this.Q {}
     | }
defined class C

scala> val inC = (new C).getQ
inC: C#Q = C$$anon$1@3f53073a


scala> val c = new C
c: C = C@1a7e4ff0

scala> new c.Q {}
res4: c.Q = $anon$1@36bbb2f5

如果您需要一个接口来实现客户端的一般行为，并且不依赖于特定C实例，则应在Object

scala> object T {
     |   trait Q {
     |     def implementMe: Unit
     |   }
     | }
defined module T

scala> val inT = new T.Q {
     |   def implementMe = println("implemented!")
     | }
inT: T.Q = $anon$1@20f2a08b

scala> inT.implementMe
implemented!