Polymorphic Scala return type

Question

I have an abstract Scala class Base which has subclasses Derived1 and Derived2. Base defines a function f() which returns

Answer 1

Just to add a small precision about (perfectly good) Travis Brown answer: It's not that C in trait Base[C <: Base[C]] let's you refer to the implementing class; it's just sticking to the convention of writing subclass extends Base[subclass] that let's you do so. There's no way that I know of to refer to this type. To clarify what I mean, this compiles

trait Base[C <: Base[C]] { def f: C }

case class Derived1(x: Int) extends Base[Derived1] {
  def f: Derived1 = Derived1(x + 1)
}
// a Derived2 where f returns Derived1!!
case class Derived2(x: Int) extends Base[Derived1] {
  def f = Derived1(x + 2)
}

Now, if all you're going to have as implementations of Base are case classes, you can get this right through a self-type bound:

trait Base[C <: Base[C]] { self: C => 
  def f: C 
}

case class Derived1(x: Int) extends Base[Derived1] {
  def f: Derived1 = Derived1(x + 1)
}
// a Derived2 where f returns Derived1!!
// this won't compile now
case class Derived2(x: Int) extends Base[Derived1] {
  def f = Derived1(x + 2)
}