Varianza en interfaces genéricas (Visual Basic)

En .NET Framework 4 se ha presentado la compatibilidad con la varianza para varias interfaces genéricas existentes. La compatibilidad con la varianza permite la conversión implícita de clases que implementan estas interfaces. Las interfaces siguientes ahora son variantes:

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. Para ilustrar la característica de la covarianza, considere estas interfaces genéricas: IEnumerable(Of Object) y IEnumerable(Of String). La interfaz IEnumerable(Of String) no hereda la interfaz IEnumerable(Of Object). En cambio, el tipo String hereda el tipo Object, y en algunos casos puede que quiera asignar objetos de estas interfaces entre sí. Esto se muestra en el ejemplo de código siguiente.

Dim strings As IEnumerable(Of String) = New List(Of String)
Dim objects As IEnumerable(Of Object) = strings

En versiones anteriores de .NET Framework, este código provoca un error de compilación en Visual Basic con Option Strict On. Pero ahora puede usar strings en lugar de objects, como se muestra en el ejemplo anterior, porque la interfaz IEnumerable<T> es covariante.

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. Para ilustrar la contravarianza, se presupone que ha creado una clase BaseComparer para comparar instancias de la clase BaseClass. La clase BaseComparer implementa la interfaz IEqualityComparer(Of BaseClass). Como la interfaz IEqualityComparer<T> ahora es contravariante, puede usar BaseComparer para comparar instancias de clases que heredan la clase BaseClass. Esto se muestra en el ejemplo de código siguiente.

' Simple hierarchy of classes.
Class BaseClass
End Class

Class DerivedClass
    Inherits BaseClass
End Class

' Comparer class.
Class BaseComparer
    Implements IEqualityComparer(Of BaseClass)

    Public Function Equals1(ByVal x As BaseClass,
                            ByVal y As BaseClass) As Boolean _
                            Implements IEqualityComparer(Of BaseClass).Equals
        Return (x.Equals(y))
    End Function

    Public Function GetHashCode1(ByVal obj As BaseClass) As Integer _
        Implements IEqualityComparer(Of BaseClass).GetHashCode
        Return obj.GetHashCode
    End Function
End Class
Sub Test()
    Dim baseComparer As IEqualityComparer(Of BaseClass) = New BaseComparer
    ' Implicit conversion of IEqualityComparer(Of BaseClass) to
    ' IEqualityComparer(Of DerivedClass).
    Dim childComparer As IEqualityComparer(Of DerivedClass) = baseComparer
End Sub

Para obtener más ejemplos, vea Uso de la varianza en interfaces para colecciones genéricas (Visual Basic).

La varianza para interfaces genéricas solo es compatible con tipos de referencia. Los tipos de valor no admiten la varianza. Por ejemplo, IEnumerable(Of Integer) no puede convertirse implícitamente en IEnumerable(Of Object), porque los enteros se representan mediante un tipo de valor.

Dim integers As IEnumerable(Of Integer) = New List(Of Integer)
' The following statement generates a compiler error
' with Option Strict On, because Integer is a value type.
' Dim objects As IEnumerable(Of Object) = integers

También es importante recordar que las clases que implementan las interfaces variantes siguen siendo invariables. Por ejemplo, aunque List<T> implementa la interfaz covariante IEnumerable<T>, no puede convertir List(Of Object) en List(Of String) implícitamente. Esto se muestra en el siguiente código de ejemplo.

' The following statement generates a compiler error
' because classes are invariant.
' Dim list As List(Of Object) = New List(Of String)

' You can use the interface object instead.
Dim listObjects As IEnumerable(Of Object) = New List(Of String)

Vea también