¿Es esto un error de covarianza en C# 4?

Question

En el siguiente fragmento de código esperaba poder convertir implícitamente de elements a baseElements porque TBase es implícitamente convertible a 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; 
    } 
} 

Sin embargo, me sale el error que se menciona en el comentario.

Citando de la especificación:

Un tipo T<A1, …, An> es de varianza-convertible a un tipo T<B1, …, Bn> si T es o bien una interfaz o un tipo de delegado declarado con los parámetros de tipo variante T<X1, …, Xn>, y para cada parámetro de tipo de variante Xi una de las siguientes bodegas:

• Xi es covariante y existe una referencia implícita o conversión identidad de Ai a Bi

• Xi es contravariant y existe una referencia implícita o conversión identidad Bi-Ai

• Xi es invariante y existe una conversión de identidad a partir de Ai a Bi

Comprobación mi código, parece ser consistente con la especificación:

• IEnumerable<out T> es un tipo de interfaz

• IEnumerable<out T> se declara con parámetros de tipo variante

• T es covariante existe

• una conversión de referencia implícita TBase-IBase

Entonces, ¿es un error en el compilador C# 4?

Answer 1

La varianza solo funciona para los tipos de referencia (o hay una identidad conversión). No se sabe que es TBase tipo de referencia, a menos que agregue : class:

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

ya que podría escribir una:

public struct Evil : IBase {} 

Answer 2

Marc es correcta - Estaba a punto de pegar la misma respuesta.

Ver la covarianza & contravarianza FAQ:

http://blogs.msdn.com/csharpfaq/archive/2010/02/16/covariance-and-contravariance-faq.aspx

Desde el FAQ:

"se apoya Varianza sólo si un parámetro de tipo es un tipo de referencia."

varianza no es compatible con los tipos de valor

La siguiente no se compila ya sea:

// int is a value type, so the code doesn't compile. 
IEnumerable<Object> objects = new List<int>(); // Compiler error here.