scala - 将特征混合到包对象中两次

Question

虽然这按预期工作:

trait A
trait B extends A
object C extends A with B

以下产生涉及特征 B 的非法循环引用:

package cyclictest {
  trait A
  trait B extends A
}
package object cyclictest extends A with B

那里发生了什么？

Answer 1

错误是正确的。编译器将名称 A 和 B 解析为完全限定名称，因此类型检查器看到的是:

package object cyclictest extends cyclictest.A with cyclictest.B

为了检查包对象定义是否正确，编译器需要知道 A 和 B 的所有成员，但为了知道这一点，它需要知道cyclingtest的成员(因为A和B是cyclingtest的成员)。然而，这种情况在定义循环测试时发生，因此你有一个无法解决的循环。

第一种情况通过了，因为包 circulartest 没有继承任何东西，它是默认的基于目录的包。