Scala：Trait Mixin与抽象基类

trait Base {
  def foo
}
trait StackingTrait extends Base {
  abstract override def foo { super.foo }
}

class Impl extends Base with StackingTrait {
  def foo {}
}

class ImplHelper extends Base {
  def foo {}
}
class Impl extends ImplHelper with StackingTrait

我的理解是,虽然错误消息可能令人困惑,但行为是正确的.
foo在StackingTrait中被声明为抽象覆盖,因此在混合StackingTrait的任何具体类中,在StackingTrait之前必须有一个具体的(未标记为抽象的)foo实现(相对于线性化顺序).这是因为super在线性化顺序中引用了之前的特性,因此在混合StackingTrait之前肯定需要具体实现foo,或者super.foo是无意义的.

当你这样做：

class Impl extends Base with StackingTrait {
  def foo {}
}

线性化顺序是Base< - StackingTrait< - Impl. StackingTrait之前的唯一特性是Base和Base没有定义foo的具体实现. 但是当你这样做时：

traitImplHelper extends Base {
  def foo {}
}
class Impl extends ImplHelper with StackingTrait

线性化顺序变为：Base< - ImplHelper< - StackingTrait< - Impl
这里ImplHelper包含foo的具体定义,并且在StackingTrait之前是绝对定义的.

值得一提的是,如果你在StackingTrait之后混合了ImplHelper(就像在类Impl中使用ImplHelper扩展StackingTrait那样),你将再次遇到同样的问题并且无法编译.

所以,这看起来与我相当一致.
我不知道如何按照您的意图进行编译.但是,如果你更关心的是更容易编写Impl(并且能够在不需要单独的类/特性的情况下定义foo)而不是简单地编写Base或StackingTrait,那么你仍然可以这样做：

trait Base {
  protected def fooImpl
  def foo { fooImpl } 
}
trait StackingTrait extends Base {
  abstract override def foo { super.foo }
}

class Impl extends Base with StackingTrait {
  protected def fooImpl {}
}

就像在原始版本中一样,你强制每个具体类实现foo(以fooImpl的形式),这次它会编译.这里的缺点是,虽然fooImpl不能调用super.foo(它没有任何意义,并且将进入无限循环),编译器不会警告你.