Compartir a través de

Varianza de delegados (Visual Basic)

En .NET Framework 3.5 se presentó por primera vez la compatibilidad con la varianza para hacer coincidir firmas de método con tipos de delegados en todos los delegados en C# y Visual Basic. Esto significa que puede asignar a delegados no solo métodos que tienen firmas coincidentes, sino también métodos que devuelven más tipos derivados (covarianza) o que aceptan parámetros que tienen tipos menos derivados (contravariancia) que los especificados por el tipo delegado. Esto incluye delegados genéricos y no genéricos.

Por ejemplo, considere el código siguiente, que tiene dos clases y dos delegados: genéricos y no genéricos.

Public Class First
End Class

Public Class Second
    Inherits First
End Class

Public Delegate Function SampleDelegate(ByVal a As Second) As First
Public Delegate Function SampleGenericDelegate(Of A, R)(ByVal a As A) As R

Al crear delegados de los tipos SampleDelegate o SampleDelegate(Of A, R), puede asignar cualquiera de los métodos siguientes a esos delegados.

' Matching signature.
Public Shared Function ASecondRFirst(
    ByVal second As Second) As First
    Return New First()
End Function

' The return type is more derived.
Public Shared Function ASecondRSecond(
    ByVal second As Second) As Second
    Return New Second()
End Function

' The argument type is less derived.
Public Shared Function AFirstRFirst(
    ByVal first As First) As First
    Return New First()
End Function

' The return type is more derived
' and the argument type is less derived.
Public Shared Function AFirstRSecond(
    ByVal first As First) As Second
    Return New Second()
End Function

En el ejemplo de código siguiente se muestra la conversión implícita entre la firma del método y el tipo de delegado.

' Assigning a method with a matching signature
' to a non-generic delegate. No conversion is necessary.
Dim dNonGeneric As SampleDelegate = AddressOf ASecondRFirst
' Assigning a method with a more derived return type
' and less derived argument type to a non-generic delegate.
' The implicit conversion is used.
Dim dNonGenericConversion As SampleDelegate = AddressOf AFirstRSecond

' Assigning a method with a matching signature to a generic delegate.
' No conversion is necessary.
Dim dGeneric As SampleGenericDelegate(Of Second, First) = AddressOf ASecondRFirst
' Assigning a method with a more derived return type
' and less derived argument type to a generic delegate.
' The implicit conversion is used.
Dim dGenericConversion As SampleGenericDelegate(Of Second, First) = AddressOf AFirstRSecond

Para obtener más ejemplos, consulte Uso de la varianza en delegados (Visual Basic) y Uso de la varianza para los delegados genéricos Func y Action (Visual Basic).

Varianza en parámetros de tipo genérico

En .NET Framework 4 y versiones posteriores, puede habilitar la conversión implícita entre delegados, de modo que los delegados genéricos que tienen tipos diferentes especificados por parámetros de tipo genérico se pueden asignar entre sí, si los tipos se heredan unos de otros según lo requerido por la variancia.

Para habilitar la conversión implícita, debe declarar explícitamente parámetros genéricos en un delegado como covariante o contravariante mediante la in palabra clave o out .

En el ejemplo de código siguiente se muestra cómo puede crear un delegado que tenga un parámetro de tipo genérico covariante.

' Type T is declared covariant by using the out keyword.
Public Delegate Function SampleGenericDelegate(Of Out T)() As T
Sub Test()
    Dim dString As SampleGenericDelegate(Of String) = Function() " "
    ' You can assign delegates to each other,
    ' because the type T is declared covariant.
    Dim dObject As SampleGenericDelegate(Of Object) = dString
End Sub

Si solo utiliza la compatibilidad de varianza para hacer coincidir las firmas de método con los tipos de delegados y no utiliza las palabras clave in y out, es posible que a veces pueda instanciar delegados con expresiones lambda o métodos idénticos, pero no pueda asignar un delegado a otro.

En el ejemplo de código siguiente, SampleGenericDelegate(Of String) no se puede convertir explícitamente en SampleGenericDelegate(Of Object), aunque String hereda Object. Puede corregir este problema marcando el parámetro T genérico con la out palabra clave .

Public Delegate Function SampleGenericDelegate(Of T)() As T
Sub Test()
    Dim dString As SampleGenericDelegate(Of String) = Function() " "

    ' You can assign the dObject delegate
    ' to the same lambda expression as dString delegate
    ' because of the variance support for
    ' matching method signatures with delegate types.
    Dim dObject As SampleGenericDelegate(Of Object) = Function() " "

    ' The following statement generates a compiler error
    ' because the generic type T is not marked as covariant.
    ' Dim dObject As SampleGenericDelegate(Of Object) = dString

End Sub

Delegados genéricos que tienen parámetros de tipo variante en .NET Framework

.NET Framework 4 introdujo compatibilidad de varianza con parámetros de tipo genérico en varios delegados genéricos existentes:

Para obtener más información y ejemplos, consulte Uso de la varianza para delegados genéricos Func y Action (Visual Basic).

Declarar parámetros de tipo variante en delegados genéricos

Si un delegado genérico tiene parámetros de tipo genérico covariantes o contravariantes, se puede denominar delegado genérico variante.

Puede declarar un parámetro de tipo genérico covariante en un delegado genérico mediante la out palabra clave . El tipo covariante solo se puede usar como un tipo de retorno de método y no como un tipo de los argumentos de método. En el ejemplo de código siguiente se muestra cómo declarar un delegado genérico covariante.

Public Delegate Function DCovariant(Of Out R)() As R

Puede declarar un parámetro de tipo genérico como contravarianza en un delegado genérico mediante la palabra clave in. El tipo contravariante solo se puede usar como tipo de argumentos de método y no como tipo de retorno de método. En el ejemplo de código siguiente se muestra cómo declarar un delegado genérico contravariante.

Public Delegate Sub DContravariant(Of In A)(ByVal a As A)

Importante

ByRef Los parámetros de Visual Basic no se pueden marcar como variantes.

También es posible admitir la varianza y la covarianza en el mismo delegado, pero para parámetros de tipo diferentes. Esto se muestra en el ejemplo siguiente.

Public Delegate Function DVariant(Of In A, Out R)(ByVal a As A) As R

Crear instancias de delegados genéricos variantes e invocarlos

Puede crear instancias e invocar delegados variantes así como crear instancias e invocar delegados invariables. En el ejemplo siguiente, se crea una instancia del delegado mediante una expresión lambda.

Dim dvariant As DVariant(Of String, String) = Function(str) str + " "
dvariant("test")

Combinar delegados genéricos variantes

No debe combinar delegados variantes. El método Combine no admite la conversión de delegados de tipo variante y espera que los delegados sean exactamente del mismo tipo. Esto puede provocar una excepción en tiempo de ejecución al combinar delegados mediante el Combine método (en C# y Visual Basic) o mediante el + operador (en C#), como se muestra en el ejemplo de código siguiente.

Dim actObj As Action(Of Object) = Sub(x) Console.WriteLine("object: {0}", x)
Dim actStr As Action(Of String) = Sub(x) Console.WriteLine("string: {0}", x)

' The following statement throws an exception at run time.
' Dim actCombine = [Delegate].Combine(actStr, actObj)

Varianza en parámetros de tipo genérico para tipos de valor y referencia

La varianza de los parámetros de tipo genérico solo se admite para los tipos de referencia. Por ejemplo, DVariant(Of Int)no se puede convertir implícitamente en DVariant(Of Object) o DVariant(Of Long), porque integer es un tipo de valor.

En el ejemplo siguiente se muestra que la varianza en los parámetros de tipo genérico no se admite para los tipos de valor.

' The type T is covariant.
Public Delegate Function DVariant(Of Out T)() As T
' The type T is invariant.
Public Delegate Function DInvariant(Of T)() As T
Sub Test()
    Dim i As Integer = 0
    Dim dInt As DInvariant(Of Integer) = Function() i
    Dim dVariantInt As DVariant(Of Integer) = Function() i

    ' All of the following statements generate a compiler error
    ' because type variance in generic parameters is not supported
    ' for value types, even if generic type parameters are declared variant.
    ' Dim dObject As DInvariant(Of Object) = dInt
    ' Dim dLong As DInvariant(Of Long) = dInt
    ' Dim dVariantObject As DInvariant(Of Object) = dInt
    ' Dim dVariantLong As DInvariant(Of Long) = dInt
End Sub

Conversión de delegado no estricta en Visual Basic

La conversión de delegado no estricta permite una mayor flexibilidad en la coincidencia de firmas de método con tipos de delegados. Por ejemplo, permite omitir las especificaciones de parámetro y omitir los valores devueltos de función al asignar un método a un delegado. Para obtener más información, consulte Conversión de delegado no estricta.

Consulte también

  • Last updated on