链式 Scala 特征中 super 的行为

Question

为什么下面的x.func返回“B extends B extends B”？ 如何安排此代码以使其返回 "B extends A extends Base"？

trait Base {
  def name = "Base"
  def func = name
}

trait A extends Base {
  override def name = "A"
  override def func = name + " extends " + super.func
}

trait B extends Base {
  override def name = "B"
  override def func = name + " extends " + super.func
}

val x = new Base with A with B
println(x.func)

更新：一种安排可能如下。现在，A 和 B 中的 func1 具有相同的定义。如果我尝试将其移动到 Derived 类，它不起作用。有什么想法如何删除 func1 的重复吗？

trait Base {
  def name = "Base"
  def func1(s: String) = s
}

trait Derived extends Base {
  def func = func1(name)
}

trait A extends Derived {
  override def func1(s: String) = s + " extends " + super.func1(super.name)
  override def name = "A"
}

trait B extends Derived {
  override def func1(s: String) = s + " extends " + super.func1(super.name)
  override def name = "B"
}

val x = new Base with A with B
println(x.func)

Answer 1

我认为继承顺序实际上可能就是您所寻求的。如果将 " extends " 替换为显示调用哪个特征的方法：

trait Base {
  def name = "Base"
  def func = "Base." + name
}

trait A extends Base {
  override def name = "A"
  override def func = name + " A.extends " + super.func
}

trait B extends Base {
  override def name = "B"
  override def func = name + " B.extends " + super.func
}

val x = new Base with A with B
println(x.func)
// B B.extends B A.extends Base.B

只是 name 始终为 "B"。换句话说：

trait Base { def func = "Base" } 
trait A extends Base { override def func = "A extends " + super.func }
trait B extends Base { override def func = "B extends " + super.func }
val x = new Base with A with B
println(x.func)
// B extends A extends Base

这就是你想要的......

你的例子的完整线性化是：（

Object, B, A, Base, ScalaObject, AnyRef, Any

参见http： //ofps.oreilly.com/titles/9780596155957/ScalaObjectSystem.html#Linearization 有关如何计算出的实用说明线性化）

编辑回答评论：为什么名称总是返回“B”？这是因为 def name 方法被特征 B 覆盖以返回 "B"。这就是继承的全部要点，能够在超类中使用在子类中细化的行为：

trait Legs { 
  def legs: Int 
  def printLegs() { println("I have " + legs + " legs") }
}

class Dog extends Legs { def legs = 4 }
class Chicken extends Legs { def legs = 2 }

new Dog printLegs
// I have 4 legs
new Chicken printLegs
// I have 2 legs

特征 Legs 中的 legs 并不是一个独立于 legs< 的行为。 Dog 中的 /code> 取决于您在 Legs 或 Dog 中引用它...同样，您的 def name 将始终返回 "B"如果您的对象是 B。

看起来您想使用 name 作为私有方法：

trait Base { 
  private def _name() = "Base"
  def func = _name
} 
trait A extends Base { 
  private def _name() = "A"
  override def func = _name + " extends " + super.func
}
trait B extends Base { 
  private def _name() = "B"
  override def func = _name + " extends " + super.func
}
val x = new Base with A with B
println(x.func)
// B extends A extends Base

我发现如果没有清晰的对象模型，使用特征和继承很快就会变得复杂。我假设您清理/简化了示例以使用诸如 A、B、Base、func 之类的通用名称，以便您了解问题的核心，但另一方面，它没有给我任何信息关于您可以进行哪些更改以使其适合您的见解。正如您所问，我已经安排了代码，以便它打印“B extends A extends Base”。我确信还有很多其他限制不属于它为什么不适合您的问题。