c# - 将派生类的列表<>转换为基类的列表<>

Question

我有两个类:一个基类 (Animal) 和一个派生自 它(Cat)。基类包含一个以 List 作为输入参数的虚方法 Play。像这样

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace ConsoleApplication9
{
    class Animal
    {
        public virtual void Play(List<Animal> animal) { }
    }
    class Cat : Animal
    {
        public override void Play(List<Animal> animal)
        {
        }
    }

    class Program
    {
        static void Main(string[] args)
        {
            Cat cat = new Cat();
            cat.Play(new List<Cat>());
        }
    }
}

当我编译上面的程序时，出现以下错误

    Error    2    Argument 1: cannot convert from 'System.Collections.Generic.List' to 'System.Collections.Generic.List'

有没有办法做到这一点？

Answer 1

你不能这样做的原因是列表是可写的。假设它是合法的，看看出了什么问题:

List<Cat> cats = new List<Cat>();
List<Animal> animals = cats; // Trouble brewing...
animals.Add(new Dog()); // hey, we just added a dog to a list of cats...
cats[0].Speak(); // Woof!

好吧我的猫，那是坏事。

您想要的功能称为“泛型协变”，C# 4 支持已知安全的接口(interface)。 IEnumerable<T>没有任何方法可以写入序列，所以它是安全的。

class Animal    
{    
    public virtual void Play(IEnumerable<Animal> animals) { }    
}    
class Cat : Animal    
{    
    public override void Play(IEnumerable<Animal> animals) { }    
}    
class Program    
{    
    static void Main()    
    {    
        Cat cat = new Cat();    
        cat.Play(new List<Cat>());    
    }    
}  

这将在 C# 4 中工作，因为 List<Cat>可转换为 IEnumerable<Cat> , 可转换为 IEnumerable<Animal> . Play 无法使用 IEnumerable<Animal>将狗添加到实际上是猫列表的内容。