Varianza en interfaces genéricas (C#)Variance in Generic Interfaces (C#)

En .NET Framework 4 se ha presentado la compatibilidad con la varianza para varias interfaces genéricas existentes..NET Framework 4 introduced variance support for several existing generic interfaces. La compatibilidad con la varianza permite la conversión implícita de clases que implementan estas interfaces.Variance support enables implicit conversion of classes that implement these interfaces.

A partir de .NET Framework 4, las siguientes interfaces son variantes:Staring with .NET Framework 4, the following interfaces are variant:

A partir de .NET Framework 4.5, las siguientes interfaces son variantes:Starting with .NET Framework 4.5, the following interfaces are variant:

La covarianza permite que un método tenga un tipo de valor devuelto más derivado que los que se definen en los parámetros de tipo genérico de la interfaz.Covariance permits a method to have a more derived return type than that defined by the generic type parameter of the interface. Para ilustrar la característica de la covarianza, considere estas interfaces genéricas: IEnumerable<Object> y IEnumerable<String>.To illustrate the covariance feature, consider these generic interfaces: IEnumerable<Object> and IEnumerable<String>. La interfaz IEnumerable<String> no hereda la interfaz IEnumerable<Object>.The IEnumerable<String> interface does not inherit the IEnumerable<Object> interface. En cambio, el tipo String hereda el tipo Object, y en algunos casos puede que quiera asignar objetos de estas interfaces entre sí.However, the String type does inherit the Object type, and in some cases you may want to assign objects of these interfaces to each other. Esto se muestra en el ejemplo de código siguiente.This is shown in the following code example.

IEnumerable<String> strings = new List<String>();
IEnumerable<Object> objects = strings;

En versiones anteriores de .NET Framework, este código provoca un error de compilación en C# y, si Option Strict está activado, en Visual Basic.In earlier versions of the .NET Framework, this code causes a compilation error in C# and, if Option Strict is on, in Visual Basic. Pero ahora puede usar strings en lugar de objects, como se muestra en el ejemplo anterior, porque la interfaz IEnumerable<T> es covariante.But now you can use strings instead of objects, as shown in the previous example, because the IEnumerable<T> interface is covariant.

La contravarianza permite que un método tenga tipos de argumento menos derivados que los que se especifican en el parámetro genérico de la interfaz.Contravariance permits a method to have argument types that are less derived than that specified by the generic parameter of the interface. Para ilustrar la contravarianza, se presupone que ha creado una clase BaseComparer para comparar instancias de la clase BaseClass.To illustrate contravariance, assume that you have created a BaseComparer class to compare instances of the BaseClass class. La clase BaseComparer implementa la interfaz IEqualityComparer<BaseClass>.The BaseComparer class implements the IEqualityComparer<BaseClass> interface. Como la interfaz IEqualityComparer<T> ahora es contravariante, puede usar BaseComparer para comparar instancias de clases que heredan la clase BaseClass.Because the IEqualityComparer<T> interface is now contravariant, you can use BaseComparer to compare instances of classes that inherit the BaseClass class. Esto se muestra en el ejemplo de código siguiente.This is shown in the following code example.

// Simple hierarchy of classes.
class BaseClass { }
class DerivedClass : BaseClass { }

// Comparer class.
class BaseComparer : IEqualityComparer<BaseClass>
{
    public int GetHashCode(BaseClass baseInstance)
    {
        return baseInstance.GetHashCode();
    }
    public bool Equals(BaseClass x, BaseClass y)
    {
        return x == y;
    }
}
class Program
{
    static void Test()
    {
        IEqualityComparer<BaseClass> baseComparer = new BaseComparer();

        // Implicit conversion of IEqualityComparer<BaseClass> to
        // IEqualityComparer<DerivedClass>.
        IEqualityComparer<DerivedClass> childComparer = baseComparer;
    }
}

Para obtener más ejemplos, vea Usar la varianza en interfaces para las colecciones genéricas (C#).For more examples, see Using Variance in Interfaces for Generic Collections (C#).

La varianza para interfaces genéricas solo es compatible con tipos de referencia.Variance in generic interfaces is supported for reference types only. Los tipos de valor no admiten la varianza.Value types do not support variance. Por ejemplo, IEnumerable<int> no puede convertirse implícitamente en IEnumerable<object>, porque los enteros se representan mediante un tipo de valor.For example, IEnumerable<int> cannot be implicitly converted to IEnumerable<object>, because integers are represented by a value type.

IEnumerable<int> integers = new List<int>();
// The following statement generates a compiler error,
// because int is a value type.
// IEnumerable<Object> objects = integers;

También es importante recordar que las clases que implementan las interfaces variantes siguen siendo invariables.It is also important to remember that classes that implement variant interfaces are still invariant. Por ejemplo, aunque List<T> implementa la interfaz covariante IEnumerable<T>, no puede convertir List<String> en List<Object> implícitamente.For example, although List<T> implements the covariant interface IEnumerable<T>, you cannot implicitly convert List<String> to List<Object>. Esto se muestra en el siguiente código de ejemplo.This is illustrated in the following code example.

// The following line generates a compiler error
// because classes are invariant.
// List<Object> list = new List<String>();

// You can use the interface object instead.
IEnumerable<Object> listObjects = new List<String>();

Vea tambiénSee also