Overriding subclass methods with subclassed arguments?

Question

How can I force base methods to take in the same specific subclass instance when overriden by a subclass?

i.e.:

abstract class Animal {
  def mateWit         


        

Answer 1

abstract class Animal[T <: Animal[T]] {
  def mateWith(that: T)
}

class Cow extends Animal[Cow] {
  override def mateWith(that: Cow) { println("cow") }
}

class Dog extends Animal[Dog] {
  override def mateWith(that: Dog) { println("dog") }
}

And use it like this:

scala> (new Cow).mateWith(new Cow)
cow

scala> (new Cow).mateWith(new Dog)
<console>:17: error: type mismatch;
 found   : Dog
 required: Cow
              (new Cow).mateWith(new Dog)
                                 ^

No exception-throwing code needed; the type system handles it for you at compile-time!