scala – 将一个特征混合到一个包对象中两次

发布时间：2020-12-16 18:48:09 所属栏目：安全来源：网络整理

导读：虽然这按预期工作： trait Atrait B extends Aobject C extends A with B 以下产生涉及特征B的非法循环引用： package cyclictest { trait A trait B extends A}package object cyclictest extends A with B 那里发生了什么？解决方法错误是正确的.编译器

虽然这按预期工作：

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

那里发生了什么？

解决方法

错误是正确的.编译器将名称A和B解析为完全限定名称,因此typechecker看到的是：

package object cyclictest extends cyclictest.A with cyclictest.B

为了检查包对象定义是否正确,编译器需要知道A和B的所有成员,但是为了知道它,它需要知道cyclictest的成员(因为A和B是cyclictest的成员) .但是,这在定义循环测试时会发生,因此您有一个无法解决的循环.

第一种情况是因为包循环测试不继承任何东西,它是默认的基于目录的包.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!