Alt sınıf yöntemleri alt sınıf argümanlarla geçersiz kılınır mı?

Question

Bir alt sınıf tarafından geçersiz kılındığında, temel yöntemleri aynı belirli alt sınıf örneğinde almak için nasıl zorlayabilirim?

yani .:

abstract class Animal { 
    def mateWith(that: Animal) 
} 

class Cow extends Animal { 
    override def mateWith...? 
} 

Mantıken bir Cow sadece mateWith başka Cow gerekir. Ancak, override def mateWith(that: Cow) yaparsam, bu aslında temel sınıf yöntemini geçersiz kılmaz (alt sınıftaki varlığını güçlendirmek istediğim için).

Diğer örneğin İnek türüne sahip olduğundan emin olup olmadığını kontrol edebilir ve değilse bir istisna atar - bu en iyi seçeneğim mi? Ya daha fazla hayvanım varsa? İstisna atma kodunu tekrarlamak zorundayım.

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") } 
} 

Ve bu gibi kullanmak:

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) 
           ^

gerekli İstisna yok atma kod; tip sistem derleme zamanında sizin için işliyor!