有没有办法禁止在 mixin 中覆盖成员？

Question

所以，我定义了一堆可堆叠的特征，如下所示：

trait Base { 
  val prefix: String = ""
  def foo = ""
}

trait Foo extends Base { 
  override def foo = prefix + "/Foo" + ";" + super.foo
}

trait Bar extends Base {
  override def foo = prefix + "/Bar" + ";" + super.foo
}

class Bat extends Foo with Bar {
  override val prefix: String = "Bat"
}

new Bat().foo

上面返回Bat/Bar;Bat/Foo，这就是我想要的。 现在，问题当然是，prefix 只能有一个实例，而且，如果其中一个 mixin 试图覆盖它，它将无法工作，因为在 Bat 中定义的那个“胜过”它。这没关系，除了，我希望“行不通”的事情是明确的。

任何人都可以想到某种技巧，这会导致尝试在 trait 中覆盖 prefix 而不是在从它继承的类中导致编译错误？

Answer 1

您可以将特征一分为二并利用explicitly typed self-references，如下所示：

trait Base {
  def foo = ""
}

trait Prefix {
  val prefix: String = ""
}

trait Foo extends Base { this: Prefix =>
  override def foo = prefix + "/Foo" + ";" + super.foo
}

trait Bar extends Base { this: Prefix =>
  override def foo = prefix + "/Bar" + ";" + super.foo
}

class Bat extends Prefix with Foo with Bar {
  override val prefix: String = "Bat"
}

new Bat().foo

Answer 2

由于 trait 可以扩展类，所以没有办法禁止 trait 有一个覆盖的前缀定义，但允许类有一个。

顺便说一句，关于“不起作用”的部分，我不同意，它按预期工作。我很确定覆盖属性的开发人员完全意识到她很好......覆盖了她继承的内容。

那么类继承类呢？

如果您想禁止继承，唯一要做的就是在实际上不希望它被进一步覆盖的任何 Trait 或 Class 中标记 val/def final（在您的示例中，这将是 Foo 和酒吧）。