更重要的是 Scala 惯用的：特质 TraitA 扩展 TraitB 或特质 TraitA { self: TraitB =>; }

Question

除了继承方面之外，以下类模板之间是否存在差异：

1| trait TraitA extends TraitB

2| trait TraitA { self: TraitB => }

我想在 TraitA 和 TraitB 之间划分职责，但如果没有后者，前者就无法运行。

你会如何表达这个意图？对我来说，解决方案 [2] 将是更自然的方法。然而，无论如何，我不想给实施者带来混合需要混合的负担。

Answer 1

我的偏好通常是 [1]，因为正如您所说，实现者没有负担混合 TraitB（的子类型）。如果出于某种原因，希望不继承TraitB中的具体实现并强制实现者在子类型中做出选择，那么也许[2]更可取。 特征B。尽管如此，[1] 也同样灵活。

我倾向于仅在必要时使用 [2]，例如当类型不是已知的类或特征时，

// Here, Matrix cannot extend type parameter Repr
trait Matrix[+Repr <: Matrix[Repr]] { self: Repr =>
  ...
}

更新。这是另一个细微差别，

trait B
trait A { self: B => }
def g(ab: A): B = ab // Type mismatch: found A, required B

有点烦人 可选限制不能将A用作B，即使类型已合并。