covarianza/contravarianza: cómo hacer el siguiente código compilar

Question

ACTUALIZACIÓN: El siguiente código sólo tiene sentido en C# 4.0 (Visual Studio 2010)

Parece que estoy teniendo un mal entendido de la covarianza/cosa contravarianza . ¿Alguien puede decirme por qué el siguiente código no se compila?

public class TestOne<TBase> 
{ 
    public IEnumerable<TBase> Method<TDerived>(IEnumerable<TDerived> values) 
     where TDerived: TBase 
    { 
     return values; 
    } 
} 

mientras éste compila: (!!!)

public interface IBase 
{ 
} 
public interface IDerived: IBase 
{ 
} 
public class TestTwo 
{ 
    public IEnumerable<IBase> Method(IEnumerable<IDerived> values) 
    { 
     return values; 
    } 
} 

Answer 1

covarianza sólo se aplica a tipos-referencia (para los argumentos de tipo), por lo que hay que añadir una restricción de clase:

public IEnumerable<TBase> Method<TDerived>(IEnumerable<TDerived> values) 
    where TDerived : class, TBase 
{ 
    return values; 
} 

Esto le impedirá tratar de convertir, por ejemplo, un IEnumerable<int> en un IEnumerable<object>, que no es válido.

Answer 2

No puedo pensar en ninguna situación en la que realmente necesite TDerived. Usando TBase es suficiente:

public class TestOne<TBase> 
{ 
    public IEnumerable<TBase> Method(IEnumerable<TBase> values) 
    { 
     return values; 
    } 
} 

Después de todo, usted no tiene ninguna información sobre TDerived aparte del hecho de que es un TBase ...

Answer 3

Ni compilado para mí al principio. Ambos fallaron en el reparto implícito de Super (T/I) a Base (T/I). Cuando agregué un caso explícito, sin embargo, ambos compilaron.

public IEnumerable<TBase> Method<TSuper>(IEnumerable<TSuper> values) 
    where TSuper: TBase 
    { 
     return (IEnumerable<TBase>) values; 
    }