Ghi đè các phương thức lớp con với các đối số được phân lớp?

Question

Làm thế nào tôi có thể ép buộc các phương thức cơ sở thực hiện cùng một cá thể lớp con cụ thể khi được phân lớp quá mức?

tức là .:

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

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

Logic, một Cow chỉ nên có thể mateWithCow khác. Tuy nhiên, nếu tôi làm override def mateWith(that: Cow), điều này không thực sự ghi đè lên phương thức lớp cơ sở (mà tôi muốn nó, vì tôi muốn thực thi sự tồn tại của nó trong lớp con).

Tôi có thể kiểm tra để đảm bảo trường hợp khác thuộc loại Cow và ném ngoại lệ nếu không phải - đây có phải là lựa chọn tốt nhất của tôi không? Nếu tôi có nhiều động vật thì sao? Tôi sẽ phải lặp lại mã ngoại lệ.

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

Và sử dụng nó như thế này:

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

Không có ngoại lệ ném mã cần thiết; hệ thống kiểu xử lý nó cho bạn tại thời gian biên dịch!