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

This code in Java compiles without errors:

interface T {

interface Q {

}

}

class C implements T.Q {

}

whereas this code in Scala does not:

trait T {

trait Q {

}

}

class C extends T.Q {

}

What is the correct translation (if it exists) of the Java code listing into Scala?

Theoretical explanations about language design are welcome.

解决方案

The inner type Q is defined only for specific instance implementation of the T trait. Since scala has path-dependent types, each instance of T will have his own subtrait 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

If you need an interface for a generic behavior for your clients to implement, and not dependent on a specific C instance, you should define it within an 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!

Why path-dependent types?

As for the design reasons, look here