多次混合相同特征的规则

Question

我试图编写一些抽象代码，使其逐步变得更加复杂。它在其中一步就坏了。

第一步，更正

trait Base
trait C1 extends Base

trait Abst extends Base
trait Conc extends Abst with C1

第二步，更正

object BaseHolder {
  trait Data
}

object C1Holder {
  trait Data extends BaseHolder.Data
}

trait Abst extends BaseHolder.Data
trait Conc extends Abst with C1Holder.Data

第三步，错误

trait BaseHolder {
  trait Data
}
object BaseHolder extends BaseHolder

trait C1Holder extends BaseHolder {
  trait Data extends super.Data
}
object C1Holder extends C1Holder

trait Abst extends BaseHolder.Data
trait Conc extends Abst with C1Holder.Data

我得到了错误： 非法继承； Trait Con 继承了 Trait Data 的不同类型实例

这个错误意味着什么？有什么方法可以绕过它？

Answer 1

完整的错误消息是

[error]  trait Conc inherits different type instances of trait Data:
[error] C1Holder.Data and BaseHolder.Data
[error] trait Conc extends Abst with C1Holder.Data
[error]       ^
[error] one error found

它说 (object BaseHolder).Data 与 (object C1Holder).Data 不一致，因为尽管后者符合 (trait BaseHolder )#Data，这比单例实例 object BaseHolder 中的 trait Data 不太具体。

编辑。请注意，类型和值存在于不同的命名空间中，因此名称 BaseHolder 本身是不明确的，它可以引用对象的任一特征。但是，当引用类型时，“.”或“#”符号消除歧义：

1. T#Data 始终表示 type T 中的 Data 类型成员>。例如，BaseHolder#Data 将引用特征 BaseHolder。

2. x.Data 始终表示对象 x 中的Data 类型成员。例如，BaseHolder.Data 将引用单例对象 BaseHolder。

请注意，trait BaseHolder 的两个实例 x 和 y 将具有不同的类型 x.Data 和 y .数据；这就是路径依赖类型的工作原理。另请注意，object BaseHolder extends BaseHolder 只是 trait BaseHolder 的一个特定实例。

要编译代码，请确保 (trait C1Holder)#Data 实际上符合 (object BaseHolder).Data

trait BaseHolder {
  trait Data
}
object BaseHolder extends BaseHolder

trait C1Holder extends BaseHolder {
  trait Data extends BaseHolder.Data // Here BaseHolder refers to singleton object
}
object C1Holder extends C1Holder

trait Abst extends BaseHolder.Data
trait Conc extends Abst with C1Holder.Data

在此示例中，特征没有做太多事情，所以你可能只想选择

object BaseHolder {
  trait Data
}

object C1Holder {
  trait Data extends BaseHolder.Data
}

trait Abst extends BaseHolder.Data
trait Conc extends Abst with C1Holder.Data

Answer 2

您将外部特征视为内部特征的简单容器，就像对待包裹一样。然而，内部类和特征与其父类有更复杂的关系。

内部类和特征始终与父类的实例相关联。没有父实例就不可能创建内部类。实际上，内部类有一个隐藏的引用，指向父类的实例。

在您的情况下，特征 Data 与对象 BaseHolder 关联。然后 Trait Abst 扩展了 BaseHolder.Data，因此它也与对象 BaseHolder 关联。这意味着 Abst 将引用 BaseHolder 对象作为其父对象。

另一方面，C1Holder.Data 引用 C1Holder 作为其父级。因此，当您定义 Conc 时，它必须引用 BaseHolder 和 C1Holder 作为父级。但内在特质只能有一个父母。因此出现了错误。