这是 C# 4 中的协方差错误吗？

在下面的代码中，我希望能够隐式转换elements to baseElements因为TBase可以隐式转换为IBase.

public interface IBase { }
public interface IDerived : IBase { }
public class VarianceBug
{
    public void Foo<TBase>() where TBase : IBase
    {
        IEnumerable<TBase> elements = null;
        IEnumerable<IDerived> derivedElements = null;
        IEnumerable<IBase> baseElements;

        // works fine
        baseElements = derivedElements;

        // error CS0266: Cannot implicitly convert type 
        //   'System.Collections.Generic.IEnumerable<TBase>' to 
        //   'System.Collections.Generic.IEnumerable<IBase>'. 
        //   An explicit conversion exists (are you missing a cast?)
        baseElements = elements;
    }
}

但是，我收到评论中提到的错误。

引用规范：

A type T<A1, …, An>可方差转换为类型T<B1, …, Bn> if T是使用变体类型参数声明的接口或委托类型T<X1, …, Xn>，并且对于每个变体类型参数Xi以下其中一项成立：

• Xi是协变的，并且存在隐式引用或身份转换Ai to Bi

• Xi是逆变的，并且存在隐式引用或身份转换Bi to Ai

• Xi是不变的，并且存在身份转换Ai to Bi

检查我的代码，它似乎与规范一致：

• IEnumerable<out T>是一个接口类型

• IEnumerable<out T>使用变体类型参数声明

• T是协变的

• 存在隐式引用转换TBase to IBase

那么，这是 C# 4 编译器中的错误吗？

方差仅适用于引用类型（或者有一个identity转换）。不知道的是TBase是引用类型，除非你添加: class:

 public void Foo<TBase>() where TBase : class, IBase

因为我可以写一个：

public struct Evil : IBase {}