抽象クラスでの子クラス型の変数の宣言

Question

子クラスの関数が抽象的な親クラスのクラスであることを強制したいと思います。例：ここでは

abstract class Animal { 
    public abstract void Add(Animal animal); 
} 

class Cat: Animal { 
    public override void Add(Cat cat) { 
     //Do cat things 
    } 
} 

class Dog: Animal { 
    //This should not be allowed 
    public override void Add(Animal dog) { 
     //Do dog things 
    } 
} 

我々はCat型オブジェクトがDog.Addに渡すことができることを参照してください。関数を実行してDogとする方法はありますか？

私はそれが実行時にチェックされる方法があると信じていますが、可能であれば、コンパイラエラーが多くなるでしょう。

Answer 1

を使用してインターフェイスを宣言し、ジェネリックを使用する場合は、という制約があります。

public abstract class Animal 
{ 
} 

public interface IAnimalCollection<T> where T : Animal 
{ 
    void Add<T>(T animal); 
} 

public class Cat : Animal, IAnimalCollection<Cat> 
{ 
    public void Add(Cat animal) 
    { 
    } 
} 

public class Dog : Animal, IAnimalCollection<Dog> 
{ 
    // won't compile 
    public void Add(Animal animal) 
    { 
    } 
} 

public class Ferret : IAnimalCollection<Ferret> 
{ 
    public void Add(Ferret animal) 
    { 
    } 

    public void Add(Animal animal) 
    { 
    } 
} 

// won't compile 
public class Foo : IAnimalCollection<Foo> 
{ 
    public void Add(Foo animal) 
    { 
    } 
}