协方差和泛型类型

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约束时，它会编译没有问题。