Метод, который исключает объекты производного класса

Question

В приведенном ниже примере я могу добавить List типа Animal. С Dog и Cat происходят от животных, List может содержать каждый. Однако, если у меня есть метод, который принимает List<Animal>, вы не можете передать ссылку List<Dog>. Если Dog происходит от животного, почему это недействительно? Однако, если у меня есть метод, который исключает параметр типа Object, и все объекты производятся от Object, он работает.

class Program 
{ 
    static void Main(string[] args) 
    { 
     List<Animal> animals = new List<Animal>(); 
     animals.Add(new Dog() { Color = "Black" }); // allowed since Dog derives from Animal 

     List<Dog> dogs = new List<Dog>(); 
     dogs.Add(new Dog() { Color = "White" }); 

     Test(animals); 
     Test(dogs); // not allowed - does not compile 
     Test2(dogs); // valid as all objects derive from object 
    } 

    static void Test(List<Animal> animals) { 
     // do something 
    } 

    static void Test2(object obj) { 

    } 
} 

public class Animal { 

    public String Color { get; set; } 

} 

public class Dog : Animal { } 
public class Cat : Animal { } 

Answer 1

Представьте себе, что Test(dogs) скомпилировать. Затем представьте, что Test() реализуется как следующим образом:

static void Test(List<Animal> animals) 
{ 
    animals.Add(new Cat()); // Where Cat is derived from Animal 
} 

Вы только что добавили кошку в список собак ... Очевидно, что не может быть разрешено. И вот почему это не так.

Однако, если вы только доступ к элементам списка, а не добавление в список, вы можете объявить Test() так:

static void Test(IEnumerable<Animal> animals) 
{ 
    foreach (var animal in animals) 
    { 
     // Do something with animal. 
    } 
} 

Затем вы можете передать любой тип коллекции, которая реализует IEnumerable<T>, такие как List<T> и простые массивы.

Answer 2

Звонок Test(dogs.Cast<Animal>().ToList()). Измените тип параметра на IEnumerable, чтобы пропустить ToList(), который создает копию.

int является object. List<Animal> - object, равно как и List<Dog>. Но List<Dog> НЕ List<Animal>.