c# - 协变和泛型

Question

为什么下面的代码在一般情况下会出现编译错误？

abstract class Test<TItem> where TItem : IFoo
{
    public IEnumerable<IFoo> Foos { get; set; }

    public void Assign()
    {
        Foos = GetSomeSpecificList(); // works as expected
        Foos = GetSomeGenericList(); // compile error?
    }

    protected abstract ICollection<TItem> GetSomeGenericList();

    protected abstract ICollection<Foo> GetSomeSpecificList();
}

interface IFoo
{
}

class Foo : IFoo
{
}

我是不是遗漏了什么，或者不是因为每个 TItem 都必须是一个 IFoo，因此这个构造不可能违反类型安全吗？

Answer 1

您没有class 约束，因此TItem 可以是实现IFoo 的struct 类型界面。协变需要引用类型。当您添加 class 约束时，它可以顺利编译。