相关疑难解决方法(0)

StackOverflow 上经常会问到返回当前类型的问题。这是一个这样的例子。通常的答案似乎是F 有界多态性或类型类模式解决方案。奥德斯基在F-bound 多态性有用吗？

F-bounds 确实增加了显着的复杂性。我希望能够摆脱它们，并用更高级的子类型替换它们

而 tpolecat（链接帖子的作者）建议

更好的策略是使用类型类，它可以巧妙地解决问题，并且几乎没有担心的余地。事实上，在这些情况下完全放弃子类型多态是值得考虑的。

确定以下缺点的地方

F-bounded polymorphism 将一个类型参数化为它自己的子类型，这是一个比用户通常想要的更弱的约束，这是一种表达“我的类型”的方式，你无法通过子类型精确表达。然而类型类可以直接表达这个想法，所以这就是我教初学者的东西

我的问题是，根据上述建议，有人可以证明 F 有界多态性是有利的，还是我们应该指出类型类解决方案作为解决返回电流类型问题的规范答案？

类型参数的 F 绑定多态性

trait Semigroup[A <: Semigroup[A]] { this: A =>
  def combine(that: A): A
}

final case class Foo(v: Int) extends Semigroup[Foo] {
  override def combine(that: Foo): Foo = Foo(this.v + that.v)
}

final case class Bar(v: String) extends Semigroup[Bar] {
  override def combine(that: Bar): Bar = Bar(this.v …