如何创建具有继承的泛型类？

Question

如何使以下代码有效？我不认为我完全理解C#泛型.也许,有人可以指出我正确的方向.

    public abstract class A
    {
    }

    public class B : A
    {
    }

    public class C : A
    {
    }

    public static List<C> GetCList()
    {
        return new List<C>();
    }

    static void Main(string[] args)
    {
        List<A> listA = new List<A>();

        listA.Add(new B());
        listA.Add(new C());

        // Compiler cannot implicitly convert
        List<A> listB = new List<B>();

        // Compiler cannot implicitly convert
        List<A> listC = GetCList();

        // However, copying each element is fine
        // It has something to do with generics (I think)
        List<B> listD = new List<B>();
        foreach (B b in listD)
        {
            listB.Add(b);
        }
    }

这可能是一个简单的答案.

更新:首先,这在C#3.0中是不可能的,但在C#4.0中是可能的.

要使它在C#3.0中运行,这只是一种解决方法直到4.0,请使用以下命令:

        // Compiler is happy
        List<A> listB = new List<B>().OfType<A>().ToList();

        // Compiler is happy
        List<A> listC = GetCList().OfType<A>().ToList();

Answer 1

这不起作用的原因是因为它无法确定是安全的.假设你有

List<Giraffe> giraffes = new List<Giraffe>();
List<Animal> animals = giraffes; // suppose this were legal.
// animals is now a reference to a list of giraffes, 
// but the type system doesn't know that.
// You can put a turtle into a list of animals...
animals.Add(new Turtle());  

嘿,你只是把一只乌龟放入长颈鹿名单中,现在已经违反了类型系统的完整性.这就是为什么这是非法的.

这里的关键是"动物"和"长颈鹿"指的是相同的对象,而该对象是长颈鹿的列表.但是长颈鹿的名单不能像动物名单那么多; 特别是它不能包含乌龟.