Scala：泛型特征可以從其實現類中獲取其泛型實例嗎？

Question

假設我具有以下特征：

trait Foo[T] {
  def returnMyself: T
}

是否有任何方法可以告訴scala任何擴展Foo類都將其本身作為通用參數呢？

基本上，我想要實現的是能夠寫

class Bar extends Foo {
  override def returnMyself: Bar = this
}

無需顯式編寫

class Bar extends Foo[Bar]

我希望我已經說清楚了

Answer 1

您應該可以使用自我類型來做到這一點：

trait Foo { self =>
  def returnMyself: self.type
}

class Bar extends Foo {
  override def returnMyself = this
}