聲明的子類型變量的抽象類

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